universal-physics-tensor 0.29.0 → 0.30.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 (362) hide show
  1. package/bin/upt.mjs +9 -830
  2. package/dist/bridges/confrontation-coverage.d.ts +15 -0
  3. package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
  4. package/dist/bridges/confrontation-coverage.js +6 -1
  5. package/dist/bridges/confrontation-coverage.js.map +1 -1
  6. package/dist/bridges/descriptor.d.ts +54 -0
  7. package/dist/bridges/descriptor.d.ts.map +1 -0
  8. package/dist/bridges/descriptor.js +67 -0
  9. package/dist/bridges/descriptor.js.map +1 -0
  10. package/dist/bridges/equations/_be-helpers.d.ts +1 -2
  11. package/dist/bridges/equations/_be-helpers.d.ts.map +1 -1
  12. package/dist/bridges/equations/_be-helpers.js +3 -3
  13. package/dist/bridges/equations/_be-helpers.js.map +1 -1
  14. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +1 -1
  15. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +1 -1
  16. package/dist/bridges/equations/be-20-vacuum-energy.js +5 -3
  17. package/dist/bridges/equations/be-20-vacuum-energy.js.map +1 -1
  18. package/dist/bridges/equations/be-21-kss-bound.d.ts +1 -1
  19. package/dist/bridges/equations/be-21-kss-bound.js +1 -1
  20. package/dist/bridges/equations/be-25-iit-phi.d.ts +12 -16
  21. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +1 -1
  22. package/dist/bridges/equations/be-25-iit-phi.js +12 -16
  23. package/dist/bridges/equations/be-25-iit-phi.js.map +1 -1
  24. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +6 -6
  25. package/dist/bridges/equations/be-26-dna-tunneling.js +6 -6
  26. package/dist/bridges/equations/be-40-composite-higgs.d.ts +9 -7
  27. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +1 -1
  28. package/dist/bridges/equations/be-40-composite-higgs.js +9 -7
  29. package/dist/bridges/equations/be-40-composite-higgs.js.map +1 -1
  30. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -34
  31. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +1 -1
  32. package/dist/bridges/equations/be-50-wheeler-feynman.js +1 -1
  33. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +1 -1
  34. package/dist/canonical/entries/_l1-build.d.ts +4 -5
  35. package/dist/canonical/entries/_l1-build.d.ts.map +1 -1
  36. package/dist/canonical/entries/_l1-build.js +3 -11
  37. package/dist/canonical/entries/_l1-build.js.map +1 -1
  38. package/dist/canonical/entries/atomic.d.ts +6 -5
  39. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  40. package/dist/canonical/entries/atomic.js +61 -1
  41. package/dist/canonical/entries/atomic.js.map +1 -1
  42. package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
  43. package/dist/canonical/entries/dimensional-classics.js +1 -10
  44. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  45. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  46. package/dist/canonical/entries/electromagnetism.js +49 -1
  47. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  48. package/dist/canonical/entries/relativity.d.ts +0 -3
  49. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  50. package/dist/canonical/entries/relativity.js +51 -3
  51. package/dist/canonical/entries/relativity.js.map +1 -1
  52. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +7 -4
  53. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
  54. package/dist/canonical/entries/thermo-nuclear-cosmo.js +117 -1
  55. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  56. package/dist/canonical/linkage.d.ts +5 -0
  57. package/dist/canonical/linkage.d.ts.map +1 -1
  58. package/dist/canonical/linkage.js +54 -24
  59. package/dist/canonical/linkage.js.map +1 -1
  60. package/dist/canonical/registry.d.ts +6 -1
  61. package/dist/canonical/registry.d.ts.map +1 -1
  62. package/dist/canonical/registry.js +6 -5
  63. package/dist/canonical/registry.js.map +1 -1
  64. package/dist/cli/args.d.ts +23 -0
  65. package/dist/cli/args.d.ts.map +1 -0
  66. package/dist/cli/args.js +74 -0
  67. package/dist/cli/args.js.map +1 -0
  68. package/dist/cli/command.d.ts +46 -0
  69. package/dist/cli/command.d.ts.map +1 -0
  70. package/dist/cli/command.js +51 -0
  71. package/dist/cli/command.js.map +1 -0
  72. package/dist/cli/commands/_discovery-opts.d.ts +16 -0
  73. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -0
  74. package/dist/cli/commands/_discovery-opts.js +33 -0
  75. package/dist/cli/commands/_discovery-opts.js.map +1 -0
  76. package/dist/cli/commands/audit.d.ts +3 -0
  77. package/dist/cli/commands/audit.d.ts.map +1 -0
  78. package/dist/cli/commands/audit.js +71 -0
  79. package/dist/cli/commands/audit.js.map +1 -0
  80. package/dist/cli/commands/candidates.d.ts +3 -0
  81. package/dist/cli/commands/candidates.d.ts.map +1 -0
  82. package/dist/cli/commands/candidates.js +46 -0
  83. package/dist/cli/commands/candidates.js.map +1 -0
  84. package/dist/cli/commands/canonical.d.ts +3 -0
  85. package/dist/cli/commands/canonical.d.ts.map +1 -0
  86. package/dist/cli/commands/canonical.js +38 -0
  87. package/dist/cli/commands/canonical.js.map +1 -0
  88. package/dist/cli/commands/connectors.d.ts +3 -0
  89. package/dist/cli/commands/connectors.d.ts.map +1 -0
  90. package/dist/cli/commands/connectors.js +51 -0
  91. package/dist/cli/commands/connectors.js.map +1 -0
  92. package/dist/cli/commands/coverage.d.ts +3 -0
  93. package/dist/cli/commands/coverage.d.ts.map +1 -0
  94. package/dist/cli/commands/coverage.js +39 -0
  95. package/dist/cli/commands/coverage.js.map +1 -0
  96. package/dist/cli/commands/derive.d.ts +3 -0
  97. package/dist/cli/commands/derive.d.ts.map +1 -0
  98. package/dist/cli/commands/derive.js +143 -0
  99. package/dist/cli/commands/derive.js.map +1 -0
  100. package/dist/cli/commands/discover.d.ts +3 -0
  101. package/dist/cli/commands/discover.d.ts.map +1 -0
  102. package/dist/cli/commands/discover.js +137 -0
  103. package/dist/cli/commands/discover.js.map +1 -0
  104. package/dist/cli/commands/eval.d.ts +3 -0
  105. package/dist/cli/commands/eval.d.ts.map +1 -0
  106. package/dist/cli/commands/eval.js +64 -0
  107. package/dist/cli/commands/eval.js.map +1 -0
  108. package/dist/cli/commands/explain.d.ts +3 -0
  109. package/dist/cli/commands/explain.d.ts.map +1 -0
  110. package/dist/cli/commands/explain.js +81 -0
  111. package/dist/cli/commands/explain.js.map +1 -0
  112. package/dist/cli/commands/index.d.ts +21 -0
  113. package/dist/cli/commands/index.d.ts.map +1 -0
  114. package/dist/cli/commands/index.js +21 -0
  115. package/dist/cli/commands/index.js.map +1 -0
  116. package/dist/cli/commands/map.d.ts +3 -0
  117. package/dist/cli/commands/map.d.ts.map +1 -0
  118. package/dist/cli/commands/map.js +245 -0
  119. package/dist/cli/commands/map.js.map +1 -0
  120. package/dist/cli/commands/predict.d.ts +3 -0
  121. package/dist/cli/commands/predict.d.ts.map +1 -0
  122. package/dist/cli/commands/predict.js +54 -0
  123. package/dist/cli/commands/predict.js.map +1 -0
  124. package/dist/cli/commands/priority.d.ts +3 -0
  125. package/dist/cli/commands/priority.d.ts.map +1 -0
  126. package/dist/cli/commands/priority.js +63 -0
  127. package/dist/cli/commands/priority.js.map +1 -0
  128. package/dist/cli/commands/recover.d.ts +3 -0
  129. package/dist/cli/commands/recover.d.ts.map +1 -0
  130. package/dist/cli/commands/recover.js +51 -0
  131. package/dist/cli/commands/recover.js.map +1 -0
  132. package/dist/cli/commands/symbolic.d.ts +3 -0
  133. package/dist/cli/commands/symbolic.d.ts.map +1 -0
  134. package/dist/cli/commands/symbolic.js +110 -0
  135. package/dist/cli/commands/symbolic.js.map +1 -0
  136. package/dist/cli/errors.d.ts +14 -0
  137. package/dist/cli/errors.d.ts.map +1 -0
  138. package/dist/cli/errors.js +20 -0
  139. package/dist/cli/errors.js.map +1 -0
  140. package/dist/cli/graphs.d.ts +16 -0
  141. package/dist/cli/graphs.d.ts.map +1 -0
  142. package/dist/cli/graphs.js +30 -0
  143. package/dist/cli/graphs.js.map +1 -0
  144. package/dist/cli/main.d.ts +33 -0
  145. package/dist/cli/main.d.ts.map +1 -0
  146. package/dist/cli/main.js +219 -0
  147. package/dist/cli/main.js.map +1 -0
  148. package/dist/cli/output.d.ts +19 -0
  149. package/dist/cli/output.d.ts.map +1 -0
  150. package/dist/cli/output.js +57 -0
  151. package/dist/cli/output.js.map +1 -0
  152. package/dist/cli/version.d.ts +11 -0
  153. package/dist/cli/version.d.ts.map +1 -0
  154. package/dist/cli/version.js +16 -0
  155. package/dist/cli/version.js.map +1 -0
  156. package/dist/cli-api.d.ts +28 -0
  157. package/dist/cli-api.d.ts.map +1 -0
  158. package/dist/cli-api.js +31 -0
  159. package/dist/cli-api.js.map +1 -0
  160. package/dist/composition/bridge-analysis.d.ts +13 -15
  161. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  162. package/dist/composition/bridge-analysis.js +54 -39
  163. package/dist/composition/bridge-analysis.js.map +1 -1
  164. package/dist/composition/bridge-prediction.d.ts +4 -3
  165. package/dist/composition/bridge-prediction.d.ts.map +1 -1
  166. package/dist/composition/compose-symbolic.d.ts.map +1 -1
  167. package/dist/composition/compose-symbolic.js +12 -0
  168. package/dist/composition/compose-symbolic.js.map +1 -1
  169. package/dist/composition/discovery.d.ts.map +1 -1
  170. package/dist/composition/discovery.js +40 -12
  171. package/dist/composition/discovery.js.map +1 -1
  172. package/dist/composition/edges/_catalog-helpers.d.ts +34 -0
  173. package/dist/composition/edges/_catalog-helpers.d.ts.map +1 -0
  174. package/dist/composition/edges/_catalog-helpers.js +75 -0
  175. package/dist/composition/edges/_catalog-helpers.js.map +1 -0
  176. package/dist/composition/edges/calibration.d.ts.map +1 -1
  177. package/dist/composition/edges/calibration.js +1 -1
  178. package/dist/composition/edges/calibration.js.map +1 -1
  179. package/dist/composition/edges/catalog-condensed-matter.d.ts +64 -0
  180. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +1 -0
  181. package/dist/composition/edges/catalog-condensed-matter.js +226 -0
  182. package/dist/composition/edges/catalog-condensed-matter.js.map +1 -0
  183. package/dist/composition/edges/catalog-fields.d.ts +68 -0
  184. package/dist/composition/edges/catalog-fields.d.ts.map +1 -0
  185. package/dist/composition/edges/catalog-fields.js +206 -0
  186. package/dist/composition/edges/catalog-fields.js.map +1 -0
  187. package/dist/composition/edges/catalog-full.d.ts +5 -263
  188. package/dist/composition/edges/catalog-full.d.ts.map +1 -1
  189. package/dist/composition/edges/catalog-full.js +9 -959
  190. package/dist/composition/edges/catalog-full.js.map +1 -1
  191. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +80 -0
  192. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +1 -0
  193. package/dist/composition/edges/catalog-gravitation-cosmology.js +245 -0
  194. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +1 -0
  195. package/dist/composition/edges/catalog-quantum.d.ts +85 -0
  196. package/dist/composition/edges/catalog-quantum.d.ts.map +1 -0
  197. package/dist/composition/edges/catalog-quantum.js +252 -0
  198. package/dist/composition/edges/catalog-quantum.js.map +1 -0
  199. package/dist/composition/expr-simplify.d.ts +2 -6
  200. package/dist/composition/expr-simplify.d.ts.map +1 -1
  201. package/dist/composition/expr-simplify.js +1 -1
  202. package/dist/composition/expr-simplify.js.map +1 -1
  203. package/dist/composition/expr-subst.d.ts +2 -1
  204. package/dist/composition/expr-subst.d.ts.map +1 -1
  205. package/dist/composition/proposed-bridges.d.ts +4 -4
  206. package/dist/composition/proposed-bridges.d.ts.map +1 -1
  207. package/dist/composition/proposed-bridges.js +1 -3
  208. package/dist/composition/proposed-bridges.js.map +1 -1
  209. package/dist/composition/quantities/_dims.d.ts +35 -0
  210. package/dist/composition/quantities/_dims.d.ts.map +1 -0
  211. package/dist/composition/quantities/_dims.js +45 -0
  212. package/dist/composition/quantities/_dims.js.map +1 -0
  213. package/dist/composition/quantities/common.d.ts +69 -0
  214. package/dist/composition/quantities/common.d.ts.map +1 -0
  215. package/dist/composition/quantities/common.js +200 -0
  216. package/dist/composition/quantities/common.js.map +1 -0
  217. package/dist/composition/quantities/condensed-matter.d.ts +63 -0
  218. package/dist/composition/quantities/condensed-matter.d.ts.map +1 -0
  219. package/dist/composition/quantities/condensed-matter.js +185 -0
  220. package/dist/composition/quantities/condensed-matter.js.map +1 -0
  221. package/dist/composition/quantities/fields.d.ts +59 -0
  222. package/dist/composition/quantities/fields.d.ts.map +1 -0
  223. package/dist/composition/quantities/fields.js +171 -0
  224. package/dist/composition/quantities/fields.js.map +1 -0
  225. package/dist/composition/quantities/gravitation-cosmology.d.ts +67 -0
  226. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +1 -0
  227. package/dist/composition/quantities/gravitation-cosmology.js +199 -0
  228. package/dist/composition/quantities/gravitation-cosmology.js.map +1 -0
  229. package/dist/composition/quantities/quantum.d.ts +61 -0
  230. package/dist/composition/quantities/quantum.d.ts.map +1 -0
  231. package/dist/composition/quantities/quantum.js +178 -0
  232. package/dist/composition/quantities/quantum.js.map +1 -0
  233. package/dist/composition/quantities.d.ts +5 -263
  234. package/dist/composition/quantities.d.ts.map +1 -1
  235. package/dist/composition/quantities.js +7 -983
  236. package/dist/composition/quantities.js.map +1 -1
  237. package/dist/composition/retrodiction.d.ts.map +1 -1
  238. package/dist/composition/retrodiction.js +15 -3
  239. package/dist/composition/retrodiction.js.map +1 -1
  240. package/dist/composition/symbolic-constants.d.ts +3 -2
  241. package/dist/composition/symbolic-constants.d.ts.map +1 -1
  242. package/dist/core/tensor.d.ts +6 -0
  243. package/dist/core/tensor.d.ts.map +1 -1
  244. package/dist/core/tensor.js +6 -0
  245. package/dist/core/tensor.js.map +1 -1
  246. package/dist/diff/bridge-ast-gradient.js +1 -1
  247. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  248. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  249. package/dist/diff/bridge-gradient.js +15 -4
  250. package/dist/diff/bridge-gradient.js.map +1 -1
  251. package/dist/dimensional/algebra.d.ts +24 -0
  252. package/dist/dimensional/algebra.d.ts.map +1 -1
  253. package/dist/dimensional/algebra.js +31 -5
  254. package/dist/dimensional/algebra.js.map +1 -1
  255. package/dist/dimensional/ast-builders.d.ts +25 -0
  256. package/dist/dimensional/ast-builders.d.ts.map +1 -0
  257. package/dist/dimensional/ast-builders.js +27 -0
  258. package/dist/dimensional/ast-builders.js.map +1 -0
  259. package/dist/dimensional/ast-types.d.ts +193 -0
  260. package/dist/dimensional/ast-types.d.ts.map +1 -0
  261. package/dist/dimensional/ast-types.js +20 -0
  262. package/dist/dimensional/ast-types.js.map +1 -0
  263. package/dist/dimensional/buckingham.d.ts.map +1 -1
  264. package/dist/dimensional/buckingham.js +7 -4
  265. package/dist/dimensional/buckingham.js.map +1 -1
  266. package/dist/dimensional/connection-validators.d.ts +3 -38
  267. package/dist/dimensional/connection-validators.d.ts.map +1 -1
  268. package/dist/dimensional/connection-validators.js.map +1 -1
  269. package/dist/dimensional/connection.d.ts.map +1 -1
  270. package/dist/dimensional/connection.js +9 -0
  271. package/dist/dimensional/connection.js.map +1 -1
  272. package/dist/dimensional/curvature-composite.d.ts +2 -1
  273. package/dist/dimensional/curvature-composite.d.ts.map +1 -1
  274. package/dist/dimensional/curvature-invariants.d.ts +2 -11
  275. package/dist/dimensional/curvature-invariants.d.ts.map +1 -1
  276. package/dist/dimensional/curvature-invariants.js.map +1 -1
  277. package/dist/dimensional/curvature.d.ts +5 -24
  278. package/dist/dimensional/curvature.d.ts.map +1 -1
  279. package/dist/dimensional/curvature.js.map +1 -1
  280. package/dist/dimensional/dimension-inference.d.ts.map +1 -1
  281. package/dist/dimensional/dimension-inference.js +11 -5
  282. package/dist/dimensional/dimension-inference.js.map +1 -1
  283. package/dist/dimensional/einstein-equation.d.ts +2 -11
  284. package/dist/dimensional/einstein-equation.d.ts.map +1 -1
  285. package/dist/dimensional/einstein-equation.js.map +1 -1
  286. package/dist/dimensional/killing-validators.d.ts +2 -19
  287. package/dist/dimensional/killing-validators.d.ts.map +1 -1
  288. package/dist/dimensional/killing-validators.js.map +1 -1
  289. package/dist/dimensional/metric-validators.d.ts +5 -39
  290. package/dist/dimensional/metric-validators.d.ts.map +1 -1
  291. package/dist/dimensional/metric-validators.js.map +1 -1
  292. package/dist/dimensional/stress-energy-validators.d.ts +2 -21
  293. package/dist/dimensional/stress-energy-validators.d.ts.map +1 -1
  294. package/dist/dimensional/stress-energy-validators.js.map +1 -1
  295. package/dist/dimensional/tensor.d.ts +2 -32
  296. package/dist/dimensional/tensor.d.ts.map +1 -1
  297. package/dist/dimensional/tensor.js.map +1 -1
  298. package/dist/dimensional/validator.d.ts +12 -58
  299. package/dist/dimensional/validator.d.ts.map +1 -1
  300. package/dist/dimensional/validator.js +12 -9
  301. package/dist/dimensional/validator.js.map +1 -1
  302. package/dist/dimensional/weyl-validators.d.ts +2 -18
  303. package/dist/dimensional/weyl-validators.d.ts.map +1 -1
  304. package/dist/dimensional/weyl-validators.js.map +1 -1
  305. package/dist/numerical/be37-covariant-eikonal.d.ts +12 -11
  306. package/dist/numerical/be37-covariant-eikonal.d.ts.map +1 -1
  307. package/dist/numerical/be37-covariant-eikonal.js +23 -8
  308. package/dist/numerical/be37-covariant-eikonal.js.map +1 -1
  309. package/dist/numerical/christoffel-flat.d.ts +10 -1
  310. package/dist/numerical/christoffel-flat.d.ts.map +1 -1
  311. package/dist/numerical/christoffel-flat.js +11 -2
  312. package/dist/numerical/christoffel-flat.js.map +1 -1
  313. package/dist/numerical/curvature-lowering-helpers.d.ts +4 -1
  314. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  315. package/dist/numerical/curvature-lowering-helpers.js +72 -14
  316. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  317. package/dist/numerical/engine-registry.d.ts.map +1 -1
  318. package/dist/numerical/engine-registry.js +11 -0
  319. package/dist/numerical/engine-registry.js.map +1 -1
  320. package/dist/numerical/float64-engine.d.ts.map +1 -1
  321. package/dist/numerical/float64-engine.js +20 -28
  322. package/dist/numerical/float64-engine.js.map +1 -1
  323. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  324. package/dist/numerical/formula-dimension.js +1 -1
  325. package/dist/numerical/formula-dimension.js.map +1 -1
  326. package/dist/numerical/formula.d.ts +0 -2
  327. package/dist/numerical/formula.d.ts.map +1 -1
  328. package/dist/numerical/formula.js +7 -3
  329. package/dist/numerical/formula.js.map +1 -1
  330. package/dist/numerical/geodesic-integrator.d.ts +6 -1
  331. package/dist/numerical/geodesic-integrator.d.ts.map +1 -1
  332. package/dist/numerical/geodesic-integrator.js +14 -6
  333. package/dist/numerical/geodesic-integrator.js.map +1 -1
  334. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  335. package/dist/numerical/gl4-integrator.js +106 -43
  336. package/dist/numerical/gl4-integrator.js.map +1 -1
  337. package/dist/numerical/lowering.d.ts.map +1 -1
  338. package/dist/numerical/lowering.js +8 -5
  339. package/dist/numerical/lowering.js.map +1 -1
  340. package/dist/numerical/null-ic.d.ts +4 -3
  341. package/dist/numerical/null-ic.d.ts.map +1 -1
  342. package/dist/numerical/null-ic.js +4 -3
  343. package/dist/numerical/null-ic.js.map +1 -1
  344. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  345. package/dist/numerical/perihelion-finder.js +15 -1
  346. package/dist/numerical/perihelion-finder.js.map +1 -1
  347. package/dist/numerical/quadrature.d.ts +3 -2
  348. package/dist/numerical/quadrature.d.ts.map +1 -1
  349. package/dist/numerical/quadrature.js +8 -1
  350. package/dist/numerical/quadrature.js.map +1 -1
  351. package/dist/numerical/weyl-lowering.d.ts.map +1 -1
  352. package/dist/numerical/weyl-lowering.js +28 -2
  353. package/dist/numerical/weyl-lowering.js.map +1 -1
  354. package/package.json +3 -2
  355. package/dist/canonical/entries/l1-gravity-thermo.d.ts +0 -12
  356. package/dist/canonical/entries/l1-gravity-thermo.d.ts.map +0 -1
  357. package/dist/canonical/entries/l1-gravity-thermo.js +0 -165
  358. package/dist/canonical/entries/l1-gravity-thermo.js.map +0 -1
  359. package/dist/canonical/entries/l1-quantum-em.d.ts +0 -10
  360. package/dist/canonical/entries/l1-quantum-em.d.ts.map +0 -1
  361. package/dist/canonical/entries/l1-quantum-em.js +0 -141
  362. package/dist/canonical/entries/l1-quantum-em.js.map +0 -1
