universal-physics-tensor 7.0.0 → 8.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (818) hide show
  1. package/README.md +5 -5
  2. package/data/atlas/atlas.json +3044 -0
  3. package/data/atlas/atlas.jsonld +1819 -0
  4. package/data/atlas/diffusion.json +1084 -0
  5. package/data/atlas/oscillators.json +1041 -0
  6. package/data/atlas/qudt-resolution.json +60 -0
  7. package/data/atlas/waves.json +916 -0
  8. package/data/atlas/witness-results.json +249 -0
  9. package/data/bridge-catalog.json +15273 -0
  10. package/data/bridge-catalog.schema.json +116 -0
  11. package/data/confrontation-sources.md +137 -0
  12. package/data/quantities.json +9743 -0
  13. package/data/schemas/atlas-record.v0.json +236 -0
  14. package/data/schemas/discovery-run.v0.json +203 -0
  15. package/dist/atlas/catalog-formal-ref.d.ts +6 -12
  16. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
  17. package/dist/atlas/catalog-formal-ref.js +15 -25
  18. package/dist/atlas/catalog-formal-ref.js.map +1 -1
  19. package/dist/atlas/physjs-entries.generated.d.ts +193 -1
  20. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  21. package/dist/atlas/physjs-entries.generated.js +217 -1
  22. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  23. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  24. package/dist/atlas/physjs-ref.js +4 -97
  25. package/dist/atlas/physjs-ref.js.map +1 -1
  26. package/dist/bridges/caller-table.d.ts +56 -0
  27. package/dist/bridges/caller-table.d.ts.map +1 -0
  28. package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
  29. package/dist/bridges/caller-table.js.map +1 -0
  30. package/dist/bridges/catalog-load.d.ts +34 -0
  31. package/dist/bridges/catalog-load.d.ts.map +1 -0
  32. package/dist/bridges/catalog-load.js +89 -0
  33. package/dist/bridges/catalog-load.js.map +1 -0
  34. package/dist/bridges/catalog-types.d.ts +119 -0
  35. package/dist/bridges/catalog-types.d.ts.map +1 -0
  36. package/dist/bridges/catalog-types.js +8 -0
  37. package/dist/bridges/catalog-types.js.map +1 -0
  38. package/dist/bridges/coefficient-statement.d.ts +27 -0
  39. package/dist/bridges/coefficient-statement.d.ts.map +1 -0
  40. package/dist/bridges/coefficient-statement.js +33 -0
  41. package/dist/bridges/coefficient-statement.js.map +1 -0
  42. package/dist/bridges/confrontations.d.ts +8 -25
  43. package/dist/bridges/confrontations.d.ts.map +1 -1
  44. package/dist/bridges/confrontations.js +26 -714
  45. package/dist/bridges/confrontations.js.map +1 -1
  46. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  47. package/dist/bridges/evaluator-inputs.js +13 -3
  48. package/dist/bridges/evaluator-inputs.js.map +1 -1
  49. package/dist/bridges/evaluators.d.ts +14 -27
  50. package/dist/bridges/evaluators.d.ts.map +1 -1
  51. package/dist/bridges/evaluators.js +83 -415
  52. package/dist/bridges/evaluators.js.map +1 -1
  53. package/dist/bridges/expr-parse.d.ts +19 -0
  54. package/dist/bridges/expr-parse.d.ts.map +1 -0
  55. package/dist/bridges/expr-parse.js +269 -0
  56. package/dist/bridges/expr-parse.js.map +1 -0
  57. package/dist/bridges/holds.d.ts +22 -0
  58. package/dist/bridges/holds.d.ts.map +1 -0
  59. package/dist/bridges/holds.js +266 -0
  60. package/dist/bridges/holds.js.map +1 -0
  61. package/dist/bridges/index.d.ts +18 -354
  62. package/dist/bridges/index.d.ts.map +1 -1
  63. package/dist/bridges/index.js +17 -3312
  64. package/dist/bridges/index.js.map +1 -1
  65. package/dist/bridges/relation-eval.d.ts +23 -0
  66. package/dist/bridges/relation-eval.d.ts.map +1 -0
  67. package/dist/bridges/relation-eval.js +136 -0
  68. package/dist/bridges/relation-eval.js.map +1 -0
  69. package/dist/bridges/rhs-registry.d.ts +7 -21
  70. package/dist/bridges/rhs-registry.d.ts.map +1 -1
  71. package/dist/bridges/rhs-registry.js +13 -123
  72. package/dist/bridges/rhs-registry.js.map +1 -1
  73. package/dist/bridges/sensitivity.d.ts +11 -3
  74. package/dist/bridges/sensitivity.d.ts.map +1 -1
  75. package/dist/bridges/sensitivity.js +20 -36
  76. package/dist/bridges/sensitivity.js.map +1 -1
  77. package/dist/bridges/types.d.ts +52 -0
  78. package/dist/bridges/types.d.ts.map +1 -0
  79. package/dist/bridges/types.js +10 -0
  80. package/dist/bridges/types.js.map +1 -0
  81. package/dist/canonical/entries/atomic.js +1 -1
  82. package/dist/canonical/entries/atomic.js.map +1 -1
  83. package/dist/canonical/entries/condensed-matter.js +1 -1
  84. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  85. package/dist/canonical/entries/electromagnetism.js +1 -1
  86. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  87. package/dist/canonical/entries/fluids-waves.js +1 -1
  88. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  89. package/dist/canonical/entries/mechanics.js +1 -1
  90. package/dist/canonical/entries/mechanics.js.map +1 -1
  91. package/dist/canonical/entries/nonmonomial.js +1 -1
  92. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  93. package/dist/canonical/entries/relativity.js +1 -1
  94. package/dist/canonical/entries/relativity.js.map +1 -1
  95. package/dist/canonical/entries/statistical-mechanics.js +1 -1
  96. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  97. package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -2
  98. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  99. package/dist/canonical/normal-form.d.ts.map +1 -1
  100. package/dist/canonical/normal-form.js +9 -4
  101. package/dist/canonical/normal-form.js.map +1 -1
  102. package/dist/cases/kepler-rv.d.ts.map +1 -1
  103. package/dist/cases/kepler-rv.js +7 -3
  104. package/dist/cases/kepler-rv.js.map +1 -1
  105. package/dist/cases/resistor-noise.d.ts.map +1 -1
  106. package/dist/cases/resistor-noise.js +10 -5
  107. package/dist/cases/resistor-noise.js.map +1 -1
  108. package/dist/cli/commands/atlas.js +1 -1
  109. package/dist/cli/commands/atlas.js.map +1 -1
  110. package/dist/cli/commands/chain.js +2 -2
  111. package/dist/cli/commands/chain.js.map +1 -1
  112. package/dist/cli/commands/confront.d.ts.map +1 -1
  113. package/dist/cli/commands/confront.js +17 -17
  114. package/dist/cli/commands/confront.js.map +1 -1
  115. package/dist/cli/commands/eval.d.ts.map +1 -1
  116. package/dist/cli/commands/eval.js +2 -0
  117. package/dist/cli/commands/eval.js.map +1 -1
  118. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  119. package/dist/cli/commands/evaluate.js +19 -14
  120. package/dist/cli/commands/evaluate.js.map +1 -1
  121. package/dist/cli/commands/explain.d.ts.map +1 -1
  122. package/dist/cli/commands/explain.js +2 -0
  123. package/dist/cli/commands/explain.js.map +1 -1
  124. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  125. package/dist/cli/commands/symbolic.js +5 -4
  126. package/dist/cli/commands/symbolic.js.map +1 -1
  127. package/dist/cli-api.d.ts +7 -2
  128. package/dist/cli-api.d.ts.map +1 -1
  129. package/dist/cli-api.js +7 -2
  130. package/dist/cli-api.js.map +1 -1
  131. package/dist/composition/canonical-graph.d.ts +5 -3
  132. package/dist/composition/canonical-graph.d.ts.map +1 -1
  133. package/dist/composition/canonical-graph.js +61 -6
  134. package/dist/composition/canonical-graph.js.map +1 -1
  135. package/dist/composition/catalog-graph.d.ts +11 -4
  136. package/dist/composition/catalog-graph.d.ts.map +1 -1
  137. package/dist/composition/catalog-graph.js +78 -47
  138. package/dist/composition/catalog-graph.js.map +1 -1
  139. package/dist/composition/discovery.d.ts.map +1 -1
  140. package/dist/composition/discovery.js +26 -22
  141. package/dist/composition/discovery.js.map +1 -1
  142. package/dist/composition/evaluate-relation.d.ts +2 -0
  143. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  144. package/dist/composition/evaluate-relation.js +26 -3
  145. package/dist/composition/evaluate-relation.js.map +1 -1
  146. package/dist/composition/expr-eval.d.ts.map +1 -1
  147. package/dist/composition/expr-eval.js +6 -0
  148. package/dist/composition/expr-eval.js.map +1 -1
  149. package/dist/composition/frontier-account.d.ts.map +1 -1
  150. package/dist/composition/frontier-account.js +1 -1
  151. package/dist/composition/frontier-account.js.map +1 -1
  152. package/dist/composition/index.d.ts +3 -14
  153. package/dist/composition/index.d.ts.map +1 -1
  154. package/dist/composition/index.js +3 -14
  155. package/dist/composition/index.js.map +1 -1
  156. package/dist/composition/quantities.d.ts +11 -27
  157. package/dist/composition/quantities.d.ts.map +1 -1
  158. package/dist/composition/quantities.js +29 -29
  159. package/dist/composition/quantities.js.map +1 -1
  160. package/dist/composition/user-equation.d.ts +3 -10
  161. package/dist/composition/user-equation.d.ts.map +1 -1
  162. package/dist/composition/user-equation.js +3 -28
  163. package/dist/composition/user-equation.js.map +1 -1
  164. package/dist/core/constants.d.ts +14 -0
  165. package/dist/core/constants.d.ts.map +1 -1
  166. package/dist/core/constants.js +16 -0
  167. package/dist/core/constants.js.map +1 -1
  168. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  169. package/dist/diff/bridge-ast-gradient.js +1 -0
  170. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  171. package/dist/diff/bridge-gradient.d.ts +1 -1
  172. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  173. package/dist/diff/bridge-specs.d.ts +32 -62
  174. package/dist/diff/bridge-specs.d.ts.map +1 -1
  175. package/dist/diff/bridge-specs.js +55 -76
  176. package/dist/diff/bridge-specs.js.map +1 -1
  177. package/dist/dimensional/bridge-check.d.ts +9 -26
  178. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  179. package/dist/dimensional/bridge-check.js +22 -227
  180. package/dist/dimensional/bridge-check.js.map +1 -1
  181. package/dist/dimensional/formula-names.d.ts +17 -1
  182. package/dist/dimensional/formula-names.d.ts.map +1 -1
  183. package/dist/dimensional/formula-names.js +39 -8
  184. package/dist/dimensional/formula-names.js.map +1 -1
  185. package/dist/dimensional/hyphen-names.d.ts +13 -0
  186. package/dist/dimensional/hyphen-names.d.ts.map +1 -0
  187. package/dist/dimensional/hyphen-names.js +27 -0
  188. package/dist/dimensional/hyphen-names.js.map +1 -0
  189. package/dist/dimensional/quantity-registry.d.ts +33 -0
  190. package/dist/dimensional/quantity-registry.d.ts.map +1 -0
  191. package/dist/dimensional/quantity-registry.js +49 -0
  192. package/dist/dimensional/quantity-registry.js.map +1 -0
  193. package/dist/dimensional/units.d.ts +4 -2
  194. package/dist/dimensional/units.d.ts.map +1 -1
  195. package/dist/dimensional/units.js +202 -44
  196. package/dist/dimensional/units.js.map +1 -1
  197. package/dist/index.d.ts +19 -61
  198. package/dist/index.d.ts.map +1 -1
  199. package/dist/index.js +11 -48
  200. package/dist/index.js.map +1 -1
  201. package/dist/numerical/binding-value.d.ts.map +1 -1
  202. package/dist/numerical/binding-value.js +72 -21
  203. package/dist/numerical/binding-value.js.map +1 -1
  204. package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
  205. package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
  206. package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
  207. package/dist/numerical/covariant-eikonal.js.map +1 -0
  208. package/dist/numerical/derivative-lowering.d.ts +2 -1
  209. package/dist/numerical/derivative-lowering.d.ts.map +1 -1
  210. package/dist/numerical/derivative-lowering.js +2 -1
  211. package/dist/numerical/derivative-lowering.js.map +1 -1
  212. package/dist/numerical/gl4-integrator.d.ts +6 -3
  213. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  214. package/dist/numerical/gl4-integrator.js +6 -3
  215. package/dist/numerical/gl4-integrator.js.map +1 -1
  216. package/dist/numerical/index.d.ts +4 -3
  217. package/dist/numerical/index.d.ts.map +1 -1
  218. package/dist/numerical/index.js +2 -2
  219. package/dist/numerical/index.js.map +1 -1
  220. package/dist/numerical/null-ic.d.ts +6 -5
  221. package/dist/numerical/null-ic.d.ts.map +1 -1
  222. package/dist/numerical/null-ic.js +6 -5
  223. package/dist/numerical/null-ic.js.map +1 -1
  224. package/dist/numerical/null-ray-integrator.js +1 -1
  225. package/dist/numerical/perihelion-finder.d.ts +5 -4
  226. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  227. package/dist/numerical/perihelion-finder.js +5 -4
  228. package/dist/numerical/perihelion-finder.js.map +1 -1
  229. package/package.json +2 -1
  230. package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
  231. package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
  232. package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
  233. package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
  234. package/dist/bridges/be101-bkt-jump.d.ts +0 -24
  235. package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
  236. package/dist/bridges/be101-bkt-jump.js +0 -29
  237. package/dist/bridges/be101-bkt-jump.js.map +0 -1
  238. package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
  239. package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
  240. package/dist/bridges/be102-landauer-conductance.js +0 -28
  241. package/dist/bridges/be102-landauer-conductance.js.map +0 -1
  242. package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
  243. package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
  244. package/dist/bridges/be11-decoherence-confrontation.js +0 -39
  245. package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
  246. package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
  247. package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
  248. package/dist/bridges/be21-kss-confrontation.js +0 -38
  249. package/dist/bridges/be21-kss-confrontation.js.map +0 -1
  250. package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
  251. package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
  252. package/dist/bridges/be23-planckian-confrontation.js +0 -196
  253. package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
  254. package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
  255. package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
  256. package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
  257. package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
  258. package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
  259. package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
  260. package/dist/bridges/be36-gw170817-confrontation.js +0 -100
  261. package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
  262. package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
  263. package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
  264. package/dist/bridges/be37-cassini-confrontation.js +0 -34
  265. package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
  266. package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
  267. package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
  268. package/dist/bridges/be48-collapse-confrontation.js +0 -37
  269. package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
  270. package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
  271. package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
  272. package/dist/bridges/be51-lensing-confrontation.js +0 -52
  273. package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
  274. package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
  275. package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
  276. package/dist/bridges/be52-mercury-confrontation.js +0 -70
  277. package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
  278. package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
  279. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
  280. package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
  281. package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
  282. package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
  283. package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
  284. package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
  285. package/dist/bridges/be55-quantum-hall.d.ts +0 -24
  286. package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
  287. package/dist/bridges/be55-quantum-hall.js +0 -46
  288. package/dist/bridges/be55-quantum-hall.js.map +0 -1
  289. package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
  290. package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
  291. package/dist/bridges/be56-casimir-confrontation.js +0 -31
  292. package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
  293. package/dist/bridges/be56-casimir.d.ts +0 -18
  294. package/dist/bridges/be56-casimir.d.ts.map +0 -1
  295. package/dist/bridges/be56-casimir.js +0 -36
  296. package/dist/bridges/be56-casimir.js.map +0 -1
  297. package/dist/bridges/be57-unruh.d.ts +0 -18
  298. package/dist/bridges/be57-unruh.d.ts.map +0 -1
  299. package/dist/bridges/be57-unruh.js +0 -38
  300. package/dist/bridges/be57-unruh.js.map +0 -1
  301. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
  302. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
  303. package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
  304. package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
  305. package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
  306. package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
  307. package/dist/bridges/be58-johnson-nyquist.js +0 -36
  308. package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
  309. package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
  310. package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
  311. package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
  312. package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
  313. package/dist/bridges/be59-ac-josephson.d.ts +0 -22
  314. package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
  315. package/dist/bridges/be59-ac-josephson.js +0 -35
  316. package/dist/bridges/be59-ac-josephson.js.map +0 -1
  317. package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
  318. package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
  319. package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
  320. package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
  321. package/dist/bridges/be60-fractional-qh.d.ts +0 -20
  322. package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
  323. package/dist/bridges/be60-fractional-qh.js +0 -33
  324. package/dist/bridges/be60-fractional-qh.js.map +0 -1
  325. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
  326. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
  327. package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
  328. package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
  329. package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
  330. package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
  331. package/dist/bridges/be61-wiedemann-franz.js +0 -41
  332. package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
  333. package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
  334. package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
  335. package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
  336. package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
  337. package/dist/bridges/be62-bcs-gap.d.ts +0 -22
  338. package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
  339. package/dist/bridges/be62-bcs-gap.js +0 -38
  340. package/dist/bridges/be62-bcs-gap.js.map +0 -1
  341. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
  342. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
  343. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
  344. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
  345. package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
  346. package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
  347. package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
  348. package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
  349. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
  350. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
  351. package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
  352. package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
  353. package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
  354. package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
  355. package/dist/bridges/be64-eddington-luminosity.js +0 -35
  356. package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
  357. package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
  358. package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
  359. package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
  360. package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
  361. package/dist/bridges/be65-jeans-mass.d.ts +0 -24
  362. package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
  363. package/dist/bridges/be65-jeans-mass.js +0 -38
  364. package/dist/bridges/be65-jeans-mass.js.map +0 -1
  365. package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
  366. package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
  367. package/dist/bridges/be66-radiation-pressure.js +0 -37
  368. package/dist/bridges/be66-radiation-pressure.js.map +0 -1
  369. package/dist/bridges/be67-alfven-speed.d.ts +0 -41
  370. package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
  371. package/dist/bridges/be67-alfven-speed.js +0 -50
  372. package/dist/bridges/be67-alfven-speed.js.map +0 -1
  373. package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
  374. package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
  375. package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
  376. package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
  377. package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
  378. package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
  379. package/dist/bridges/be69-fast-magnetosonic.js +0 -33
  380. package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
  381. package/dist/bridges/be70-einstein-relation.d.ts +0 -30
  382. package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
  383. package/dist/bridges/be70-einstein-relation.js +0 -41
  384. package/dist/bridges/be70-einstein-relation.js.map +0 -1
  385. package/dist/bridges/be71-clapeyron.d.ts +0 -43
  386. package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
  387. package/dist/bridges/be71-clapeyron.js +0 -32
  388. package/dist/bridges/be71-clapeyron.js.map +0 -1
  389. package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
  390. package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
  391. package/dist/bridges/be72-gravitational-redshift.js +0 -32
  392. package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
  393. package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
  394. package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
  395. package/dist/bridges/be73-kelvin-peltier.js +0 -31
  396. package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
  397. package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
  398. package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
  399. package/dist/bridges/be74-magnetic-pressure.js +0 -29
  400. package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
  401. package/dist/bridges/be75-london-penetration.d.ts +0 -27
  402. package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
  403. package/dist/bridges/be75-london-penetration.js +0 -31
  404. package/dist/bridges/be75-london-penetration.js.map +0 -1
  405. package/dist/bridges/be76-plasma-beta.d.ts +0 -32
  406. package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
  407. package/dist/bridges/be76-plasma-beta.js +0 -34
  408. package/dist/bridges/be76-plasma-beta.js.map +0 -1
  409. package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
  410. package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
  411. package/dist/bridges/be77-hagen-poiseuille.js +0 -39
  412. package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
  413. package/dist/bridges/be78-euler-buckling.d.ts +0 -44
  414. package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
  415. package/dist/bridges/be78-euler-buckling.js +0 -33
  416. package/dist/bridges/be78-euler-buckling.js.map +0 -1
  417. package/dist/bridges/be79-pull-in.d.ts +0 -33
  418. package/dist/bridges/be79-pull-in.d.ts.map +0 -1
  419. package/dist/bridges/be79-pull-in.js +0 -35
  420. package/dist/bridges/be79-pull-in.js.map +0 -1
  421. package/dist/bridges/be80-mott-gurney.d.ts +0 -52
  422. package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
  423. package/dist/bridges/be80-mott-gurney.js +0 -38
  424. package/dist/bridges/be80-mott-gurney.js.map +0 -1
  425. package/dist/bridges/be81-child-langmuir.d.ts +0 -33
  426. package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
  427. package/dist/bridges/be81-child-langmuir.js +0 -38
  428. package/dist/bridges/be81-child-langmuir.js.map +0 -1
  429. package/dist/bridges/be82-shockley-diode.d.ts +0 -32
  430. package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
  431. package/dist/bridges/be82-shockley-diode.js +0 -37
  432. package/dist/bridges/be82-shockley-diode.js.map +0 -1
  433. package/dist/bridges/be83-thomson.d.ts +0 -46
  434. package/dist/bridges/be83-thomson.d.ts.map +0 -1
  435. package/dist/bridges/be83-thomson.js +0 -32
  436. package/dist/bridges/be83-thomson.js.map +0 -1
  437. package/dist/bridges/be84-four-point.d.ts +0 -45
  438. package/dist/bridges/be84-four-point.d.ts.map +0 -1
  439. package/dist/bridges/be84-four-point.js +0 -34
  440. package/dist/bridges/be84-four-point.js.map +0 -1
  441. package/dist/bridges/be85-shot-noise.d.ts +0 -30
  442. package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
  443. package/dist/bridges/be85-shot-noise.js +0 -32
  444. package/dist/bridges/be85-shot-noise.js.map +0 -1
  445. package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
  446. package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
  447. package/dist/bridges/be86-reynolds-analogy.js +0 -30
  448. package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
  449. package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
  450. package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
  451. package/dist/bridges/be87-capacitor-noise.js +0 -32
  452. package/dist/bridges/be87-capacitor-noise.js.map +0 -1
  453. package/dist/bridges/be88-fermi-sea.d.ts +0 -31
  454. package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
  455. package/dist/bridges/be88-fermi-sea.js +0 -35
  456. package/dist/bridges/be88-fermi-sea.js.map +0 -1
  457. package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
  458. package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
  459. package/dist/bridges/be89-debye-cutoff.js +0 -28
  460. package/dist/bridges/be89-debye-cutoff.js.map +0 -1
  461. package/dist/bridges/be90-debye-heat.d.ts +0 -30
  462. package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
  463. package/dist/bridges/be90-debye-heat.js +0 -35
  464. package/dist/bridges/be90-debye-heat.js.map +0 -1
  465. package/dist/bridges/be91-einstein-solid.d.ts +0 -30
  466. package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
  467. package/dist/bridges/be91-einstein-solid.js +0 -37
  468. package/dist/bridges/be91-einstein-solid.js.map +0 -1
  469. package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
  470. package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
  471. package/dist/bridges/be92-sommerfeld-heat.js +0 -34
  472. package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
  473. package/dist/bridges/be93-curie-weiss.d.ts +0 -41
  474. package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
  475. package/dist/bridges/be93-curie-weiss.js +0 -45
  476. package/dist/bridges/be93-curie-weiss.js.map +0 -1
  477. package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
  478. package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
  479. package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
  480. package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
  481. package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
  482. package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
  483. package/dist/bridges/be95-ginzburg-landau.js +0 -32
  484. package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
  485. package/dist/bridges/be96-upper-critical.d.ts +0 -24
  486. package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
  487. package/dist/bridges/be96-upper-critical.js +0 -27
  488. package/dist/bridges/be96-upper-critical.js.map +0 -1
  489. package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
  490. package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
  491. package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
  492. package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
  493. package/dist/bridges/be98-bcs-jump.d.ts +0 -40
  494. package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
  495. package/dist/bridges/be98-bcs-jump.js +0 -29
  496. package/dist/bridges/be98-bcs-jump.js.map +0 -1
  497. package/dist/bridges/be99-mass-action.d.ts +0 -33
  498. package/dist/bridges/be99-mass-action.d.ts.map +0 -1
  499. package/dist/bridges/be99-mass-action.js +0 -37
  500. package/dist/bridges/be99-mass-action.js.map +0 -1
  501. package/dist/bridges/bridge-equations.d.ts +0 -225
  502. package/dist/bridges/bridge-equations.d.ts.map +0 -1
  503. package/dist/bridges/bridge-equations.js +0 -226
  504. package/dist/bridges/bridge-equations.js.map +0 -1
  505. package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
  506. package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
  507. package/dist/bridges/condensed-r8-catalog.js +0 -272
  508. package/dist/bridges/condensed-r8-catalog.js.map +0 -1
  509. package/dist/bridges/condensed-r8.d.ts +0 -260
  510. package/dist/bridges/condensed-r8.d.ts.map +0 -1
  511. package/dist/bridges/condensed-r8.js +0 -329
  512. package/dist/bridges/condensed-r8.js.map +0 -1
  513. package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
  514. package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
  515. package/dist/bridges/engineering-r7-catalog.js +0 -172
  516. package/dist/bridges/engineering-r7-catalog.js.map +0 -1
  517. package/dist/bridges/engineering-r7.d.ts +0 -152
  518. package/dist/bridges/engineering-r7.d.ts.map +0 -1
  519. package/dist/bridges/engineering-r7.js +0 -208
  520. package/dist/bridges/engineering-r7.js.map +0 -1
  521. package/dist/bridges/equations/_be-helpers.d.ts +0 -80
  522. package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
  523. package/dist/bridges/equations/_be-helpers.js +0 -103
  524. package/dist/bridges/equations/_be-helpers.js.map +0 -1
  525. package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
  526. package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
  527. package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
  528. package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
  529. package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
  530. package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
  531. package/dist/bridges/equations/be-12-coherence-length.js +0 -120
  532. package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
  533. package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
  534. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
  535. package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
  536. package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
  537. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
  538. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
  539. package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
  540. package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
  541. package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
  542. package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
  543. package/dist/bridges/equations/be-15-emergence.js +0 -208
  544. package/dist/bridges/equations/be-15-emergence.js.map +0 -1
  545. package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
  546. package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
  547. package/dist/bridges/equations/be-16-landauer.js +0 -198
  548. package/dist/bridges/equations/be-16-landauer.js.map +0 -1
  549. package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
  550. package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
  551. package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
  552. package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
  553. package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
  554. package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
  555. package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
  556. package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
  557. package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
  558. package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
  559. package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
  560. package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
  561. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
  562. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
  563. package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
  564. package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
  565. package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
  566. package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
  567. package/dist/bridges/equations/be-21-kss-bound.js +0 -97
  568. package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
  569. package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
  570. package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
  571. package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
  572. package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
  573. package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
  574. package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
  575. package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
  576. package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
  577. package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
  578. package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
  579. package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
  580. package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
  581. package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
  582. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
  583. package/dist/bridges/equations/be-25-iit-phi.js +0 -255
  584. package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
  585. package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
  586. package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
  587. package/dist/bridges/equations/be-25-orch-or.js +0 -124
  588. package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
  589. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
  590. package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
  591. package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
  592. package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
  593. package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
  594. package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
  595. package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
  596. package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
  597. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
  598. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
  599. package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
  600. package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
  601. package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
  602. package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
  603. package/dist/bridges/equations/be-29-jarzynski.js +0 -127
  604. package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
  605. package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
  606. package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
  607. package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
  608. package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
  609. package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
  610. package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
  611. package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
  612. package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
  613. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
  614. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
  615. package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
  616. package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
  617. package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
  618. package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
  619. package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
  620. package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
  621. package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
  622. package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
  623. package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
  624. package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
  625. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
  626. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
  627. package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
  628. package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
  629. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
  630. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
  631. package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
  632. package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
  633. package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
  634. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
  635. package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
  636. package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
  637. package/dist/bridges/equations/be-38-mond.d.ts +0 -94
  638. package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
  639. package/dist/bridges/equations/be-38-mond.js +0 -114
  640. package/dist/bridges/equations/be-38-mond.js.map +0 -1
  641. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
  642. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
  643. package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
  644. package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
  645. package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
  646. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
  647. package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
  648. package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
  649. package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
  650. package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
  651. package/dist/bridges/equations/be-41-swampland.js +0 -108
  652. package/dist/bridges/equations/be-41-swampland.js.map +0 -1
  653. package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
  654. package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
  655. package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
  656. package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
  657. package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
  658. package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
  659. package/dist/bridges/equations/be-43-er-epr.js +0 -106
  660. package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
  661. package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
  662. package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
  663. package/dist/bridges/equations/be-44-soft-hair.js +0 -177
  664. package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
  665. package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
  666. package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
  667. package/dist/bridges/equations/be-45-tcc.js +0 -149
  668. package/dist/bridges/equations/be-45-tcc.js.map +0 -1
  669. package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
  670. package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
  671. package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
  672. package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
  673. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
  674. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
  675. package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
  676. package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
  677. package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
  678. package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
  679. package/dist/bridges/equations/be-48-grw-localization.js +0 -103
  680. package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
  681. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
  682. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
  683. package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
  684. package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
  685. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
  686. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
  687. package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
  688. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
  689. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
  690. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
  691. package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
  692. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
  693. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
  694. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
  695. package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
  696. package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
  697. package/dist/bridges/gravitational-lensing.d.ts +0 -73
  698. package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
  699. package/dist/bridges/gravitational-lensing.js +0 -59
  700. package/dist/bridges/gravitational-lensing.js.map +0 -1
  701. package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
  702. package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
  703. package/dist/bridges/perihelion-precession-labeled.js +0 -54
  704. package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
  705. package/dist/bridges/perihelion-precession.d.ts +0 -87
  706. package/dist/bridges/perihelion-precession.d.ts.map +0 -1
  707. package/dist/bridges/perihelion-precession.js +0 -82
  708. package/dist/bridges/perihelion-precession.js.map +0 -1
  709. package/dist/bridges/plasma-catalog.d.ts +0 -29
  710. package/dist/bridges/plasma-catalog.d.ts.map +0 -1
  711. package/dist/bridges/plasma-catalog.js +0 -427
  712. package/dist/bridges/plasma-catalog.js.map +0 -1
  713. package/dist/bridges/plasma-space.d.ts +0 -310
  714. package/dist/bridges/plasma-space.d.ts.map +0 -1
  715. package/dist/bridges/plasma-space.js +0 -262
  716. package/dist/bridges/plasma-space.js.map +0 -1
  717. package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
  718. package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
  719. package/dist/composition/edges/_catalog-helpers.js +0 -90
  720. package/dist/composition/edges/_catalog-helpers.js.map +0 -1
  721. package/dist/composition/edges/applied-physicist.d.ts +0 -181
  722. package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
  723. package/dist/composition/edges/applied-physicist.js +0 -843
  724. package/dist/composition/edges/applied-physicist.js.map +0 -1
  725. package/dist/composition/edges/calibration.d.ts +0 -107
  726. package/dist/composition/edges/calibration.d.ts.map +0 -1
  727. package/dist/composition/edges/calibration.js +0 -559
  728. package/dist/composition/edges/calibration.js.map +0 -1
  729. package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
  730. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
  731. package/dist/composition/edges/catalog-condensed-matter.js +0 -257
  732. package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
  733. package/dist/composition/edges/catalog-fields.d.ts +0 -68
  734. package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
  735. package/dist/composition/edges/catalog-fields.js +0 -207
  736. package/dist/composition/edges/catalog-fields.js.map +0 -1
  737. package/dist/composition/edges/catalog-full.d.ts +0 -43
  738. package/dist/composition/edges/catalog-full.d.ts.map +0 -1
  739. package/dist/composition/edges/catalog-full.js +0 -73
  740. package/dist/composition/edges/catalog-full.js.map +0 -1
  741. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
  742. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
  743. package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
  744. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
  745. package/dist/composition/edges/catalog-quantum.d.ts +0 -85
  746. package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
  747. package/dist/composition/edges/catalog-quantum.js +0 -297
  748. package/dist/composition/edges/catalog-quantum.js.map +0 -1
  749. package/dist/composition/edges/catalog-tranche.d.ts +0 -108
  750. package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
  751. package/dist/composition/edges/catalog-tranche.js +0 -304
  752. package/dist/composition/edges/catalog-tranche.js.map +0 -1
  753. package/dist/composition/edges/condensed-r5.d.ts +0 -105
  754. package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
  755. package/dist/composition/edges/condensed-r5.js +0 -505
  756. package/dist/composition/edges/condensed-r5.js.map +0 -1
  757. package/dist/composition/edges/condensed-r8.d.ts +0 -30
  758. package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
  759. package/dist/composition/edges/condensed-r8.js +0 -325
  760. package/dist/composition/edges/condensed-r8.js.map +0 -1
  761. package/dist/composition/edges/engineering-r7.d.ts +0 -20
  762. package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
  763. package/dist/composition/edges/engineering-r7.js +0 -262
  764. package/dist/composition/edges/engineering-r7.js.map +0 -1
  765. package/dist/composition/edges/plasma-space.d.ts +0 -50
  766. package/dist/composition/edges/plasma-space.d.ts.map +0 -1
  767. package/dist/composition/edges/plasma-space.js +0 -481
  768. package/dist/composition/edges/plasma-space.js.map +0 -1
  769. package/dist/composition/edges/proved-seeds.d.ts +0 -39
  770. package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
  771. package/dist/composition/edges/proved-seeds.js +0 -197
  772. package/dist/composition/edges/proved-seeds.js.map +0 -1
  773. package/dist/composition/quantities/_dims.d.ts +0 -45
  774. package/dist/composition/quantities/_dims.d.ts.map +0 -1
  775. package/dist/composition/quantities/_dims.js +0 -55
  776. package/dist/composition/quantities/_dims.js.map +0 -1
  777. package/dist/composition/quantities/applied-physicist.d.ts +0 -166
  778. package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
  779. package/dist/composition/quantities/applied-physicist.js +0 -543
  780. package/dist/composition/quantities/applied-physicist.js.map +0 -1
  781. package/dist/composition/quantities/common.d.ts +0 -69
  782. package/dist/composition/quantities/common.d.ts.map +0 -1
  783. package/dist/composition/quantities/common.js +0 -210
  784. package/dist/composition/quantities/common.js.map +0 -1
  785. package/dist/composition/quantities/condensed-matter.d.ts +0 -79
  786. package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
  787. package/dist/composition/quantities/condensed-matter.js +0 -238
  788. package/dist/composition/quantities/condensed-matter.js.map +0 -1
  789. package/dist/composition/quantities/condensed-r5.d.ts +0 -110
  790. package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
  791. package/dist/composition/quantities/condensed-r5.js +0 -359
  792. package/dist/composition/quantities/condensed-r5.js.map +0 -1
  793. package/dist/composition/quantities/condensed-r8.d.ts +0 -96
  794. package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
  795. package/dist/composition/quantities/condensed-r8.js +0 -107
  796. package/dist/composition/quantities/condensed-r8.js.map +0 -1
  797. package/dist/composition/quantities/engineering-r7.d.ts +0 -82
  798. package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
  799. package/dist/composition/quantities/engineering-r7.js +0 -92
  800. package/dist/composition/quantities/engineering-r7.js.map +0 -1
  801. package/dist/composition/quantities/fields.d.ts +0 -69
  802. package/dist/composition/quantities/fields.d.ts.map +0 -1
  803. package/dist/composition/quantities/fields.js +0 -210
  804. package/dist/composition/quantities/fields.js.map +0 -1
  805. package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
  806. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
  807. package/dist/composition/quantities/gravitation-cosmology.js +0 -215
  808. package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
  809. package/dist/composition/quantities/plasma-space.d.ts +0 -178
  810. package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
  811. package/dist/composition/quantities/plasma-space.js +0 -185
  812. package/dist/composition/quantities/plasma-space.js.map +0 -1
  813. package/dist/composition/quantities/quantum.d.ts +0 -63
  814. package/dist/composition/quantities/quantum.d.ts.map +0 -1
  815. package/dist/composition/quantities/quantum.js +0 -190
  816. package/dist/composition/quantities/quantum.js.map +0 -1
  817. package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
  818. package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
