universal-physics-tensor 6.1.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 (823) 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 +304 -1
  20. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  21. package/dist/atlas/physjs-entries.generated.js +341 -1
  22. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  23. package/dist/atlas/physjs-ref.d.ts +7 -1
  24. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  25. package/dist/atlas/physjs-ref.js +10 -85
  26. package/dist/atlas/physjs-ref.js.map +1 -1
  27. package/dist/bridges/caller-table.d.ts +56 -0
  28. package/dist/bridges/caller-table.d.ts.map +1 -0
  29. package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
  30. package/dist/bridges/caller-table.js.map +1 -0
  31. package/dist/bridges/catalog-load.d.ts +34 -0
  32. package/dist/bridges/catalog-load.d.ts.map +1 -0
  33. package/dist/bridges/catalog-load.js +89 -0
  34. package/dist/bridges/catalog-load.js.map +1 -0
  35. package/dist/bridges/catalog-types.d.ts +119 -0
  36. package/dist/bridges/catalog-types.d.ts.map +1 -0
  37. package/dist/bridges/catalog-types.js +8 -0
  38. package/dist/bridges/catalog-types.js.map +1 -0
  39. package/dist/bridges/coefficient-statement.d.ts +27 -0
  40. package/dist/bridges/coefficient-statement.d.ts.map +1 -0
  41. package/dist/bridges/coefficient-statement.js +33 -0
  42. package/dist/bridges/coefficient-statement.js.map +1 -0
  43. package/dist/bridges/confrontations.d.ts +8 -25
  44. package/dist/bridges/confrontations.d.ts.map +1 -1
  45. package/dist/bridges/confrontations.js +26 -714
  46. package/dist/bridges/confrontations.js.map +1 -1
  47. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  48. package/dist/bridges/evaluator-inputs.js +30 -8
  49. package/dist/bridges/evaluator-inputs.js.map +1 -1
  50. package/dist/bridges/evaluators.d.ts +14 -27
  51. package/dist/bridges/evaluators.d.ts.map +1 -1
  52. package/dist/bridges/evaluators.js +83 -354
  53. package/dist/bridges/evaluators.js.map +1 -1
  54. package/dist/bridges/expr-parse.d.ts +19 -0
  55. package/dist/bridges/expr-parse.d.ts.map +1 -0
  56. package/dist/bridges/expr-parse.js +269 -0
  57. package/dist/bridges/expr-parse.js.map +1 -0
  58. package/dist/bridges/holds.d.ts +22 -0
  59. package/dist/bridges/holds.d.ts.map +1 -0
  60. package/dist/bridges/holds.js +266 -0
  61. package/dist/bridges/holds.js.map +1 -0
  62. package/dist/bridges/index.d.ts +18 -352
  63. package/dist/bridges/index.d.ts.map +1 -1
  64. package/dist/bridges/index.js +17 -3306
  65. package/dist/bridges/index.js.map +1 -1
  66. package/dist/bridges/relation-eval.d.ts +23 -0
  67. package/dist/bridges/relation-eval.d.ts.map +1 -0
  68. package/dist/bridges/relation-eval.js +136 -0
  69. package/dist/bridges/relation-eval.js.map +1 -0
  70. package/dist/bridges/rhs-registry.d.ts +7 -21
  71. package/dist/bridges/rhs-registry.d.ts.map +1 -1
  72. package/dist/bridges/rhs-registry.js +13 -123
  73. package/dist/bridges/rhs-registry.js.map +1 -1
  74. package/dist/bridges/sensitivity.d.ts +11 -3
  75. package/dist/bridges/sensitivity.d.ts.map +1 -1
  76. package/dist/bridges/sensitivity.js +20 -36
  77. package/dist/bridges/sensitivity.js.map +1 -1
  78. package/dist/bridges/types.d.ts +52 -0
  79. package/dist/bridges/types.d.ts.map +1 -0
  80. package/dist/bridges/types.js +10 -0
  81. package/dist/bridges/types.js.map +1 -0
  82. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  83. package/dist/canonical/entries/atomic.js +5 -4
  84. package/dist/canonical/entries/atomic.js.map +1 -1
  85. package/dist/canonical/entries/condensed-matter.js +1 -1
  86. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  87. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  88. package/dist/canonical/entries/electromagnetism.js +7 -3
  89. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  90. package/dist/canonical/entries/fluids-waves.js +1 -1
  91. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  92. package/dist/canonical/entries/mechanics.js +1 -1
  93. package/dist/canonical/entries/mechanics.js.map +1 -1
  94. package/dist/canonical/entries/nonmonomial.js +1 -1
  95. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  96. package/dist/canonical/entries/relativity.js +1 -1
  97. package/dist/canonical/entries/relativity.js.map +1 -1
  98. package/dist/canonical/entries/statistical-mechanics.js +1 -1
  99. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  100. package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -2
  101. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  102. package/dist/canonical/normal-form.d.ts.map +1 -1
  103. package/dist/canonical/normal-form.js +9 -4
  104. package/dist/canonical/normal-form.js.map +1 -1
  105. package/dist/cases/kepler-rv.d.ts.map +1 -1
  106. package/dist/cases/kepler-rv.js +7 -3
  107. package/dist/cases/kepler-rv.js.map +1 -1
  108. package/dist/cases/resistor-noise.d.ts.map +1 -1
  109. package/dist/cases/resistor-noise.js +10 -5
  110. package/dist/cases/resistor-noise.js.map +1 -1
  111. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  112. package/dist/cli/commands/_discovery-opts.js +18 -1
  113. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  114. package/dist/cli/commands/atlas.js +1 -1
  115. package/dist/cli/commands/atlas.js.map +1 -1
  116. package/dist/cli/commands/chain.js +2 -2
  117. package/dist/cli/commands/chain.js.map +1 -1
  118. package/dist/cli/commands/confront.d.ts.map +1 -1
  119. package/dist/cli/commands/confront.js +17 -17
  120. package/dist/cli/commands/confront.js.map +1 -1
  121. package/dist/cli/commands/eval.d.ts.map +1 -1
  122. package/dist/cli/commands/eval.js +11 -1
  123. package/dist/cli/commands/eval.js.map +1 -1
  124. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  125. package/dist/cli/commands/evaluate.js +44 -27
  126. package/dist/cli/commands/evaluate.js.map +1 -1
  127. package/dist/cli/commands/explain.d.ts.map +1 -1
  128. package/dist/cli/commands/explain.js +16 -3
  129. package/dist/cli/commands/explain.js.map +1 -1
  130. package/dist/cli/commands/map.js +1 -1
  131. package/dist/cli/commands/map.js.map +1 -1
  132. package/dist/cli/commands/regime.d.ts.map +1 -1
  133. package/dist/cli/commands/regime.js +15 -3
  134. package/dist/cli/commands/regime.js.map +1 -1
  135. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  136. package/dist/cli/commands/symbolic.js +5 -4
  137. package/dist/cli/commands/symbolic.js.map +1 -1
  138. package/dist/cli/search-index.d.ts +1 -1
  139. package/dist/cli/search-index.js +1 -1
  140. package/dist/cli/search-index.js.map +1 -1
  141. package/dist/cli-api.d.ts +13 -2
  142. package/dist/cli-api.d.ts.map +1 -1
  143. package/dist/cli-api.js +13 -2
  144. package/dist/cli-api.js.map +1 -1
  145. package/dist/composition/aliases.d.ts +10 -29
  146. package/dist/composition/aliases.d.ts.map +1 -1
  147. package/dist/composition/aliases.js +17 -66
  148. package/dist/composition/aliases.js.map +1 -1
  149. package/dist/composition/canonical-compare.d.ts.map +1 -1
  150. package/dist/composition/canonical-compare.js +4 -3
  151. package/dist/composition/canonical-compare.js.map +1 -1
  152. package/dist/composition/canonical-graph.d.ts +12 -7
  153. package/dist/composition/canonical-graph.d.ts.map +1 -1
  154. package/dist/composition/canonical-graph.js +78 -20
  155. package/dist/composition/canonical-graph.js.map +1 -1
  156. package/dist/composition/catalog-graph.d.ts +11 -4
  157. package/dist/composition/catalog-graph.d.ts.map +1 -1
  158. package/dist/composition/catalog-graph.js +78 -45
  159. package/dist/composition/catalog-graph.js.map +1 -1
  160. package/dist/composition/discovery.d.ts.map +1 -1
  161. package/dist/composition/discovery.js +26 -22
  162. package/dist/composition/discovery.js.map +1 -1
  163. package/dist/composition/evaluate-relation.d.ts +18 -0
  164. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  165. package/dist/composition/evaluate-relation.js +103 -18
  166. package/dist/composition/evaluate-relation.js.map +1 -1
  167. package/dist/composition/expr-eval.d.ts.map +1 -1
  168. package/dist/composition/expr-eval.js +6 -0
  169. package/dist/composition/expr-eval.js.map +1 -1
  170. package/dist/composition/frontier-account.d.ts.map +1 -1
  171. package/dist/composition/frontier-account.js +1 -1
  172. package/dist/composition/frontier-account.js.map +1 -1
  173. package/dist/composition/index.d.ts +6 -13
  174. package/dist/composition/index.d.ts.map +1 -1
  175. package/dist/composition/index.js +6 -13
  176. package/dist/composition/index.js.map +1 -1
  177. package/dist/composition/quantities.d.ts +11 -26
  178. package/dist/composition/quantities.d.ts.map +1 -1
  179. package/dist/composition/quantities.js +29 -28
  180. package/dist/composition/quantities.js.map +1 -1
  181. package/dist/composition/user-equation.d.ts +3 -20
  182. package/dist/composition/user-equation.d.ts.map +1 -1
  183. package/dist/composition/user-equation.js +8 -55
  184. package/dist/composition/user-equation.js.map +1 -1
  185. package/dist/core/constants.d.ts +14 -0
  186. package/dist/core/constants.d.ts.map +1 -1
  187. package/dist/core/constants.js +16 -0
  188. package/dist/core/constants.js.map +1 -1
  189. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  190. package/dist/diff/bridge-ast-gradient.js +1 -0
  191. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  192. package/dist/diff/bridge-gradient.d.ts +1 -1
  193. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  194. package/dist/diff/bridge-specs.d.ts +32 -62
  195. package/dist/diff/bridge-specs.d.ts.map +1 -1
  196. package/dist/diff/bridge-specs.js +55 -76
  197. package/dist/diff/bridge-specs.js.map +1 -1
  198. package/dist/dimensional/bridge-check.d.ts +9 -26
  199. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  200. package/dist/dimensional/bridge-check.js +22 -214
  201. package/dist/dimensional/bridge-check.js.map +1 -1
  202. package/dist/dimensional/formula-names.d.ts +65 -0
  203. package/dist/dimensional/formula-names.d.ts.map +1 -1
  204. package/dist/dimensional/formula-names.js +150 -2
  205. package/dist/dimensional/formula-names.js.map +1 -1
  206. package/dist/dimensional/hyphen-names.d.ts +13 -0
  207. package/dist/dimensional/hyphen-names.d.ts.map +1 -0
  208. package/dist/dimensional/hyphen-names.js +27 -0
  209. package/dist/dimensional/hyphen-names.js.map +1 -0
  210. package/dist/dimensional/quantity-registry.d.ts +33 -0
  211. package/dist/dimensional/quantity-registry.d.ts.map +1 -0
  212. package/dist/dimensional/quantity-registry.js +49 -0
  213. package/dist/dimensional/quantity-registry.js.map +1 -0
  214. package/dist/dimensional/units.d.ts +4 -2
  215. package/dist/dimensional/units.d.ts.map +1 -1
  216. package/dist/dimensional/units.js +274 -60
  217. package/dist/dimensional/units.js.map +1 -1
  218. package/dist/index.d.ts +23 -59
  219. package/dist/index.d.ts.map +1 -1
  220. package/dist/index.js +14 -45
  221. package/dist/index.js.map +1 -1
  222. package/dist/numerical/binding-value.d.ts.map +1 -1
  223. package/dist/numerical/binding-value.js +75 -24
  224. package/dist/numerical/binding-value.js.map +1 -1
  225. package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
  226. package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
  227. package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
  228. package/dist/numerical/covariant-eikonal.js.map +1 -0
  229. package/dist/numerical/derivative-lowering.d.ts +2 -1
  230. package/dist/numerical/derivative-lowering.d.ts.map +1 -1
  231. package/dist/numerical/derivative-lowering.js +2 -1
  232. package/dist/numerical/derivative-lowering.js.map +1 -1
  233. package/dist/numerical/gl4-integrator.d.ts +6 -3
  234. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  235. package/dist/numerical/gl4-integrator.js +6 -3
  236. package/dist/numerical/gl4-integrator.js.map +1 -1
  237. package/dist/numerical/index.d.ts +4 -3
  238. package/dist/numerical/index.d.ts.map +1 -1
  239. package/dist/numerical/index.js +2 -2
  240. package/dist/numerical/index.js.map +1 -1
  241. package/dist/numerical/null-ic.d.ts +6 -5
  242. package/dist/numerical/null-ic.d.ts.map +1 -1
  243. package/dist/numerical/null-ic.js +6 -5
  244. package/dist/numerical/null-ic.js.map +1 -1
  245. package/dist/numerical/null-ray-integrator.js +1 -1
  246. package/dist/numerical/perihelion-finder.d.ts +5 -4
  247. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  248. package/dist/numerical/perihelion-finder.js +5 -4
  249. package/dist/numerical/perihelion-finder.js.map +1 -1
  250. package/package.json +2 -1
  251. package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
  252. package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
  253. package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
  254. package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
  255. package/dist/bridges/be101-bkt-jump.d.ts +0 -24
  256. package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
  257. package/dist/bridges/be101-bkt-jump.js +0 -29
  258. package/dist/bridges/be101-bkt-jump.js.map +0 -1
  259. package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
  260. package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
  261. package/dist/bridges/be102-landauer-conductance.js +0 -28
  262. package/dist/bridges/be102-landauer-conductance.js.map +0 -1
  263. package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
  264. package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
  265. package/dist/bridges/be11-decoherence-confrontation.js +0 -39
  266. package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
  267. package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
  268. package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
  269. package/dist/bridges/be21-kss-confrontation.js +0 -38
  270. package/dist/bridges/be21-kss-confrontation.js.map +0 -1
  271. package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
  272. package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
  273. package/dist/bridges/be23-planckian-confrontation.js +0 -196
  274. package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
  275. package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
  276. package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
  277. package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
  278. package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
  279. package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
  280. package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
  281. package/dist/bridges/be36-gw170817-confrontation.js +0 -100
  282. package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
  283. package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
  284. package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
  285. package/dist/bridges/be37-cassini-confrontation.js +0 -34
  286. package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
  287. package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
  288. package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
  289. package/dist/bridges/be48-collapse-confrontation.js +0 -37
  290. package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
  291. package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
  292. package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
  293. package/dist/bridges/be51-lensing-confrontation.js +0 -52
  294. package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
  295. package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
  296. package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
  297. package/dist/bridges/be52-mercury-confrontation.js +0 -70
  298. package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
  299. package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
  300. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
  301. package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
  302. package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
  303. package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
  304. package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
  305. package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
  306. package/dist/bridges/be55-quantum-hall.d.ts +0 -24
  307. package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
  308. package/dist/bridges/be55-quantum-hall.js +0 -46
  309. package/dist/bridges/be55-quantum-hall.js.map +0 -1
  310. package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
  311. package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
  312. package/dist/bridges/be56-casimir-confrontation.js +0 -31
  313. package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
  314. package/dist/bridges/be56-casimir.d.ts +0 -18
  315. package/dist/bridges/be56-casimir.d.ts.map +0 -1
  316. package/dist/bridges/be56-casimir.js +0 -36
  317. package/dist/bridges/be56-casimir.js.map +0 -1
  318. package/dist/bridges/be57-unruh.d.ts +0 -18
  319. package/dist/bridges/be57-unruh.d.ts.map +0 -1
  320. package/dist/bridges/be57-unruh.js +0 -38
  321. package/dist/bridges/be57-unruh.js.map +0 -1
  322. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
  323. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
  324. package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
  325. package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
  326. package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
  327. package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
  328. package/dist/bridges/be58-johnson-nyquist.js +0 -36
  329. package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
  330. package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
  331. package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
  332. package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
  333. package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
  334. package/dist/bridges/be59-ac-josephson.d.ts +0 -22
  335. package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
  336. package/dist/bridges/be59-ac-josephson.js +0 -35
  337. package/dist/bridges/be59-ac-josephson.js.map +0 -1
  338. package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
  339. package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
  340. package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
  341. package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
  342. package/dist/bridges/be60-fractional-qh.d.ts +0 -20
  343. package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
  344. package/dist/bridges/be60-fractional-qh.js +0 -33
  345. package/dist/bridges/be60-fractional-qh.js.map +0 -1
  346. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
  347. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
  348. package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
  349. package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
  350. package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
  351. package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
  352. package/dist/bridges/be61-wiedemann-franz.js +0 -41
  353. package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
  354. package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
  355. package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
  356. package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
  357. package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
  358. package/dist/bridges/be62-bcs-gap.d.ts +0 -22
  359. package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
  360. package/dist/bridges/be62-bcs-gap.js +0 -38
  361. package/dist/bridges/be62-bcs-gap.js.map +0 -1
  362. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
  363. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
  364. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
  365. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
  366. package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
  367. package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
  368. package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
  369. package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
  370. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
  371. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
  372. package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
  373. package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
  374. package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
  375. package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
  376. package/dist/bridges/be64-eddington-luminosity.js +0 -35
  377. package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
  378. package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
  379. package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
  380. package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
  381. package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
  382. package/dist/bridges/be65-jeans-mass.d.ts +0 -24
  383. package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
  384. package/dist/bridges/be65-jeans-mass.js +0 -38
  385. package/dist/bridges/be65-jeans-mass.js.map +0 -1
  386. package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
  387. package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
  388. package/dist/bridges/be66-radiation-pressure.js +0 -37
  389. package/dist/bridges/be66-radiation-pressure.js.map +0 -1
  390. package/dist/bridges/be67-alfven-speed.d.ts +0 -41
  391. package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
  392. package/dist/bridges/be67-alfven-speed.js +0 -50
  393. package/dist/bridges/be67-alfven-speed.js.map +0 -1
  394. package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
  395. package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
  396. package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
  397. package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
  398. package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
  399. package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
  400. package/dist/bridges/be69-fast-magnetosonic.js +0 -33
  401. package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
  402. package/dist/bridges/be70-einstein-relation.d.ts +0 -30
  403. package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
  404. package/dist/bridges/be70-einstein-relation.js +0 -41
  405. package/dist/bridges/be70-einstein-relation.js.map +0 -1
  406. package/dist/bridges/be71-clapeyron.d.ts +0 -43
  407. package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
  408. package/dist/bridges/be71-clapeyron.js +0 -32
  409. package/dist/bridges/be71-clapeyron.js.map +0 -1
  410. package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
  411. package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
  412. package/dist/bridges/be72-gravitational-redshift.js +0 -32
  413. package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
  414. package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
  415. package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
  416. package/dist/bridges/be73-kelvin-peltier.js +0 -31
  417. package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
  418. package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
  419. package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
  420. package/dist/bridges/be74-magnetic-pressure.js +0 -29
  421. package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
  422. package/dist/bridges/be75-london-penetration.d.ts +0 -27
  423. package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
  424. package/dist/bridges/be75-london-penetration.js +0 -31
  425. package/dist/bridges/be75-london-penetration.js.map +0 -1
  426. package/dist/bridges/be76-plasma-beta.d.ts +0 -32
  427. package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
  428. package/dist/bridges/be76-plasma-beta.js +0 -34
  429. package/dist/bridges/be76-plasma-beta.js.map +0 -1
  430. package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
  431. package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
  432. package/dist/bridges/be77-hagen-poiseuille.js +0 -39
  433. package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
  434. package/dist/bridges/be78-euler-buckling.d.ts +0 -44
  435. package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
  436. package/dist/bridges/be78-euler-buckling.js +0 -33
  437. package/dist/bridges/be78-euler-buckling.js.map +0 -1
  438. package/dist/bridges/be79-pull-in.d.ts +0 -33
  439. package/dist/bridges/be79-pull-in.d.ts.map +0 -1
  440. package/dist/bridges/be79-pull-in.js +0 -35
  441. package/dist/bridges/be79-pull-in.js.map +0 -1
  442. package/dist/bridges/be80-mott-gurney.d.ts +0 -52
  443. package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
  444. package/dist/bridges/be80-mott-gurney.js +0 -38
  445. package/dist/bridges/be80-mott-gurney.js.map +0 -1
  446. package/dist/bridges/be81-child-langmuir.d.ts +0 -33
  447. package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
  448. package/dist/bridges/be81-child-langmuir.js +0 -38
  449. package/dist/bridges/be81-child-langmuir.js.map +0 -1
  450. package/dist/bridges/be82-shockley-diode.d.ts +0 -32
  451. package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
  452. package/dist/bridges/be82-shockley-diode.js +0 -37
  453. package/dist/bridges/be82-shockley-diode.js.map +0 -1
  454. package/dist/bridges/be83-thomson.d.ts +0 -46
  455. package/dist/bridges/be83-thomson.d.ts.map +0 -1
  456. package/dist/bridges/be83-thomson.js +0 -32
  457. package/dist/bridges/be83-thomson.js.map +0 -1
  458. package/dist/bridges/be84-four-point.d.ts +0 -45
  459. package/dist/bridges/be84-four-point.d.ts.map +0 -1
  460. package/dist/bridges/be84-four-point.js +0 -34
  461. package/dist/bridges/be84-four-point.js.map +0 -1
  462. package/dist/bridges/be85-shot-noise.d.ts +0 -30
  463. package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
  464. package/dist/bridges/be85-shot-noise.js +0 -32
  465. package/dist/bridges/be85-shot-noise.js.map +0 -1
  466. package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
  467. package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
  468. package/dist/bridges/be86-reynolds-analogy.js +0 -30
  469. package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
  470. package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
  471. package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
  472. package/dist/bridges/be87-capacitor-noise.js +0 -32
  473. package/dist/bridges/be87-capacitor-noise.js.map +0 -1
  474. package/dist/bridges/be88-fermi-sea.d.ts +0 -31
  475. package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
  476. package/dist/bridges/be88-fermi-sea.js +0 -35
  477. package/dist/bridges/be88-fermi-sea.js.map +0 -1
  478. package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
  479. package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
  480. package/dist/bridges/be89-debye-cutoff.js +0 -28
  481. package/dist/bridges/be89-debye-cutoff.js.map +0 -1
  482. package/dist/bridges/be90-debye-heat.d.ts +0 -30
  483. package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
  484. package/dist/bridges/be90-debye-heat.js +0 -35
  485. package/dist/bridges/be90-debye-heat.js.map +0 -1
  486. package/dist/bridges/be91-einstein-solid.d.ts +0 -30
  487. package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
  488. package/dist/bridges/be91-einstein-solid.js +0 -37
  489. package/dist/bridges/be91-einstein-solid.js.map +0 -1
  490. package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
  491. package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
  492. package/dist/bridges/be92-sommerfeld-heat.js +0 -34
  493. package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
  494. package/dist/bridges/be93-curie-weiss.d.ts +0 -41
  495. package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
  496. package/dist/bridges/be93-curie-weiss.js +0 -45
  497. package/dist/bridges/be93-curie-weiss.js.map +0 -1
  498. package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
  499. package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
  500. package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
  501. package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
  502. package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
  503. package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
  504. package/dist/bridges/be95-ginzburg-landau.js +0 -32
  505. package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
  506. package/dist/bridges/be96-upper-critical.d.ts +0 -24
  507. package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
  508. package/dist/bridges/be96-upper-critical.js +0 -27
  509. package/dist/bridges/be96-upper-critical.js.map +0 -1
  510. package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
  511. package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
  512. package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
  513. package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
  514. package/dist/bridges/be98-bcs-jump.d.ts +0 -40
  515. package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
  516. package/dist/bridges/be98-bcs-jump.js +0 -29
  517. package/dist/bridges/be98-bcs-jump.js.map +0 -1
  518. package/dist/bridges/be99-mass-action.d.ts +0 -33
  519. package/dist/bridges/be99-mass-action.d.ts.map +0 -1
  520. package/dist/bridges/be99-mass-action.js +0 -37
  521. package/dist/bridges/be99-mass-action.js.map +0 -1
  522. package/dist/bridges/bridge-equations.d.ts +0 -225
  523. package/dist/bridges/bridge-equations.d.ts.map +0 -1
  524. package/dist/bridges/bridge-equations.js +0 -226
  525. package/dist/bridges/bridge-equations.js.map +0 -1
  526. package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
  527. package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
  528. package/dist/bridges/engineering-r7-catalog.js +0 -172
  529. package/dist/bridges/engineering-r7-catalog.js.map +0 -1
  530. package/dist/bridges/engineering-r7.d.ts +0 -152
  531. package/dist/bridges/engineering-r7.d.ts.map +0 -1
  532. package/dist/bridges/engineering-r7.js +0 -208
  533. package/dist/bridges/engineering-r7.js.map +0 -1
  534. package/dist/bridges/equations/_be-helpers.d.ts +0 -80
  535. package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
  536. package/dist/bridges/equations/_be-helpers.js +0 -103
  537. package/dist/bridges/equations/_be-helpers.js.map +0 -1
  538. package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
  539. package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
  540. package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
  541. package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
  542. package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
  543. package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
  544. package/dist/bridges/equations/be-12-coherence-length.js +0 -120
  545. package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
  546. package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
  547. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
  548. package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
  549. package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
  550. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
  551. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
  552. package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
  553. package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
  554. package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
  555. package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
  556. package/dist/bridges/equations/be-15-emergence.js +0 -208
  557. package/dist/bridges/equations/be-15-emergence.js.map +0 -1
  558. package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
  559. package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
  560. package/dist/bridges/equations/be-16-landauer.js +0 -198
  561. package/dist/bridges/equations/be-16-landauer.js.map +0 -1
  562. package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
  563. package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
  564. package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
  565. package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
  566. package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
  567. package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
  568. package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
  569. package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
  570. package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
  571. package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
  572. package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
  573. package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
  574. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
  575. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
  576. package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
  577. package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
  578. package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
  579. package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
  580. package/dist/bridges/equations/be-21-kss-bound.js +0 -97
  581. package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
  582. package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
  583. package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
  584. package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
  585. package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
  586. package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
  587. package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
  588. package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
  589. package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
  590. package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
  591. package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
  592. package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
  593. package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
  594. package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
  595. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
  596. package/dist/bridges/equations/be-25-iit-phi.js +0 -255
  597. package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
  598. package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
  599. package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
  600. package/dist/bridges/equations/be-25-orch-or.js +0 -124
  601. package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
  602. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
  603. package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
  604. package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
  605. package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
  606. package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
  607. package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
  608. package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
  609. package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
  610. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
  611. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
  612. package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
  613. package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
  614. package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
  615. package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
  616. package/dist/bridges/equations/be-29-jarzynski.js +0 -127
  617. package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
  618. package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
  619. package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
  620. package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
  621. package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
  622. package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
  623. package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
  624. package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
  625. package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
  626. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
  627. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
  628. package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
  629. package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
  630. package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
  631. package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
  632. package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
  633. package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
  634. package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
  635. package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
  636. package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
  637. package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
  638. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
  639. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
  640. package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
  641. package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
  642. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
  643. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
  644. package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
  645. package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
  646. package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
  647. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
  648. package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
  649. package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
  650. package/dist/bridges/equations/be-38-mond.d.ts +0 -94
  651. package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
  652. package/dist/bridges/equations/be-38-mond.js +0 -114
  653. package/dist/bridges/equations/be-38-mond.js.map +0 -1
  654. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
  655. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
  656. package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
  657. package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
  658. package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
  659. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
  660. package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
  661. package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
  662. package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
  663. package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
  664. package/dist/bridges/equations/be-41-swampland.js +0 -108
  665. package/dist/bridges/equations/be-41-swampland.js.map +0 -1
  666. package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
  667. package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
  668. package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
  669. package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
  670. package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
  671. package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
  672. package/dist/bridges/equations/be-43-er-epr.js +0 -106
  673. package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
  674. package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
  675. package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
  676. package/dist/bridges/equations/be-44-soft-hair.js +0 -177
  677. package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
  678. package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
  679. package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
  680. package/dist/bridges/equations/be-45-tcc.js +0 -149
  681. package/dist/bridges/equations/be-45-tcc.js.map +0 -1
  682. package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
  683. package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
  684. package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
  685. package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
  686. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
  687. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
  688. package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
  689. package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
  690. package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
  691. package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
  692. package/dist/bridges/equations/be-48-grw-localization.js +0 -103
  693. package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
  694. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
  695. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
  696. package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
  697. package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
  698. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
  699. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
  700. package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
  701. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
  702. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
  703. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
  704. package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
  705. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
  706. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
  707. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
  708. package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
  709. package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
  710. package/dist/bridges/gravitational-lensing.d.ts +0 -73
  711. package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
  712. package/dist/bridges/gravitational-lensing.js +0 -59
  713. package/dist/bridges/gravitational-lensing.js.map +0 -1
  714. package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
  715. package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
  716. package/dist/bridges/perihelion-precession-labeled.js +0 -54
  717. package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
  718. package/dist/bridges/perihelion-precession.d.ts +0 -87
  719. package/dist/bridges/perihelion-precession.d.ts.map +0 -1
  720. package/dist/bridges/perihelion-precession.js +0 -82
  721. package/dist/bridges/perihelion-precession.js.map +0 -1
  722. package/dist/bridges/plasma-catalog.d.ts +0 -29
  723. package/dist/bridges/plasma-catalog.d.ts.map +0 -1
  724. package/dist/bridges/plasma-catalog.js +0 -427
  725. package/dist/bridges/plasma-catalog.js.map +0 -1
  726. package/dist/bridges/plasma-space.d.ts +0 -310
  727. package/dist/bridges/plasma-space.d.ts.map +0 -1
  728. package/dist/bridges/plasma-space.js +0 -262
  729. package/dist/bridges/plasma-space.js.map +0 -1
  730. package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
  731. package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
  732. package/dist/composition/edges/_catalog-helpers.js +0 -90
  733. package/dist/composition/edges/_catalog-helpers.js.map +0 -1
  734. package/dist/composition/edges/applied-physicist.d.ts +0 -181
  735. package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
  736. package/dist/composition/edges/applied-physicist.js +0 -843
  737. package/dist/composition/edges/applied-physicist.js.map +0 -1
  738. package/dist/composition/edges/calibration.d.ts +0 -107
  739. package/dist/composition/edges/calibration.d.ts.map +0 -1
  740. package/dist/composition/edges/calibration.js +0 -559
  741. package/dist/composition/edges/calibration.js.map +0 -1
  742. package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
  743. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
  744. package/dist/composition/edges/catalog-condensed-matter.js +0 -257
  745. package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
  746. package/dist/composition/edges/catalog-fields.d.ts +0 -68
  747. package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
  748. package/dist/composition/edges/catalog-fields.js +0 -207
  749. package/dist/composition/edges/catalog-fields.js.map +0 -1
  750. package/dist/composition/edges/catalog-full.d.ts +0 -43
  751. package/dist/composition/edges/catalog-full.d.ts.map +0 -1
  752. package/dist/composition/edges/catalog-full.js +0 -73
  753. package/dist/composition/edges/catalog-full.js.map +0 -1
  754. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
  755. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
  756. package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
  757. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
  758. package/dist/composition/edges/catalog-quantum.d.ts +0 -85
  759. package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
  760. package/dist/composition/edges/catalog-quantum.js +0 -297
  761. package/dist/composition/edges/catalog-quantum.js.map +0 -1
  762. package/dist/composition/edges/catalog-tranche.d.ts +0 -108
  763. package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
  764. package/dist/composition/edges/catalog-tranche.js +0 -304
  765. package/dist/composition/edges/catalog-tranche.js.map +0 -1
  766. package/dist/composition/edges/condensed-r5.d.ts +0 -105
  767. package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
  768. package/dist/composition/edges/condensed-r5.js +0 -505
  769. package/dist/composition/edges/condensed-r5.js.map +0 -1
  770. package/dist/composition/edges/engineering-r7.d.ts +0 -20
  771. package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
  772. package/dist/composition/edges/engineering-r7.js +0 -262
  773. package/dist/composition/edges/engineering-r7.js.map +0 -1
  774. package/dist/composition/edges/plasma-space.d.ts +0 -50
  775. package/dist/composition/edges/plasma-space.d.ts.map +0 -1
  776. package/dist/composition/edges/plasma-space.js +0 -481
  777. package/dist/composition/edges/plasma-space.js.map +0 -1
  778. package/dist/composition/edges/proved-seeds.d.ts +0 -39
  779. package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
  780. package/dist/composition/edges/proved-seeds.js +0 -197
  781. package/dist/composition/edges/proved-seeds.js.map +0 -1
  782. package/dist/composition/quantities/_dims.d.ts +0 -45
  783. package/dist/composition/quantities/_dims.d.ts.map +0 -1
  784. package/dist/composition/quantities/_dims.js +0 -55
  785. package/dist/composition/quantities/_dims.js.map +0 -1
  786. package/dist/composition/quantities/applied-physicist.d.ts +0 -166
  787. package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
  788. package/dist/composition/quantities/applied-physicist.js +0 -543
  789. package/dist/composition/quantities/applied-physicist.js.map +0 -1
  790. package/dist/composition/quantities/common.d.ts +0 -69
  791. package/dist/composition/quantities/common.d.ts.map +0 -1
  792. package/dist/composition/quantities/common.js +0 -210
  793. package/dist/composition/quantities/common.js.map +0 -1
  794. package/dist/composition/quantities/condensed-matter.d.ts +0 -79
  795. package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
  796. package/dist/composition/quantities/condensed-matter.js +0 -238
  797. package/dist/composition/quantities/condensed-matter.js.map +0 -1
  798. package/dist/composition/quantities/condensed-r5.d.ts +0 -110
  799. package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
  800. package/dist/composition/quantities/condensed-r5.js +0 -359
  801. package/dist/composition/quantities/condensed-r5.js.map +0 -1
  802. package/dist/composition/quantities/engineering-r7.d.ts +0 -82
  803. package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
  804. package/dist/composition/quantities/engineering-r7.js +0 -92
  805. package/dist/composition/quantities/engineering-r7.js.map +0 -1
  806. package/dist/composition/quantities/fields.d.ts +0 -69
  807. package/dist/composition/quantities/fields.d.ts.map +0 -1
  808. package/dist/composition/quantities/fields.js +0 -210
  809. package/dist/composition/quantities/fields.js.map +0 -1
  810. package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
  811. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
  812. package/dist/composition/quantities/gravitation-cosmology.js +0 -215
  813. package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
  814. package/dist/composition/quantities/plasma-space.d.ts +0 -178
  815. package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
  816. package/dist/composition/quantities/plasma-space.js +0 -185
  817. package/dist/composition/quantities/plasma-space.js.map +0 -1
  818. package/dist/composition/quantities/quantum.d.ts +0 -63
  819. package/dist/composition/quantities/quantum.d.ts.map +0 -1
  820. package/dist/composition/quantities/quantum.js +0 -190
  821. package/dist/composition/quantities/quantum.js.map +0 -1
  822. package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
  823. 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"}