@@ -28,967 +28,17 @@
28
28
  *
29
29
  * @module composition/edges/catalog-full
30
30
  */
31
- import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
32
- import { evaluateEinsteinTrace } from '../../bridges/equations/be-13-einstein-trace.js';
33
- import { evaluateCoarseningLength } from '../../bridges/equations/be-15-emergence.js';
34
- import { evaluateBE17SpinDensitySquared } from '../../bridges/equations/be-17-einstein-cartan.js';
35
- import { evaluateHiggsMass } from '../../bridges/equations/be-18-higgs-mass.js';
36
- import { evaluateCosmologicalConstantDensity } from '../../bridges/equations/be-20-vacuum-energy.js';
37
- import { evaluateTEE } from '../../bridges/equations/be-22-topological-entanglement.js';
38
- import { evaluateSYKResistivity } from '../../bridges/equations/be-23-syk-planckian.js';
39
- import { evaluateFRETEfficiency } from '../../bridges/equations/be-24-foerster-fret.js';
40
- import { evaluateIntrinsicInformation } from '../../bridges/equations/be-25-iit-phi.js';
41
- import { evaluateDNATunneling } from '../../bridges/equations/be-26-dna-tunneling.js';
42
- import { evaluateEffectiveTemperature } from '../../bridges/equations/be-27-effective-temperature.js';
43
- import { evaluateFLMFirstLaw } from '../../bridges/equations/be-30-flm-first-law.js';
44
- import { evaluateBenincasaDowker } from '../../bridges/equations/be-31-causal-set-bd.js';
45
- import { evaluateHertzMillis } from '../../bridges/equations/be-33-hertz-millis.js';
46
- import { evaluateKibbleZurek } from '../../bridges/equations/be-34-kibble-zurek.js';
47
- import { evaluateGWSpeedRatio } from '../../bridges/equations/be-36-gw-speed-bound.js';
48
- import { evaluateMONDForce } from '../../bridges/equations/be-38-mond.js';
49
- import { evaluateBetaG } from '../../bridges/equations/be-39-asymptotic-safety.js';
50
- import { evaluateSwampland } from '../../bridges/equations/be-41-swampland.js';
51
- import { evaluateEREPRBound } from '../../bridges/equations/be-43-er-epr.js';
52
- import { evaluateTCC } from '../../bridges/equations/be-45-tcc.js';
53
- import { evaluateWeinbergVilenkinP } from '../../bridges/equations/be-46-multiverse-measure.js';
54
- import { evaluateBBNDark } from '../../bridges/equations/be-47-bbn-dark-sector.js';
55
- import { evaluateQuantumDarwinism } from '../../bridges/equations/be-49-quantum-darwinism.js';
56
- import { evaluateWFTimeSymmetry } from '../../bridges/equations/be-50-wheeler-feynman.js';
57
- import { LENGTH, TEMPERATURE, DIMENSIONLESS } from '../../dimensional/types.js';
58
- import { activeNoiseEnergyQ, advancedFieldAmplitudeQ, anthropicModelParameterQ, anthropicProbabilityQ, areaLawCoefficientQ, attemptFrequencyQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ, boundaryLengthQ, carrierDensityQ, causalSetCount0Q, causalSetCount1Q, causalSetCount2Q, causalSetCount3Q, coarseningLengthQ, conditionalProbabilityQ, cosmologicalConstantCurvatureQ, cosmologicalConstantDimensionlessQ, couplingPrefactorSquaredQ, darkFermionMassQ, darkReactionRateCoefficientQ, darkSpeciesDensityQ, darwinismDecayExponentQ, darwinismMagnitudeQ, decoherenceRateQ, defectDensityQ, defectRestMassQ, donorAcceptorDistanceQ, dynamicExponentZQ, effectiveMassQ, effectiveTemperatureQ, entanglementEntropyVariationQ, foersterRadiusQ, fragmentCountQ, fragmentMutualInformationQ, fretEfficiencyQ, gravitationalWaveSpeedQ, gwPhotonSpeedRatioQ, hubbleRateQ, inflationHubbleEnergyQ, intrinsicInformationQ, lambdaMassDensityQ, landscapeParameterQ, marginalProbabilityQ, maxEfoldsQ, measureNormalizationQ, microscopicRelaxationTimeQ, modelAMobilityQ, modularHamiltonianVariationQ, mondAccelerationScaleQ, mondForceQ, mutationRateQ, massQ, neutronDensityQ, newtonCouplingBetaQ, newtonCouplingQ, newtonianForceQ, nucleonYieldDensityQ, nucleonYieldRateQ, planckLengthQ, planckMassEnergyQ, planckMassQ, protonDensityQ, quantumCorrelationLengthQ, quenchTimescaleQ, referenceCorrelationLengthQ, referenceCouplingQ, referenceMassQ, referenceTemperatureQ, reheatingTemperatureQ, relaxationRateQ, residualResistivityQ, resistivityQ, retardedFieldAmplitudeQ, ricciScalarQ, scalarFieldReferenceQ, scalarFieldValueQ, smReactionRateCoefficientQ, spatialDimensionQ, spinDensitySquaredQ, staticExponentNuQ, stressEnergyTraceQ, subsystemEntanglementEntropyQ, swamplandCoefficientQ, swamplandTowerMassQ, sykCoefficientQ, systemEnvironmentCouplingQ, tccCorrectionCoefficientQ, temperatureQ, tensorToScalarRatioQ, timeQ, timeSymmetryResidualQ, topologicalEntanglementEntropyQ, torsionContractionScalarQ, totalMutualInformationQ, transferEfficiencyQ, truncationCoefficientAQ, truncationCoefficientBQ, truncationCoefficientCQ, tunnelingMassQ, vacuumExpectationValueQ, wormholeCrossSectionAreaQ, wormholeEntanglementEntropyQ, yukawaCouplingQ, } from '../quantities.js';
59
- const isFin = Number.isFinite;
60
- // --- Symbolic forms (v0.24 — clean-monomial bridges for the identity-consequence
61
- // surfacer). Leaves are source-quantity names + CONSTANTS tokens; dims match the
62
- // Quantity/CONSTANTS dim. Drift-guarded against `evaluate` in
63
- // symbolic-composition.test.ts (SYMBOLIC_EDGES). ---
64
- const symN = (name, dim) => ({ kind: 'symbol', name, dim });
65
- const ENERGY_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
66
- const VELOCITY_DIM = { L: 1, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
67
- const GRAV_DIM = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
68
- const LAMBDA_CURV_DIM = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
69
- /** m_dark = yukawa-coupling · vacuum-expectation-value (g·v). */
70
- const BE18_SYMBOLIC = {
71
- kind: 'op',
72
- op: '*',
73
- args: [symN('yukawa-coupling', DIMENSIONLESS), symN('vacuum-expectation-value', ENERGY_DIM)],
74
- };
75
- /** ρ_Λ = c²·cosmological-constant-curvature / (8π·G). */
76
- const BE20_SYMBOLIC = {
77
- kind: 'op',
78
- op: '/',
79
- args: [
80
- {
81
- kind: 'op',
82
- op: '*',
83
- args: [
84
- { kind: 'op', op: '^', args: [symN('c', VELOCITY_DIM), symN('2', DIMENSIONLESS)] },
85
- symN('cosmological-constant-curvature', LAMBDA_CURV_DIM),
86
- ],
87
- },
88
- { kind: 'op', op: '*', args: [symN('8pi', DIMENSIONLESS), symN('G', GRAV_DIM)] },
89
- ],
90
- };
91
- /**
92
- * BE-11 canonical decoherence master rate (Caldeira-Leggett weak-coupling
93
- * form): (relaxation-rate, system-environment-coupling, reference-coupling) →
94
- * γ_k = γ_0 (λ/λ_0)². Wraps `evaluateDecoherenceRate` (γ_0 in s⁻¹, λ/λ_0 in
95
- * any consistent unit; returns s⁻¹). DISTINCT from {@link be11ZurekEdge}: that
96
- * one is the SPATIAL specialization (λ₀ = thermal de Broglie wavelength); this
97
- * is the bare coupling-ratio master rate. Both wrap the same evaluator but on
98
- * different source quantities.
99
- *
100
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
101
- * export for the 26-edge tranche — root-surface budget decision).
102
- */
103
- export const be11Edge = {
104
- id: 'be-11-master',
105
- beId: 11,
106
- kind: 'bridge',
107
- label: 'Decoherence master rate γ_k = γ_0 (λ/λ_0)²',
108
- sources: [relaxationRateQ, systemEnvironmentCouplingQ, referenceCouplingQ],
109
- target: decoherenceRateQ,
110
- confidence: 'established',
111
- domain: {
112
- description: 'γ_0 ≥ 0, λ finite, λ_0 > 0',
113
- predicate: (i) => isFin(i['relaxation-rate']) &&
114
- i['relaxation-rate'] >= 0 &&
115
- isFin(i['system-environment-coupling']) &&
116
- isFin(i['reference-coupling']) &&
117
- i['reference-coupling'] > 0,
118
- },
119
- evaluate: (i) => evaluateDecoherenceRate({
120
- gamma0_per_s: i['relaxation-rate'],
121
- lambda: i['system-environment-coupling'],
122
- lambda0: i['reference-coupling'],
123
- }),
124
- citation: 'Caldeira & Leggett 1983 Physica A 121:587; Lindblad 1976 CMP 48:119',
125
- };
126
- /**
127
- * BE-13 trace of Einstein equations: (cosmological-constant-curvature,
128
- * stress-energy-trace) → R = 4Λ − (8πG/c⁴) T. Wraps `evaluateEinsteinTrace`
129
- * (Λ in m⁻², T in J/m³; returns R in m⁻²). Shares the `ricci-scalar` target
130
- * with {@link be31Edge}.
131
- *
132
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
133
- * export for the 26-edge tranche — root-surface budget decision).
134
- */
135
- export const be13Edge = {
136
- id: 'be-13',
137
- beId: 13,
138
- kind: 'bridge',
139
- label: 'Einstein trace R = 4Λ − (8πG/c⁴) T',
140
- sources: [cosmologicalConstantCurvatureQ, stressEnergyTraceQ],
141
- target: ricciScalarQ,
142
- confidence: 'speculative',
143
- domain: {
144
- description: 'Λ and T finite (all SI)',
145
- predicate: (i) => isFin(i['cosmological-constant-curvature']) &&
146
- isFin(i['stress-energy-trace']),
147
- },
148
- evaluate: (i) => evaluateEinsteinTrace({
149
- Lambda_per_m2: i['cosmological-constant-curvature'],
150
- T_trace_J_per_m3: i['stress-energy-trace'],
151
- }),
152
- citation: 'Jacobson 1995 PRL 75:1260; MTW Gravitation §17.4',
153
- };
154
- /**
155
- * BE-15 Kawasaki-Gunton coarsening length: (model-a-mobility, time) →
156
- * L(t) = √(Γ t). Wraps `evaluateCoarseningLength` (Γ in m²/s, t in s; returns
157
- * m). Endpoints differ in `scale` (microscale kinetic coefficient → emergent
158
- * correlation length): a bridge.
159
- *
160
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
161
- * export for the 26-edge tranche — root-surface budget decision).
162
- */
163
- export const be15Edge = {
164
- id: 'be-15',
165
- beId: 15,
166
- kind: 'bridge',
167
- label: 'Model A coarsening length L(t) = √(Γ t)',
168
- sources: [modelAMobilityQ, timeQ],
169
- target: coarseningLengthQ,
170
- confidence: 'speculative',
171
- domain: {
172
- description: 'Γ > 0 and t > 0 (all SI)',
173
- predicate: (i) => isFin(i['model-a-mobility']) &&
174
- i['model-a-mobility'] > 0 &&
175
- isFin(i['time']) &&
176
- i['time'] > 0,
177
- },
178
- evaluate: (i) => evaluateCoarseningLength({ gamma: i['model-a-mobility'], t: i['time'] }),
179
- citation: 'Kawasaki & Gunton 1976 PRA 13:2294; Hohenberg & Halperin 1977 RMP 49:435',
180
- };
181
- /**
182
- * BE-17 Einstein-Cartan torsion-spin squared invariant:
183
- * (einstein-coupling-prefactor-squared, torsion-contraction-scalar) →
184
- * S²_spin = (c⁴/8πG)² · T_λμν T^λμν. Wraps `evaluateBE17SpinDensitySquared`
185
- * (prefactor in [M²L²T⁻⁴], contraction in [T²L⁻⁴]; returns [M²L⁻²T⁻²]).
186
- *
187
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
188
- * export for the 26-edge tranche — root-surface budget decision).
189
- */
190
- export const be17Edge = {
191
- id: 'be-17',
192
- beId: 17,
193
- kind: 'bridge',
194
- label: 'Einstein-Cartan S²_spin = (c⁴/8πG)² · T·T',
195
- sources: [couplingPrefactorSquaredQ, torsionContractionScalarQ],
196
- target: spinDensitySquaredQ,
197
- confidence: 'speculative',
198
- domain: {
199
- description: 'prefactor finite, torsion contraction ≥ 0 (sum of squares)',
200
- predicate: (i) => isFin(i['einstein-coupling-prefactor-squared']) &&
201
- isFin(i['torsion-contraction-scalar']) &&
202
- i['torsion-contraction-scalar'] >= 0,
203
- },
204
- evaluate: (i) => evaluateBE17SpinDensitySquared({
205
- coupling_prefactor_squared: i['einstein-coupling-prefactor-squared'],
206
- torsion_squared: i['torsion-contraction-scalar'],
207
- }),
208
- citation: 'Hehl et al. 1976 RMP 48:393; Cartan 1922 C. R. Acad. Sci. 174:593',
209
- };
210
- /**
211
- * BE-18 Higgs-like dark mass generation: (yukawa-coupling,
212
- * vacuum-expectation-value) → m_dark = g_dark · v_dark (natural units;
213
- * mass-as-energy). Wraps `evaluateHiggsMass` (g dimensionless, v in GeV;
214
- * returns GeV).
215
- *
216
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
217
- * export for the 26-edge tranche — root-surface budget decision).
218
- */
219
- export const be18Edge = {
220
- id: 'be-18',
221
- beId: 18,
222
- kind: 'bridge',
223
- label: 'Higgs-like dark mass m_dark = g_dark · v_dark',
224
- sources: [yukawaCouplingQ, vacuumExpectationValueQ],
225
- target: darkFermionMassQ,
226
- confidence: 'speculative',
227
- domain: {
228
- description: 'g_dark and v_dark finite',
229
- predicate: (i) => isFin(i['yukawa-coupling']) && isFin(i['vacuum-expectation-value']),
230
- },
231
- evaluate: (i) => evaluateHiggsMass({
232
- g_dark: i['yukawa-coupling'],
233
- v_dark_GeV: i['vacuum-expectation-value'],
234
- }),
235
- symbolic: BE18_SYMBOLIC,
236
- citation: 'Peskin & Schroeder 1995 QFT §20.1',
237
- };
238
- /**
239
- * BE-20 cosmological-constant mass density:
240
- * cosmological-constant-curvature → ρ_Λ = c² Λ / (8πG). Wraps
241
- * `evaluateCosmologicalConstantDensity` (Λ in m⁻²; returns kg/m³). Reuses the
242
- * BE-13/BE-31 `cosmological-constant-curvature` source node (the same Λ in
243
- * [L⁻²]).
244
- *
245
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
246
- * export for the 26-edge tranche — root-surface budget decision).
247
- */
248
- export const be20Edge = {
249
- id: 'be-20',
250
- beId: 20,
251
- kind: 'bridge',
252
- label: 'Cosmological-constant density ρ_Λ = c² Λ / (8πG)',
253
- sources: [cosmologicalConstantCurvatureQ],
254
- target: lambdaMassDensityQ,
255
- confidence: 'speculative',
256
- domain: {
257
- description: 'Λ ≥ 0 and finite (m⁻²)',
258
- predicate: (i) => isFin(i['cosmological-constant-curvature']) &&
259
- i['cosmological-constant-curvature'] >= 0,
260
- },
261
- evaluate: (i) => evaluateCosmologicalConstantDensity({
262
- Lambda_per_m2: i['cosmological-constant-curvature'],
263
- }),
264
- symbolic: BE20_SYMBOLIC,
265
- citation: 'Carroll 2001 Living Rev. Relativity 4:1; Planck 2020 A&A 641:A6',
266
- };
267
- /**
268
- * BE-22 topological entanglement entropy: (area-law-coefficient,
269
- * boundary-length, topological-entanglement-entropy) → S(R) = α·L − γ (nats).
270
- * Wraps `evaluateTEE` (α in m⁻¹, L in m, γ in nats; returns nats).
271
- *
272
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
273
- * export for the 26-edge tranche — root-surface budget decision).
274
- */
275
- export const be22Edge = {
276
- id: 'be-22',
277
- beId: 22,
278
- kind: 'bridge',
279
- label: 'Topological entanglement entropy S(R) = α·L − γ',
280
- sources: [areaLawCoefficientQ, boundaryLengthQ, topologicalEntanglementEntropyQ],
281
- target: subsystemEntanglementEntropyQ,
282
- confidence: 'speculative',
283
- domain: {
284
- description: 'α finite, L ≥ 0, γ finite',
285
- predicate: (i) => isFin(i['area-law-coefficient']) &&
286
- isFin(i['boundary-length']) &&
287
- i['boundary-length'] >= 0 &&
288
- isFin(i['topological-entanglement-entropy']),
289
- },
290
- evaluate: (i) => evaluateTEE({
291
- alpha_per_meter: i['area-law-coefficient'],
292
- perimeter_m: i['boundary-length'],
293
- gamma: i['topological-entanglement-entropy'],
294
- }),
295
- citation: 'Kitaev & Preskill 2006 PRL 96:110404; Levin & Wen 2006 PRL 96:110405',
296
- };
297
- /**
298
- * BE-23 SYK Planckian resistivity: (residual-resistivity, effective-mass,
299
- * carrier-density, temperature, syk-coefficient) →
300
- * ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK. Wraps `evaluateSYKResistivity`
301
- * (SI; returns Ω·m). Uses `effective-mass` (carrier band mass), DISTINCT from
302
- * the gravitational `mass` node — the namespacing gate in action. Reuses the
303
- * canonical `temperature` node.
304
- *
305
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
306
- * export for the 26-edge tranche — root-surface budget decision).
307
- */
308
- export const be23Edge = {
309
- id: 'be-23',
310
- beId: 23,
311
- kind: 'bridge',
312
- label: 'SYK Planckian resistivity ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ)·α_SYK',
313
- sources: [residualResistivityQ, effectiveMassQ, carrierDensityQ, temperatureQ, sykCoefficientQ],
314
- target: resistivityQ,
315
- confidence: 'speculative',
316
- domain: {
317
- description: 'ρ_0 ≥ 0, m* > 0, n_e > 0, T ≥ 0, α_SYK finite',
318
- predicate: (i) => isFin(i['residual-resistivity']) &&
319
- i['residual-resistivity'] >= 0 &&
320
- isFin(i['effective-mass']) &&
321
- i['effective-mass'] > 0 &&
322
- isFin(i['carrier-density']) &&
323
- i['carrier-density'] > 0 &&
324
- isFin(i['temperature']) &&
325
- i['temperature'] >= 0 &&
326
- isFin(i['syk-coefficient']),
327
- },
328
- evaluate: (i) => evaluateSYKResistivity({
329
- rho_0: i['residual-resistivity'],
330
- m_star_kg: i['effective-mass'],
331
- n_e_per_m3: i['carrier-density'],
332
- T_K: i['temperature'],
333
- alpha_SYK: i['syk-coefficient'],
334
- }),
335
- citation: 'Sachdev & Ye 1993 PRL 70:3339; Hartnoll 2015 Nature Phys. 11:54',
336
- };
337
- /**
338
- * BE-24 Förster FRET efficiency: (donor-acceptor-distance, foerster-radius) →
339
- * η = R_0⁶/(R_0⁶ + R⁶). Wraps `evaluateFRETEfficiency` (R, R_0 in m; returns
340
- * dimensionless ∈ [0,1]).
341
- *
342
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
343
- * export for the 26-edge tranche — root-surface budget decision).
344
- */
345
- export const be24Edge = {
346
- id: 'be-24',
347
- beId: 24,
348
- kind: 'bridge',
349
- label: 'FRET efficiency η = R_0⁶/(R_0⁶ + R⁶)',
350
- sources: [donorAcceptorDistanceQ, foersterRadiusQ],
351
- target: fretEfficiencyQ,
352
- confidence: 'speculative',
353
- domain: {
354
- description: 'R > 0 and R_0 > 0',
355
- predicate: (i) => isFin(i['donor-acceptor-distance']) &&
356
- i['donor-acceptor-distance'] > 0 &&
357
- isFin(i['foerster-radius']) &&
358
- i['foerster-radius'] > 0,
359
- },
360
- evaluate: (i) => evaluateFRETEfficiency({
361
- R: i['donor-acceptor-distance'],
362
- R_0: i['foerster-radius'],
363
- }),
364
- citation: 'Förster 1948 Ann. Phys. 437:55; Lakowicz 2006 Princ. Fluoresc. Spectrosc. Ch.13',
365
- };
366
- /**
367
- * BE-25 IIT intrinsic information (the IIT module, NOT orch-or):
368
- * (conditional-probability, marginal-probability) → ii = p_cond·log₂(p_cond/p_marg).
369
- * Wraps `evaluateIntrinsicInformation` (both ∈ [0,1]; returns bits). Note the
370
- * evaluator throws RangeError on the KL singularity p_cond>0, p_marg=0; the
371
- * domain rejects that case so `evaluateEdge` surfaces a DomainViolationError
372
- * instead.
373
- *
374
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
375
- * export for the 26-edge tranche — root-surface budget decision).
376
- */
377
- export const be25Edge = {
378
- id: 'be-25',
379
- beId: 25,
380
- kind: 'bridge',
381
- label: 'IIT intrinsic information ii = p(s̃|s)·log₂[p(s̃|s)/p(s̃)]',
382
- sources: [conditionalProbabilityQ, marginalProbabilityQ],
383
- target: intrinsicInformationQ,
384
- confidence: 'speculative',
385
- domain: {
386
- description: 'p_cond, p_marg ∈ [0,1]; not (p_cond>0 and p_marg=0) (KL singularity)',
387
- predicate: (i) => {
388
- const pc = i['conditional-probability'];
389
- const pm = i['marginal-probability'];
390
- if (!isFin(pc) || pc < 0 || pc > 1)
391
- return false;
392
- if (!isFin(pm) || pm < 0 || pm > 1)
393
- return false;
394
- if (pc > 0 && pm === 0)
395
- return false;
396
- return true;
397
- },
398
- },
399
- evaluate: (i) => evaluateIntrinsicInformation({
400
- p_cond: i['conditional-probability'],
401
- p_marg: i['marginal-probability'],
402
- }),
403
- citation: 'Tononi 2008 Biol. Bull. 215:216; Oizumi, Albantakis & Tononi 2014 PLoS Comput. Biol. 10:e1003588',
404
- };
405
- /**
406
- * BE-26 DNA mutation tunneling rate: (attempt-frequency, tunneling-mass,
407
- * barrier-height, barrier-width, biological-rate-correction) →
408
- * Γ = ν₀ exp[−(2/ℏ)√(2m(V−E))·L]·f. Wraps `evaluateDNATunneling` (SI; returns
409
- * s⁻¹). `tunneling-mass` is the proton mass, DISTINCT from gravitational `mass`.
410
- *
411
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
412
- * export for the 26-edge tranche — root-surface budget decision).
413
- */
414
- export const be26Edge = {
415
- id: 'be-26',
416
- beId: 26,
417
- kind: 'bridge',
418
- label: 'DNA tunneling Γ = ν₀ exp[−(2/ℏ)√(2m(V−E))·L]·f',
419
- sources: [attemptFrequencyQ, tunnelingMassQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ],
420
- target: mutationRateQ,
421
- // Catalog index status: field is authoritative (CLAUDE.md). BE-26's
422
- // module docstring says 'established' but the registry pins 'speculative'.
423
- confidence: 'speculative',
424
- domain: {
425
- description: 'ν₀ ≥ 0, m > 0, V−E ≥ 0, barrier-width > 0, f finite',
426
- predicate: (i) => isFin(i['attempt-frequency']) &&
427
- i['attempt-frequency'] >= 0 &&
428
- isFin(i['tunneling-mass']) &&
429
- i['tunneling-mass'] > 0 &&
430
- isFin(i['barrier-height']) &&
431
- i['barrier-height'] >= 0 &&
432
- isFin(i['barrier-width']) &&
433
- i['barrier-width'] > 0 &&
434
- isFin(i['biological-rate-correction']),
435
- },
436
- evaluate: (i) => evaluateDNATunneling({
437
- nu_0: i['attempt-frequency'],
438
- m: i['tunneling-mass'],
439
- V_minus_E: i['barrier-height'],
440
- barrier_width: i['barrier-width'],
441
- f_correction: i['biological-rate-correction'],
442
- }),
443
- citation: 'Löwdin 1963 Adv. Quantum Chem. 2:213; Gamow 1928',
444
- };
445
- /**
446
- * BE-27 Cugliandolo-Kurchan effective temperature: (temperature,
447
- * active-noise-energy) → T_eff = T(1 + Σ_active/(k_B T)). Wraps
448
- * `evaluateEffectiveTemperature` (T in K, Σ in J; returns K). Reuses the
449
- * canonical `temperature` node.
450
- *
451
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
452
- * export for the 26-edge tranche — root-surface budget decision).
453
- */
454
- export const be27Edge = {
455
- id: 'be-27',
456
- beId: 27,
457
- kind: 'bridge',
458
- label: 'Effective temperature T_eff = T(1 + Σ_active/(k_B T))',
459
- sources: [temperatureQ, activeNoiseEnergyQ],
460
- target: effectiveTemperatureQ,
461
- confidence: 'speculative',
462
- domain: {
463
- description: 'T > 0 and Σ_active finite',
464
- predicate: (i) => isFin(i['temperature']) &&
465
- i['temperature'] > 0 &&
466
- isFin(i['active-noise-energy']),
467
- },
468
- evaluate: (i) => evaluateEffectiveTemperature({
469
- T_K: i['temperature'],
470
- Sigma_active_J: i['active-noise-energy'],
471
- }),
472
- citation: 'Cugliandolo & Kurchan 1993 J. Phys. A 26:L401',
473
- };
474
- /**
475
- * BE-30 FLM first law of entanglement entropy: modular-hamiltonian-variation →
476
- * δS_EE = δ⟨H_R⟩. Wraps `evaluateFLMFirstLaw` (nats; tautological identity).
477
- *
478
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
479
- * export for the 26-edge tranche — root-surface budget decision).
480
- */
481
- export const be30Edge = {
482
- id: 'be-30',
483
- beId: 30,
484
- kind: 'bridge',
485
- label: 'FLM first law δS_EE = δ⟨H_R⟩',
486
- sources: [modularHamiltonianVariationQ],
487
- target: entanglementEntropyVariationQ,
488
- confidence: 'speculative',
489
- domain: {
490
- description: 'δ⟨H_R⟩ finite (nats)',
491
- predicate: (i) => isFin(i['modular-hamiltonian-variation']),
492
- },
493
- evaluate: (i) => evaluateFLMFirstLaw({ delta_avg_H_R: i['modular-hamiltonian-variation'] }),
494
- citation: 'Faulkner, Lewkowycz & Maldacena 2013 JHEP 11:074; Blanco et al. 2013 JHEP 08:060',
495
- };
496
- /**
497
- * BE-31 Benincasa-Dowker discrete Ricci scalar (d=4): (causal-set-count-0..3,
498
- * planck-length) → R(p) = (4/√6)ℓ_P⁻²·[1 + N_0 − 9N_1 + 16N_2 − 8N_3]. Wraps
499
- * `evaluateBenincasaDowker` (N_k dimensionless, ℓ_P in m; returns m⁻²). Shares
500
- * the `ricci-scalar` target with {@link be13Edge}.
501
- *
502
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
503
- * export for the 26-edge tranche — root-surface budget decision).
504
- */
505
- export const be31Edge = {
506
- id: 'be-31',
507
- beId: 31,
508
- kind: 'bridge',
509
- label: 'Benincasa-Dowker R(p) = (4/√6)ℓ_P⁻²·[1+N_0−9N_1+16N_2−8N_3]',
510
- sources: [causalSetCount0Q, causalSetCount1Q, causalSetCount2Q, causalSetCount3Q, planckLengthQ],
511
- target: ricciScalarQ,
512
- confidence: 'speculative',
513
- domain: {
514
- description: 'N_0..N_3 finite, ℓ_P > 0',
515
- predicate: (i) => isFin(i['causal-set-count-0']) &&
516
- isFin(i['causal-set-count-1']) &&
517
- isFin(i['causal-set-count-2']) &&
518
- isFin(i['causal-set-count-3']) &&
519
- isFin(i['planck-length']) &&
520
- i['planck-length'] > 0,
521
- },
522
- evaluate: (i) => evaluateBenincasaDowker({
523
- N_0: i['causal-set-count-0'],
524
- N_1: i['causal-set-count-1'],
525
- N_2: i['causal-set-count-2'],
526
- N_3: i['causal-set-count-3'],
527
- l_P_m: i['planck-length'],
528
- }),
529
- citation: 'Benincasa & Dowker 2010 PRL 104:181301',
530
- };
531
- /**
532
- * BE-33 Hertz-Millis correlation length: (reference-correlation-length,
533
- * temperature, reference-temperature, static-exponent-nu, dynamic-exponent-z) →
534
- * ξ(T) = ξ_0 (T/T_0)^(−1/z). Wraps `evaluateHertzMillis` (SI; returns m). The
535
- * evaluator's `nu` is retained for API stability but does not enter the
536
- * formula. Reuses the canonical `temperature` node.
537
- *
538
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
539
- * export for the 26-edge tranche — root-surface budget decision).
540
- */
541
- /**
542
- * Faithful Hertz-Millis correlation length ξ_0·(T/T_0)^(−1/z) as a composition
543
- * `symbolic` form (v0.13 — symbolic exponents). The exponent −1/z is
544
- * input-dependent on the DIMENSIONLESS base T/T_0, which the literal-exponent
545
- * grammar could not express (the catalog AST `BE33_HERTZ_MILLIS_RHS` pins z=1
546
- * with a literal `^(-1)`; it is left UNCHANGED). Leaves are graph-quantity
547
- * names; drift-guarded against `evaluateHertzMillis`. BE-33 composes with
548
- * nothing — this is a demonstration of the now-expressible faithful encoding.
549
- */
550
- const BE33_HERTZ_MILLIS_SYMBOLIC = {
551
- kind: 'op',
552
- op: '*',
553
- args: [
554
- symN('reference-correlation-length', LENGTH),
555
- {
556
- kind: 'op',
557
- op: '^',
558
- args: [
559
- { kind: 'op', op: '/', args: [symN('temperature', TEMPERATURE), symN('reference-temperature', TEMPERATURE)] },
560
- { kind: 'op', op: '/', args: [symN('-1', DIMENSIONLESS), symN('dynamic-exponent-z', DIMENSIONLESS)] },
561
- ],
562
- },
563
- ],
564
- };
565
- export const be33Edge = {
566
- id: 'be-33',
567
- beId: 33,
568
- kind: 'bridge',
569
- label: 'Hertz-Millis correlation length ξ(T) = ξ_0 (T/T_0)^(−1/z)',
570
- sources: [referenceCorrelationLengthQ, temperatureQ, referenceTemperatureQ, staticExponentNuQ, dynamicExponentZQ],
571
- target: quantumCorrelationLengthQ,
572
- confidence: 'speculative',
573
- domain: {
574
- description: 'ξ_0 > 0, T > 0, T_0 > 0, ν finite, z ≠ 0',
575
- predicate: (i) => isFin(i['reference-correlation-length']) &&
576
- i['reference-correlation-length'] > 0 &&
577
- isFin(i['temperature']) &&
578
- i['temperature'] > 0 &&
579
- isFin(i['reference-temperature']) &&
580
- i['reference-temperature'] > 0 &&
581
- isFin(i['static-exponent-nu']) &&
582
- isFin(i['dynamic-exponent-z']) &&
583
- i['dynamic-exponent-z'] !== 0,
584
- },
585
- evaluate: (i) => evaluateHertzMillis({
586
- xi_0_m: i['reference-correlation-length'],
587
- T_K: i['temperature'],
588
- T_0_K: i['reference-temperature'],
589
- nu: i['static-exponent-nu'],
590
- z: i['dynamic-exponent-z'],
591
- }),
592
- symbolic: BE33_HERTZ_MILLIS_SYMBOLIC,
593
- citation: 'Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183; Sachdev 2011 QPT 2nd ed. Ch.11',
594
- };
595
- /**
596
- * BE-34 Kibble-Zurek defect density: (quench-timescale,
597
- * microscopic-relaxation-time, spatial-dimension, static-exponent-nu,
598
- * dynamic-exponent-z, defect-rest-mass, reheating-temperature) →
599
- * n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/(k_B T_reh)). Wraps `evaluateKibbleZurek`
600
- * (SI; returns dimensionless). Reuses BE-33's `static-exponent-nu` and
601
- * `dynamic-exponent-z` nodes (same critical exponents).
602
- *
603
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
604
- * export for the 26-edge tranche — root-surface budget decision).
605
- */
606
- export const be34Edge = {
607
- id: 'be-34',
608
- beId: 34,
609
- kind: 'bridge',
610
- label: 'Kibble-Zurek n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/k_B T_reh)',
611
- sources: [
612
- quenchTimescaleQ,
613
- microscopicRelaxationTimeQ,
614
- spatialDimensionQ,
615
- staticExponentNuQ,
616
- dynamicExponentZQ,
617
- defectRestMassQ,
618
- reheatingTemperatureQ,
619
- ],
620
- target: defectDensityQ,
621
- confidence: 'established',
622
- domain: {
623
- description: 'τ_Q>0, τ_0>0, d/ν/z finite, m_defect≥0, T_reh>0, 1+zν≠0',
624
- predicate: (i) => isFin(i['quench-timescale']) &&
625
- i['quench-timescale'] > 0 &&
626
- isFin(i['microscopic-relaxation-time']) &&
627
- i['microscopic-relaxation-time'] > 0 &&
628
- isFin(i['spatial-dimension']) &&
629
- isFin(i['static-exponent-nu']) &&
630
- isFin(i['dynamic-exponent-z']) &&
631
- isFin(i['defect-rest-mass']) &&
632
- i['defect-rest-mass'] >= 0 &&
633
- isFin(i['reheating-temperature']) &&
634
- i['reheating-temperature'] > 0 &&
635
- 1 + i['dynamic-exponent-z'] * i['static-exponent-nu'] !== 0,
636
- },
637
- evaluate: (i) => evaluateKibbleZurek({
638
- tau_Q: i['quench-timescale'],
639
- tau_0: i['microscopic-relaxation-time'],
640
- d: i['spatial-dimension'],
641
- nu: i['static-exponent-nu'],
642
- z: i['dynamic-exponent-z'],
643
- m_defect: i['defect-rest-mass'],
644
- T_reh: i['reheating-temperature'],
645
- }),
646
- citation: 'Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505',
647
- };
648
- /**
649
- * BE-36 GW170817 graviton-photon speed ratio: gravitational-wave-speed →
650
- * (c_GW − c)/c. Wraps `evaluateGWSpeedRatio` (c_GW in m/s; returns
651
- * dimensionless signed ratio).
652
- *
653
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
654
- * export for the 26-edge tranche — root-surface budget decision).
655
- */
656
- export const be36Edge = {
657
- id: 'be-36',
658
- beId: 36,
659
- kind: 'bridge',
660
- label: 'GW170817 speed ratio (c_GW − c)/c',
661
- sources: [gravitationalWaveSpeedQ],
662
- target: gwPhotonSpeedRatioQ,
663
- confidence: 'speculative',
664
- domain: {
665
- description: 'c_GW > 0 and finite',
666
- predicate: (i) => isFin(i['gravitational-wave-speed']) &&
667
- i['gravitational-wave-speed'] > 0,
668
- },
669
- evaluate: (i) => evaluateGWSpeedRatio({ c_GW_m_per_s: i['gravitational-wave-speed'] }),
670
- citation: 'Abbott et al. 2017 ApJ Lett. 848:L13; Boran et al. 2018 PRD 97:041501',
671
- };
672
- /**
673
- * BE-38 Milgrom MOND force: (newtonian-force, mass, mond-acceleration-scale) →
674
- * F = F_N·ν(z), z = F_N/(m a_0). Wraps `evaluateMONDForce` (SI; returns N).
675
- * Reuses the gravitational `mass` node (the test particle's gravitational mass).
676
- *
677
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
678
- * export for the 26-edge tranche — root-surface budget decision).
679
- */
680
- export const be38Edge = {
681
- id: 'be-38',
682
- beId: 38,
683
- kind: 'bridge',
684
- label: 'MOND force F = F_N·ν(F_N/(m a_0))',
685
- sources: [newtonianForceQ, massQ, mondAccelerationScaleQ],
686
- target: mondForceQ,
687
- confidence: 'speculative',
688
- domain: {
689
- description: 'F_N > 0, m > 0, a_0 > 0',
690
- predicate: (i) => isFin(i['newtonian-force']) &&
691
- i['newtonian-force'] > 0 &&
692
- isFin(i['mass']) &&
693
- i['mass'] > 0 &&
694
- isFin(i['mond-acceleration-scale']) &&
695
- i['mond-acceleration-scale'] > 0,
696
- },
697
- evaluate: (i) => evaluateMONDForce({
698
- F_N_newton: i['newtonian-force'],
699
- m_kg: i['mass'],
700
- a_0_m_per_s2: i['mond-acceleration-scale'],
701
- }),
702
- citation: 'Milgrom 1983 ApJ 270:365; Famaey & McGaugh 2012 Living Rev. Relativity 15:10',
703
- };
704
- /**
705
- * BE-39 asymptotic-safety β_g: (newton-coupling-dimensionless,
706
- * cosmological-constant-dimensionless, truncation-coefficient-a/b/c) →
707
- * β_g = 2g + A g² + B g³ − C g²λ. Wraps `evaluateBetaG` (all dimensionless).
708
- * The module also ships `evaluateBetaLambda`; this edge wraps the β_g branch.
709
- *
710
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
711
- * export for the 26-edge tranche — root-surface budget decision).
712
- */
713
- export const be39Edge = {
714
- id: 'be-39',
715
- beId: 39,
716
- kind: 'bridge',
717
- label: 'Asymptotic safety β_g = 2g + A g² + B g³ − C g²λ',
718
- sources: [
719
- newtonCouplingQ,
720
- cosmologicalConstantDimensionlessQ,
721
- truncationCoefficientAQ,
722
- truncationCoefficientBQ,
723
- truncationCoefficientCQ,
724
- ],
725
- target: newtonCouplingBetaQ,
726
- confidence: 'speculative',
727
- domain: {
728
- description: 'g, λ, A, B, C all finite',
729
- predicate: (i) => isFin(i['newton-coupling-dimensionless']) &&
730
- isFin(i['cosmological-constant-dimensionless']) &&
731
- isFin(i['truncation-coefficient-a']) &&
732
- isFin(i['truncation-coefficient-b']) &&
733
- isFin(i['truncation-coefficient-c']),
734
- },
735
- evaluate: (i) => evaluateBetaG({
736
- g: i['newton-coupling-dimensionless'],
737
- lambda: i['cosmological-constant-dimensionless'],
738
- A: i['truncation-coefficient-a'],
739
- B: i['truncation-coefficient-b'],
740
- C: i['truncation-coefficient-c'],
741
- }),
742
- citation: 'Reuter 1998 PRD 57:971; Reuter & Weyer 2009 Gen. Rel. Grav. 41:983',
743
- };
744
- /**
745
- * BE-41 Swampland distance conjecture: (reference-mass, swampland-coefficient,
746
- * scalar-field-value, scalar-field-reference, planck-mass) →
747
- * m(φ) = m₀ exp(−α|φ−φ₀|/M_P). Wraps `evaluateSwampland` (consistent units;
748
- * returns same unit as m₀).
749
- *
750
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
751
- * export for the 26-edge tranche — root-surface budget decision).
752
- */
753
- export const be41Edge = {
754
- id: 'be-41',
755
- beId: 41,
756
- kind: 'bridge',
757
- label: 'Swampland tower mass m(φ) = m₀ exp(−α|φ−φ₀|/M_P)',
758
- sources: [referenceMassQ, swamplandCoefficientQ, scalarFieldValueQ, scalarFieldReferenceQ, planckMassQ],
759
- target: swamplandTowerMassQ,
760
- confidence: 'speculative',
761
- domain: {
762
- description: 'm₀ ≥ 0, α/φ/φ₀ finite, M_P > 0',
763
- predicate: (i) => isFin(i['reference-mass']) &&
764
- i['reference-mass'] >= 0 &&
765
- isFin(i['swampland-coefficient']) &&
766
- isFin(i['scalar-field-value']) &&
767
- isFin(i['scalar-field-reference']) &&
768
- isFin(i['planck-mass']) &&
769
- i['planck-mass'] > 0,
770
- },
771
- evaluate: (i) => evaluateSwampland({
772
- m0: i['reference-mass'],
773
- alpha: i['swampland-coefficient'],
774
- phi: i['scalar-field-value'],
775
- phi0: i['scalar-field-reference'],
776
- M_P: i['planck-mass'],
777
- }),
778
- citation: 'Ooguri & Vafa 2007 Nucl. Phys. B 766:21; Vafa 2005 (hep-th/0509212)',
779
- };
780
- /**
781
- * BE-43 ER=EPR wormhole-entropy bound: wormhole-cross-section-area →
782
- * S = k_B A / (4 ℓ_P²). Wraps `evaluateEREPRBound` (A in m²; returns J/K).
783
- * Mirrors BE-14's SI convention; uses a distinct `wormhole-*` source/target so
784
- * it does not silently fuse with the BE-14 Ryu-Takayanagi nodes (different
785
- * geometry: bulk minimal surface vs. ER bridge cross-section).
786
- *
787
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
788
- * export for the 26-edge tranche — root-surface budget decision).
789
- */
790
- export const be43Edge = {
791
- id: 'be-43',
792
- beId: 43,
793
- kind: 'bridge',
794
- label: 'ER=EPR entropy S = k_B A_wh / (4 ℓ_P²)',
795
- sources: [wormholeCrossSectionAreaQ],
796
- target: wormholeEntanglementEntropyQ,
797
- confidence: 'speculative',
798
- domain: {
799
- description: 'A_wh ≥ 0 and finite',
800
- predicate: (i) => isFin(i['wormhole-cross-section-area']) &&
801
- i['wormhole-cross-section-area'] >= 0,
802
- },
803
- evaluate: (i) => evaluateEREPRBound({ area_m2: i['wormhole-cross-section-area'] }),
804
- citation: 'Maldacena & Susskind 2013 Fortschr. Phys. 61:781; Bekenstein 1973 PRD 7:2333',
805
- };
806
- /**
807
- * BE-45 TCC max e-folds: (planck-mass-energy, inflation-hubble-energy,
808
- * tensor-to-scalar-ratio, tcc-correction-coefficient) →
809
- * N_e_max = ln(M_P/H_inf) − γ ln(r/0.01). Wraps `evaluateTCC` (M_P, H_inf in
810
- * GeV-equivalent natural units; returns dimensionless e-folds).
811
- *
812
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
813
- * export for the 26-edge tranche — root-surface budget decision).
814
- */
815
- export const be45Edge = {
816
- id: 'be-45',
817
- beId: 45,
818
- kind: 'bridge',
819
- label: 'TCC e-folds N_e_max = ln(M_P/H_inf) − γ ln(r/0.01)',
820
- sources: [planckMassEnergyQ, inflationHubbleEnergyQ, tensorToScalarRatioQ, tccCorrectionCoefficientQ],
821
- target: maxEfoldsQ,
822
- confidence: 'speculative',
823
- domain: {
824
- description: 'M_P > 0, H_inf > 0, r > 0, γ finite',
825
- predicate: (i) => isFin(i['planck-mass-energy']) &&
826
- i['planck-mass-energy'] > 0 &&
827
- isFin(i['inflation-hubble-energy']) &&
828
- i['inflation-hubble-energy'] > 0 &&
829
- isFin(i['tensor-to-scalar-ratio']) &&
830
- i['tensor-to-scalar-ratio'] > 0 &&
831
- isFin(i['tcc-correction-coefficient']),
832
- },
833
- evaluate: (i) => evaluateTCC({
834
- M_P_GeV: i['planck-mass-energy'],
835
- H_inf_GeV: i['inflation-hubble-energy'],
836
- r: i['tensor-to-scalar-ratio'],
837
- gamma: i['tcc-correction-coefficient'],
838
- }),
839
- citation: 'Bedroya & Vafa 2019 (arXiv:1909.11063)',
840
- };
841
- /**
842
- * BE-46 Weinberg-Vilenkin anthropic probability: (measure-normalization,
843
- * anthropic-model-parameter, landscape-parameter) → P(Λ) = A exp(−α/Λ). Wraps
844
- * `evaluateWeinbergVilenkinP` (all dimensionless; returns dimensionless P).
845
- *
846
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
847
- * export for the 26-edge tranche — root-surface budget decision).
848
- */
849
- export const be46Edge = {
850
- id: 'be-46',
851
- beId: 46,
852
- kind: 'bridge',
853
- label: 'Anthropic probability P(Λ) = A exp(−α/Λ)',
854
- sources: [measureNormalizationQ, anthropicModelParameterQ, landscapeParameterQ],
855
- target: anthropicProbabilityQ,
856
- confidence: 'highly-speculative',
857
- domain: {
858
- description: 'A, α finite, Λ > 0',
859
- predicate: (i) => isFin(i['measure-normalization']) &&
860
- isFin(i['anthropic-model-parameter']) &&
861
- isFin(i['landscape-parameter']) &&
862
- i['landscape-parameter'] > 0,
863
- },
864
- evaluate: (i) => evaluateWeinbergVilenkinP({
865
- normalization: i['measure-normalization'],
866
- alpha: i['anthropic-model-parameter'],
867
- lambda: i['landscape-parameter'],
868
- }),
869
- citation: 'Vilenkin 1995 PRL 74:846; Weinberg 1987 PRL 59:2607',
870
- };
871
- /**
872
- * BE-47 BBN dark-sector Boltzmann rate: (hubble-rate, nucleon-yield-density,
873
- * sm-reaction-rate-coefficient, proton-density, neutron-density,
874
- * dark-reaction-rate-coefficient, dark-species-density, transfer-efficiency) →
875
- * dY/dt = ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε − 3HY. Wraps `evaluateBBNDark`
876
- * (SI; returns m⁻³ s⁻¹).
877
- *
878
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
879
- * export for the 26-edge tranche — root-surface budget decision).
880
- */
881
- export const be47Edge = {
882
- id: 'be-47',
883
- beId: 47,
884
- kind: 'bridge',
885
- label: 'BBN dark-sector dY/dt = ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε − 3HY',
886
- sources: [
887
- hubbleRateQ,
888
- nucleonYieldDensityQ,
889
- smReactionRateCoefficientQ,
890
- protonDensityQ,
891
- neutronDensityQ,
892
- darkReactionRateCoefficientQ,
893
- darkSpeciesDensityQ,
894
- transferEfficiencyQ,
895
- ],
896
- target: nucleonYieldRateQ,
897
- confidence: 'speculative',
898
- domain: {
899
- description: 'all eight Boltzmann inputs finite',
900
- predicate: (i) => isFin(i['hubble-rate']) &&
901
- isFin(i['nucleon-yield-density']) &&
902
- isFin(i['sm-reaction-rate-coefficient']) &&
903
- isFin(i['proton-density']) &&
904
- isFin(i['neutron-density']) &&
905
- isFin(i['dark-reaction-rate-coefficient']) &&
906
- isFin(i['dark-species-density']) &&
907
- isFin(i['transfer-efficiency']),
908
- },
909
- evaluate: (i) => evaluateBBNDark({
910
- H: i['hubble-rate'],
911
- Y: i['nucleon-yield-density'],
912
- sigmav_SM: i['sm-reaction-rate-coefficient'],
913
- n_p: i['proton-density'],
914
- n_n: i['neutron-density'],
915
- sigmav_dark: i['dark-reaction-rate-coefficient'],
916
- n_chi: i['dark-species-density'],
917
- eps_transfer: i['transfer-efficiency'],
918
- }),
919
- citation: 'Kolb & Turner 1990 §5.2; Pitrou et al. 2018 Phys. Rep. 754:1',
920
- };
921
- /**
922
- * BE-49 quantum-Darwinism mutual-information decay: (total-mutual-information,
923
- * darwinism-magnitude, fragment-count, darwinism-decay-exponent) →
924
- * I(S:F_k) = I(S:E) − α k^(−β). Wraps `evaluateQuantumDarwinism` (all
925
- * dimensionless; the evaluator is β-agnostic).
926
- *
927
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
928
- * export for the 26-edge tranche — root-surface budget decision).
929
- */
930
- export const be49Edge = {
931
- id: 'be-49',
932
- beId: 49,
933
- kind: 'bridge',
934
- label: 'Quantum Darwinism I(S:F_k) = I(S:E) − α k^(−β)',
935
- sources: [totalMutualInformationQ, darwinismMagnitudeQ, fragmentCountQ, darwinismDecayExponentQ],
936
- target: fragmentMutualInformationQ,
937
- confidence: 'speculative',
938
- domain: {
939
- description: 'I(S:E), α, β finite; k > 0',
940
- predicate: (i) => isFin(i['total-mutual-information']) &&
941
- isFin(i['darwinism-magnitude']) &&
942
- isFin(i['fragment-count']) &&
943
- i['fragment-count'] > 0 &&
944
- isFin(i['darwinism-decay-exponent']),
945
- },
946
- evaluate: (i) => evaluateQuantumDarwinism({
947
- I_SE: i['total-mutual-information'],
948
- alpha: i['darwinism-magnitude'],
949
- k: i['fragment-count'],
950
- beta: i['darwinism-decay-exponent'],
951
- }),
952
- citation: 'Zurek 2009 Nat. Phys. 5:181; Blume-Kohout & Zurek 2006 PRA 73:062310',
953
- };
954
- /**
955
- * BE-50 Wheeler-Feynman time-symmetry residual: (retarded-field-amplitude,
956
- * advanced-field-amplitude) → r_TS = (A_ret − A_adv)/(A_ret + A_adv). Wraps
957
- * `evaluateWFTimeSymmetry` (any consistent amplitude unit; returns
958
- * dimensionless). The evaluator throws RangeError when A_ret + A_adv = 0; the
959
- * domain rejects that case so `evaluateEdge` surfaces DomainViolationError.
960
- *
961
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
962
- * export for the 26-edge tranche — root-surface budget decision).
963
- */
964
- export const be50Edge = {
965
- id: 'be-50',
966
- beId: 50,
967
- kind: 'bridge',
968
- label: 'Wheeler-Feynman residual r_TS = (A_ret − A_adv)/(A_ret + A_adv)',
969
- sources: [retardedFieldAmplitudeQ, advancedFieldAmplitudeQ],
970
- target: timeSymmetryResidualQ,
971
- confidence: 'highly-speculative',
972
- domain: {
973
- description: 'A_ret, A_adv finite and A_ret + A_adv ≠ 0',
974
- predicate: (i) => isFin(i['retarded-field-amplitude']) &&
975
- isFin(i['advanced-field-amplitude']) &&
976
- i['retarded-field-amplitude'] + i['advanced-field-amplitude'] !== 0,
977
- },
978
- evaluate: (i) => evaluateWFTimeSymmetry({
979
- A_retarded: i['retarded-field-amplitude'],
980
- A_advanced: i['advanced-field-amplitude'],
981
- }),
982
- citation: 'Wheeler & Feynman 1945 RMP 17:157; Cramer 1986 RMP 58:647',
983
- };
31
+ import { be11Edge, be13Edge, be24Edge, be25Edge, be26Edge, be49Edge, be50Edge, } from './catalog-quantum.js';
32
+ import { be20Edge, be30Edge, be31Edge, be43Edge, be45Edge, be46Edge, be47Edge, } from './catalog-gravitation-cosmology.js';
33
+ import { be17Edge, be18Edge, be36Edge, be38Edge, be39Edge, be41Edge, } from './catalog-fields.js';
34
+ import { be15Edge, be22Edge, be23Edge, be27Edge, be33Edge, be34Edge, } from './catalog-condensed-matter.js';
35
+ export { be11Edge, be13Edge, be24Edge, be25Edge, be26Edge, be49Edge, be50Edge, } from './catalog-quantum.js';
36
+ export { be20Edge, be30Edge, be31Edge, be43Edge, be45Edge, be46Edge, be47Edge, } from './catalog-gravitation-cosmology.js';
37
+ export { be17Edge, be18Edge, be36Edge, be38Edge, be39Edge, be41Edge, } from './catalog-fields.js';
38
+ export { be15Edge, be22Edge, be23Edge, be27Edge, be33Edge, be34Edge, } from './catalog-condensed-matter.js';
984
39
  /**
985
40
  * All catalog-full edges, in catalog-id order. Convenience array for the
986
- * drift-guard test and downstream graph assembly.
987
- *
988
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
989
- * export for the 26-edge tranche — root-surface budget decision).
990
- *
991
- * @public
41
+ * drift-guard test and downstream graph assembly. @public
992
42
  */
993
43
  export const CATALOG_FULL_EDGES = [
994
44
  be11Edge,