@@ -1,196 +0,0 @@
1
- /**
2
- * Bridge Equation 19 — Quantum Bounce (LQC modified Friedmann).
3
- *
4
- * H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3
5
- *
6
- * H is the Hubble parameter [T^-1], ρ is energy/mass density [M L^-3],
7
- * ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
8
- * cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
9
- *
10
- * Encoding strategy: this module exports BOTH the legacy scalar-expression
11
- * form (`QUANTUM_BOUNCE_RHS`, validated through the dimensional analyzer)
12
- * AND the v0.7 structural form (`BE19_LQC_FRIEDMANN_STRUCTURAL`, a
13
- * `FriedmannEquationNode` with `variant: 'lqc'`). The structural form is
14
- * the PREFERRED encoding for future LQC-related work — it makes the
15
- * "this is a modified-Friedmann equation" fact explicit at the type
16
- * level and pattern-matchable via the `FriedmannVariant` discriminator.
17
- * The legacy scalar-expression form is preserved unchanged for backward
18
- * compatibility with `validate(QUANTUM_BOUNCE_RHS)` consumers and to
19
- * keep the existing dimensional-signature round-trip green.
20
- *
21
- * Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
22
- * Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
23
- * the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
24
- * the universe momentarily halts before re-expanding.
25
- *
26
- * Status: speculative — LQC-inspired. Reformulated 2026-05-05 (Wave I.B C1)
27
- * to the canonical Ashtekar-Pawlowski-Singh γ-dependent form:
28
- * ρ_crit = (√3 / (32π² γ³ ℓ_P²)) · (c²/G), γ ≈ 0.2375
29
- * which yields ρ_crit ≈ 0.41 ρ_Planck ≈ 2.1×10⁹⁶ kg/m³ (Ashtekar-Pawlowski-
30
- * Singh 2006 *Phys. Rev. D* 74:084003, arXiv:gr-qc/0607039; Ashtekar-Singh
31
- * review arXiv:1108.0893; Meissner 2004 γ-fix gr-qc/0407052). The earlier
32
- * dimensional-estimate ρ_crit = 3c²/(8πGℓ_P²) (~6.2×10⁹⁵ kg/m³) was off
33
- * by ~3.4× because it omitted the γ³ Barbero-Immirzi factor.
34
- *
35
- * Reformulated 2026-05-06 (Wave P-A Tier 0-2, per Math iter-5 CRIT-2):
36
- * docstring prefactor synced from "16π²" to "32π²" to match Part-I §6
37
- * (Wave N Tier B reconciliation) and the formula_latex in
38
- * src/bridges/index.ts BE-19. The "16π²" form yielded ~0.82 ρ_Planck
39
- * (factor-of-2 off the canonical 0.41 ρ_Planck literature value).
40
- *
41
- * The AST takes ρ_crit as a free numerical input — the formula change in
42
- * the spec/index does NOT require re-encoding here. Tests pinning the
43
- * old "spec form" numerical value have been updated alongside this fix.
44
- *
45
- * Honest-claude scope notes:
46
- * - We model Λ as a symbol in [T^-2]. The standard GR `Λ` has SI
47
- * dimension [L^-2]; the rescaling `Λ_[T^-2] = c² Λ_[L^-2]` is the
48
- * natural convention when writing `H² = ... + Λ/3` (compare Ryden,
49
- * "Introduction to Cosmology" 2nd ed., §6, Eq. 6.32).
50
- * - The bounce factor `1 - ρ/ρ_crit` is encoded as `(1 [dimensionless])
51
- * - (ρ/ρ_crit)` so the AST '+/-' rule is satisfied.
52
- *
53
- * @see docs/specification/Part-I.md ("Bridge Equation 19: Quantum Bounce Equation")
54
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 19)
55
- * @module bridges/equations/be-19-quantum-bounce
56
- */
57
- import { DIMENSIONLESS, MASS_DENSITY, } from '../../dimensional/types.js';
58
- import { G as DIM_G } from '../../dimensional/constants.js';
59
- import { PhysicalConstants } from '../../core/types.js';
60
- import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
61
- // --- Symbolic AST ---
62
- /** [T^-2] dimension for Λ in the c²-rescaled Friedmann form. */
63
- const T_INV2 = {
64
- L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0,
65
- };
66
- // Note: this module rescales Λ from its raw GR form [L^-2] into [T^-2]
67
- // via the standard `Λ_[T^-2] = c² · Λ_[L^-2]` convention (Ryden, "Intro
68
- // to Cosmology" 2nd ed. §6, Eq. 6.32). A future encoding that wants raw
69
- // Λ_[L^-2] should re-import LENGTH and remove the c² rescaling on the
70
- // Lambda symbol.
71
- /**
72
- * RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
73
- */
74
- export const QUANTUM_BOUNCE_RHS = {
75
- kind: 'op', op: '+',
76
- args: [
77
- {
78
- // (8πG/3) · ρ · (1 − ρ/ρ_crit)
79
- kind: 'op', op: '*',
80
- args: [
81
- {
82
- // 8π/3 — dimensionless prefactor (folded into single symbol)
83
- kind: 'op', op: '/',
84
- args: [
85
- sym('8pi', DIMENSIONLESS),
86
- sym('3', DIMENSIONLESS),
87
- ],
88
- },
89
- sym('G', DIM_G),
90
- sym('rho', MASS_DENSITY),
91
- {
92
- // (1 − ρ/ρ_crit)
93
- kind: 'op', op: '-',
94
- args: [
95
- sym('1', DIMENSIONLESS),
96
- {
97
- kind: 'op', op: '/',
98
- args: [
99
- sym('rho', MASS_DENSITY),
100
- sym('rho_crit', MASS_DENSITY),
101
- ],
102
- },
103
- ],
104
- },
105
- ],
106
- },
107
- {
108
- // Λ / 3
109
- kind: 'op', op: '/',
110
- args: [
111
- sym('Lambda', T_INV2),
112
- sym('3', DIMENSIONLESS),
113
- ],
114
- },
115
- ],
116
- };
117
- /** LHS: H² has dimension [T^-2]. */
118
- const QUANTUM_BOUNCE_LHS = {
119
- kind: 'op', op: '^',
120
- args: [sym('H', { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }), sym('2', DIMENSIONLESS)],
121
- };
122
- /**
123
- * Evaluate H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3.
124
- *
125
- * @returns H² in [s^-2].
126
- */
127
- export function evaluateQuantumBounce(input) {
128
- validateFiniteInputs(input, [
129
- { name: 'rho', min: 0 },
130
- { name: 'rho_crit', min: 0, excludeMin: true },
131
- { name: 'Lambda_Tinv2' },
132
- ], 'evaluateQuantumBounce');
133
- const { rho, rho_crit, Lambda_Tinv2 } = input;
134
- const { G } = PhysicalConstants;
135
- const bounce = 1 - rho / rho_crit;
136
- return ((8 * Math.PI * G) / 3) * rho * bounce + Lambda_Tinv2 / 3;
137
- }
138
- // --- Self-validation ---
139
- /**
140
- * Run the AST through the dimensional analyzer; LHS = H² and RHS together
141
- * should both be [T^-2].
142
- */
143
- /** @internal */
144
- export function validateQuantumBounceDimensions() {
145
- return validateBEDimensions(QUANTUM_BOUNCE_LHS, QUANTUM_BOUNCE_RHS, 'BE19');
146
- }
147
- // --- v0.7 structural encoding ---
148
- /** ScalarFieldNode for H² ([T^-2]) — the hubble slot. */
149
- const HUBBLE_SQUARED_FIELD = {
150
- kind: 'scalar-field',
151
- name: 'H_squared',
152
- dim: { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 },
153
- symmetry: 'scalar',
154
- };
155
- /** ScalarFieldNode for ρ ([M·L^-3]) — the density slot. */
156
- const RHO_FIELD = {
157
- kind: 'scalar-field',
158
- name: 'rho',
159
- dim: MASS_DENSITY,
160
- symmetry: 'scalar',
161
- };
162
- /** ScalarFieldNode for the dimensionless LQC bounce factor (1 − ρ/ρ_crit). */
163
- const LQC_BOUNCE_FACTOR = {
164
- kind: 'scalar-field',
165
- name: '1_minus_rho_over_rho_crit',
166
- dim: DIMENSIONLESS,
167
- symmetry: 'scalar',
168
- };
169
- /**
170
- * BE-19's LQC modified Friedmann as a structural `FriedmannEquationNode`.
171
- *
172
- * H² = (8πG/3) · ρ · (1 − ρ/ρ_crit)
173
- *
174
- * Variant tag `'lqc'` makes the loop-quantum-cosmology regime
175
- * pattern-matchable via the `FriedmannVariant` discriminator. This is
176
- * the PREFERRED encoding for future LQC-related work; the legacy
177
- * `QUANTUM_BOUNCE_RHS` (above) remains as the dimensional-analyzer
178
- * compatibility surface.
179
- *
180
- * Note that the Λ/3 additive term from the full QUANTUM_BOUNCE_RHS is
181
- * NOT represented in the structural form — the design-note primitive
182
- * targets the multiplicative LQC bounce factor specifically. A future
183
- * extension may add a `cosmologicalConstant` slot to
184
- * `FriedmannEquationNode` if downstream RG/cosmology work warrants it.
185
- *
186
- * @public
187
- */
188
- export const BE19_LQC_FRIEDMANN_STRUCTURAL = {
189
- kind: 'friedmann-equation',
190
- hubble: HUBBLE_SQUARED_FIELD,
191
- density: RHO_FIELD,
192
- correction: LQC_BOUNCE_FACTOR,
193
- variant: 'lqc',
194
- coupling: 'friedmann',
195
- };
196
- //# sourceMappingURL=be-19-quantum-bounce.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be-19-quantum-bounce.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAGH,OAAO,EAEL,aAAa,EACb,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,iBAAiB;AAEjB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,+BAA+B;YAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,6DAA6D;oBAC7D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gBACxB;oBACE,iBAAiB;oBACjB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;6BAC9B;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,kBAAkB,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAC7F,CAAC;AAgBF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC9C,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC;IAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,+BAA+B;IAC7C,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC;AAED,mCAAmC;AAEnC,yDAAyD;AACzD,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtD,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,2DAA2D;AAC3D,MAAM,SAAS,GAAoB;IACjC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,YAAY;IACjB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,iBAAiB,GAAoB;IACzC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,2BAA2B;IACjC,GAAG,EAAE,aAAa;IAClB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA0B;IAClE,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,iBAAiB;IAC7B,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,WAAW;CACtB,CAAC"}
@@ -1,93 +0,0 @@
1
- /**
2
- * Bridge Equation 20 — Observed cosmological-constant mass density
3
- * (canonical FRW form, post Wave Y reformulation).
4
- *
5
- * ρ_Λ = c² Λ / (8π G)
6
- *
7
- * The mass density associated with the observed cosmological constant
8
- * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
9
- * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
10
- * ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
11
- * the previous 5.4×10⁻²⁷ figure did not match the formula), in the
12
- * observed dark-energy density range
13
- * (≈70% of the critical density at the present epoch).
14
- *
15
- * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
16
- * (arXiv:astro-ph/0004075; canonical cosmological-constant review);
17
- * Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
18
- * problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
19
- * (Λ measurement from CMB).
20
- *
21
- * Status: speculative (the bridge framing — using the observed CC as
22
- * a quantum-cosmological bridge — is the speculative element).
23
- *
24
- * Honest-claude scope notes:
25
- * - This formula sidesteps the formally-divergent ∫d³k vacuum-
26
- * fluctuation integral that the original BE-20 carried. The
27
- * vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
28
- * QFT estimate and observation) remains the unfixed cosmological-
29
- * constant problem, documented in known_issues. The observed
30
- * ρ_Λ is the canonical scalar that replaces the divergent integral
31
- * as the AST-encodable bridge content.
32
- * - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
33
- * [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
34
- * - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
35
- * is the alternate convention; both forms are physically
36
- * equivalent. We encode the mass-density form here.
37
- * - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
38
- * replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
39
- * `CosmologicalConstantNode` is a first-class ExprNode member whose
40
- * validator enforces the [L⁻²] dim constraint and, unlike a plain
41
- * symbol, carries the optional `value` field for de Sitter / ΛCDM
42
- * evaluations. The dimensional verdict ([M L⁻³]) and bridge status
43
- * are unchanged (Decision #9).
44
- *
45
- * @see docs/specification/Part-II.md ("Bridge Equation 20")
46
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
47
- * @module bridges/equations/be-20-vacuum-energy
48
- */
49
- import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
50
- /**
51
- * Mass density [M L⁻³] (kg/m³). The dimensional export.
52
- *
53
- * @public
54
- */
55
- export { MASS_DENSITY } from '../../dimensional/types.js';
56
- /**
57
- * RHS of the cosmological-constant mass density:
58
- * ρ_Λ = c² Λ / (8π G)
59
- *
60
- * v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
61
- * node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
62
- * is unchanged.
63
- */
64
- export declare const BE20_VACUUM_ENERGY_RHS: ExprNode;
65
- /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
66
- /** @internal */
67
- export declare const BE20_VACUUM_ENERGY_LHS: ExprNode;
68
- /**
69
- * @internal — typed-arg shape for the file-local `evaluateCosmologicalConstant` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
70
- */
71
- interface CosmologicalConstantInputs {
72
- /**
73
- * Cosmological constant Λ (m⁻²). Default: 1.1×10⁻⁵² m⁻² (Planck 2018
74
- * canonical value). Must be ≥ 0 and finite.
75
- */
76
- Lambda_per_m2?: number;
77
- }
78
- /**
79
- * Evaluate the mass density associated with the observed cosmological
80
- * constant
81
- *
82
- * ρ_Λ = c² Λ / (8π G)
83
- *
84
- * @returns Mass density in kg/m³.
85
- */
86
- export declare function evaluateCosmologicalConstantDensity(input?: CosmologicalConstantInputs): number;
87
- /**
88
- * Run the AST through the dimensional analyzer; both sides should be
89
- * [M L⁻³] (mass density).
90
- */
91
- /** @internal */
92
- export declare function validateBE20Dimensions(): DimensionValidationReport;
93
- //# sourceMappingURL=be-20-vacuum-energy.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAwB1D;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
@@ -1,142 +0,0 @@
1
- /**
2
- * Bridge Equation 20 — Observed cosmological-constant mass density
3
- * (canonical FRW form, post Wave Y reformulation).
4
- *
5
- * ρ_Λ = c² Λ / (8π G)
6
- *
7
- * The mass density associated with the observed cosmological constant
8
- * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
9
- * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
10
- * ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
11
- * the previous 5.4×10⁻²⁷ figure did not match the formula), in the
12
- * observed dark-energy density range
13
- * (≈70% of the critical density at the present epoch).
14
- *
15
- * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
16
- * (arXiv:astro-ph/0004075; canonical cosmological-constant review);
17
- * Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
18
- * problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
19
- * (Λ measurement from CMB).
20
- *
21
- * Status: speculative (the bridge framing — using the observed CC as
22
- * a quantum-cosmological bridge — is the speculative element).
23
- *
24
- * Honest-claude scope notes:
25
- * - This formula sidesteps the formally-divergent ∫d³k vacuum-
26
- * fluctuation integral that the original BE-20 carried. The
27
- * vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
28
- * QFT estimate and observation) remains the unfixed cosmological-
29
- * constant problem, documented in known_issues. The observed
30
- * ρ_Λ is the canonical scalar that replaces the divergent integral
31
- * as the AST-encodable bridge content.
32
- * - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
33
- * [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
34
- * - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
35
- * is the alternate convention; both forms are physically
36
- * equivalent. We encode the mass-density form here.
37
- * - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
38
- * replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
39
- * `CosmologicalConstantNode` is a first-class ExprNode member whose
40
- * validator enforces the [L⁻²] dim constraint and, unlike a plain
41
- * symbol, carries the optional `value` field for de Sitter / ΛCDM
42
- * evaluations. The dimensional verdict ([M L⁻³]) and bridge status
43
- * are unchanged (Decision #9).
44
- *
45
- * @see docs/specification/Part-II.md ("Bridge Equation 20")
46
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
47
- * @module bridges/equations/be-20-vacuum-energy
48
- */
49
- import { DIMENSIONLESS, MASS_DENSITY, } from '../../dimensional/types.js';
50
- import { c as DIM_c, G as DIM_G } from '../../dimensional/constants.js';
51
- import { power } from '../../dimensional/algebra.js';
52
- import { LENGTH } from '../../dimensional/types.js';
53
- import { PhysicalConstants } from '../../core/types.js';
54
- import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
55
- /** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
56
- const INV_LENGTH_2 = power(LENGTH, -2);
57
- /**
58
- * Mass density [M L⁻³] (kg/m³). The dimensional export.
59
- *
60
- * @public
61
- */
62
- export { MASS_DENSITY } from '../../dimensional/types.js';
63
- /**
64
- * v0.6.0 re-encoding: `CosmologicalConstantNode` for Λ.
65
- *
66
- * Replaces the former `sym('Lambda', INV_LENGTH_2)` plain-symbol stub
67
- * with a first-class `CosmologicalConstantNode`. The new node carries
68
- * the Planck 2018 observed value as its optional `value` field and
69
- * participates in `validateCosmologicalConstant` (which enforces [L⁻²]).
70
- * The dimensional verdict of the enclosing expression is unchanged.
71
- *
72
- * Decision #9 (v0.6.0-Design.md): status pin unchanged — structural
73
- * AST promotion does NOT constitute physics validation.
74
- */
75
- /** Planck 2018 cosmological constant Λ ≈ 1.1×10⁻⁵² m⁻² — single source of truth. */
76
- const PLANCK_2018_LAMBDA = 1.1e-52;
77
- const BE20_COSMOLOGICAL_CONSTANT = {
78
- kind: 'cosmological-constant',
79
- symbol: 'Λ',
80
- dim: INV_LENGTH_2,
81
- value: PLANCK_2018_LAMBDA,
82
- };
83
- /**
84
- * RHS of the cosmological-constant mass density:
85
- * ρ_Λ = c² Λ / (8π G)
86
- *
87
- * v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
88
- * node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
89
- * is unchanged.
90
- */
91
- export const BE20_VACUUM_ENERGY_RHS = {
92
- kind: 'op', op: '/',
93
- args: [
94
- {
95
- // numerator: c² · Λ
96
- kind: 'op', op: '*',
97
- args: [
98
- {
99
- kind: 'op', op: '^',
100
- args: [sym('c', DIM_c), sym('2', DIMENSIONLESS)],
101
- },
102
- BE20_COSMOLOGICAL_CONSTANT,
103
- ],
104
- },
105
- {
106
- // denominator: 8π · G
107
- kind: 'op', op: '*',
108
- args: [
109
- sym('8pi', DIMENSIONLESS),
110
- sym('G', DIM_G),
111
- ],
112
- },
113
- ],
114
- };
115
- /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
116
- /** @internal */
117
- export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
118
- const DEFAULT_LAMBDA = PLANCK_2018_LAMBDA;
119
- /**
120
- * Evaluate the mass density associated with the observed cosmological
121
- * constant
122
- *
123
- * ρ_Λ = c² Λ / (8π G)
124
- *
125
- * @returns Mass density in kg/m³.
126
- */
127
- export function evaluateCosmologicalConstantDensity(input = {}) {
128
- const { Lambda_per_m2 = DEFAULT_LAMBDA } = input;
129
- validateFiniteInputs({ Lambda_per_m2 }, [{ name: 'Lambda_per_m2', min: 0 }], 'evaluateCosmologicalConstantDensity');
130
- const { c, G } = PhysicalConstants;
131
- return (c * c * Lambda_per_m2) / (8 * Math.PI * G);
132
- }
133
- // --- Self-validation ---
134
- /**
135
- * Run the AST through the dimensional analyzer; both sides should be
136
- * [M L⁻³] (mass density).
137
- */
138
- /** @internal */
139
- export function validateBE20Dimensions() {
140
- return validateBEDimensions(BE20_VACUUM_ENERGY_LHS, BE20_VACUUM_ENERGY_RHS, 'BE20');
141
- }
142
- //# sourceMappingURL=be-20-vacuum-energy.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,EACb,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;;;;;;;;;;GAWG;AACH,oFAAoF;AACpF,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,kBAAkB;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,KAAK,GAA+B,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}
@@ -1,74 +0,0 @@
1
- /**
2
- * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
3
- * bound (canonical AdS/CFT-derived universal lower bound on the shear-
4
- * viscosity-to-entropy-density ratio).
5
- *
6
- * η/s = ℏ / (4π k_B)
7
- *
8
- * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
9
- * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
10
- * holographic dual, two-derivative bulk action) is conjectured to obey
11
- * the bound η/s ≥ ℏ/(4π k_B).
12
- *
13
- * References:
14
- * - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
15
- * (arXiv:hep-th/0405231; canonical KSS bound paper).
16
- * - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
17
- * prerequisite Minkowski-correlator AdS/CFT recipe).
18
- * - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
19
- * (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
20
- * SYM at strong coupling).
21
- *
22
- * Status: established (KSS itself is established AdS/CFT result).
23
- *
24
- * Honest-claude scope notes:
25
- * - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
26
- * ℏ/(4π k_B) is the saturating value attained in the strong-coupling
27
- * limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
28
- * in any theory with an Einstein-gravity holographic dual. Encoding
29
- * the equality (the saturating value) pins the canonical scalar; the
30
- * ≥ inequality is the bridge's load-bearing claim.
31
- * - The original BE-21 form was a holographic-dictionary retarded
32
- * Green's function recipe (operator-valued, no clean scalar). The
33
- * KSS bound is the canonical scalar reduction of the same Son-
34
- * Starinets 2002 lineage and captures the most-cited AdS/CMT
35
- * result: a *universal* dimensional constant for the viscosity/
36
- * entropy-density ratio.
37
- * - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
38
- * [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
39
- * [J·s]/[J/K] = K·s. ✓
40
- *
41
- * @see docs/specification/Part-II.md ("Bridge Equation 21")
42
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
43
- * @module bridges/equations/be-21-kss-bound
44
- */
45
- import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
46
- import { Dimension } from '../../dimensional/types.js';
47
- /** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
48
- export declare const VISCOSITY_OVER_ENTROPY_DENSITY: Dimension;
49
- /**
50
- * RHS of the KSS saturating value:
51
- * η/s = ℏ / (4π k_B)
52
- *
53
- * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
54
- * dim [J·s] / [J/K] = [T Θ].
55
- */
56
- export declare const BE21_KSS_RHS: ExprNode;
57
- /** LHS: η/s has dimension [T Θ]. */
58
- /** @internal */
59
- export declare const BE21_KSS_LHS: ExprNode;
60
- /**
61
- * Evaluate the KSS saturating viscosity-to-entropy-density ratio
62
- *
63
- * η/s = ℏ / (4π k_B)
64
- *
65
- * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
66
- */
67
- export declare function evaluateKSSBound(): number;
68
- /**
69
- * Run the AST through the dimensional analyzer; both sides should be
70
- * [T Θ] (viscosity / entropy-density).
71
- */
72
- /** @internal */
73
- export declare function validateBE21Dimensions(): DimensionValidationReport;
74
- //# sourceMappingURL=be-21-kss-bound.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAKpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
@@ -1,97 +0,0 @@
1
- /**
2
- * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
3
- * bound (canonical AdS/CFT-derived universal lower bound on the shear-
4
- * viscosity-to-entropy-density ratio).
5
- *
6
- * η/s = ℏ / (4π k_B)
7
- *
8
- * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
9
- * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
10
- * holographic dual, two-derivative bulk action) is conjectured to obey
11
- * the bound η/s ≥ ℏ/(4π k_B).
12
- *
13
- * References:
14
- * - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
15
- * (arXiv:hep-th/0405231; canonical KSS bound paper).
16
- * - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
17
- * prerequisite Minkowski-correlator AdS/CFT recipe).
18
- * - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
19
- * (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
20
- * SYM at strong coupling).
21
- *
22
- * Status: established (KSS itself is established AdS/CFT result).
23
- *
24
- * Honest-claude scope notes:
25
- * - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
26
- * ℏ/(4π k_B) is the saturating value attained in the strong-coupling
27
- * limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
28
- * in any theory with an Einstein-gravity holographic dual. Encoding
29
- * the equality (the saturating value) pins the canonical scalar; the
30
- * ≥ inequality is the bridge's load-bearing claim.
31
- * - The original BE-21 form was a holographic-dictionary retarded
32
- * Green's function recipe (operator-valued, no clean scalar). The
33
- * KSS bound is the canonical scalar reduction of the same Son-
34
- * Starinets 2002 lineage and captures the most-cited AdS/CMT
35
- * result: a *universal* dimensional constant for the viscosity/
36
- * entropy-density ratio.
37
- * - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
38
- * [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
39
- * [J·s]/[J/K] = K·s. ✓
40
- *
41
- * @see docs/specification/Part-II.md ("Bridge Equation 21")
42
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
43
- * @module bridges/equations/be-21-kss-bound
44
- */
45
- import { DIMENSIONLESS, } from '../../dimensional/types.js';
46
- import { hbar as DIM_hbar, k_B as DIM_kB } from '../../dimensional/constants.js';
47
- import { PhysicalConstants } from '../../core/types.js';
48
- import { sym, validateBEDimensions } from './_be-helpers.js';
49
- /** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
50
- export const VISCOSITY_OVER_ENTROPY_DENSITY = {
51
- L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
52
- };
53
- /**
54
- * RHS of the KSS saturating value:
55
- * η/s = ℏ / (4π k_B)
56
- *
57
- * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
58
- * dim [J·s] / [J/K] = [T Θ].
59
- */
60
- export const BE21_KSS_RHS = {
61
- kind: 'op', op: '/',
62
- args: [
63
- sym('hbar', DIM_hbar),
64
- {
65
- kind: 'op', op: '*',
66
- args: [
67
- sym('4pi', DIMENSIONLESS),
68
- sym('k_B', DIM_kB),
69
- ],
70
- },
71
- ],
72
- };
73
- /** LHS: η/s has dimension [T Θ]. */
74
- /** @internal */
75
- export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
76
- // --- Numerical evaluator ---
77
- /**
78
- * Evaluate the KSS saturating viscosity-to-entropy-density ratio
79
- *
80
- * η/s = ℏ / (4π k_B)
81
- *
82
- * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
83
- */
84
- export function evaluateKSSBound() {
85
- const { hbar, kB } = PhysicalConstants;
86
- return hbar / (4 * Math.PI * kB);
87
- }
88
- // --- Self-validation ---
89
- /**
90
- * Run the AST through the dimensional analyzer; both sides should be
91
- * [T Θ] (viscosity / entropy-density).
92
- */
93
- /** @internal */
94
- export function validateBE21Dimensions() {
95
- return validateBEDimensions(BE21_KSS_LHS, BE21_KSS_RHS, 'BE21');
96
- }
97
- //# sourceMappingURL=be-21-kss-bound.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAEL,aAAa,GAGd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}