universal-physics-tensor 7.0.0 → 8.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (818) hide show
  1. package/README.md +5 -5
  2. package/data/atlas/atlas.json +3044 -0
  3. package/data/atlas/atlas.jsonld +1819 -0
  4. package/data/atlas/diffusion.json +1084 -0
  5. package/data/atlas/oscillators.json +1041 -0
  6. package/data/atlas/qudt-resolution.json +60 -0
  7. package/data/atlas/waves.json +916 -0
  8. package/data/atlas/witness-results.json +249 -0
  9. package/data/bridge-catalog.json +15273 -0
  10. package/data/bridge-catalog.schema.json +116 -0
  11. package/data/confrontation-sources.md +137 -0
  12. package/data/quantities.json +9743 -0
  13. package/data/schemas/atlas-record.v0.json +236 -0
  14. package/data/schemas/discovery-run.v0.json +203 -0
  15. package/dist/atlas/catalog-formal-ref.d.ts +6 -12
  16. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
  17. package/dist/atlas/catalog-formal-ref.js +15 -25
  18. package/dist/atlas/catalog-formal-ref.js.map +1 -1
  19. package/dist/atlas/physjs-entries.generated.d.ts +193 -1
  20. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  21. package/dist/atlas/physjs-entries.generated.js +217 -1
  22. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  23. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  24. package/dist/atlas/physjs-ref.js +4 -97
  25. package/dist/atlas/physjs-ref.js.map +1 -1
  26. package/dist/bridges/caller-table.d.ts +56 -0
  27. package/dist/bridges/caller-table.d.ts.map +1 -0
  28. package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
  29. package/dist/bridges/caller-table.js.map +1 -0
  30. package/dist/bridges/catalog-load.d.ts +34 -0
  31. package/dist/bridges/catalog-load.d.ts.map +1 -0
  32. package/dist/bridges/catalog-load.js +89 -0
  33. package/dist/bridges/catalog-load.js.map +1 -0
  34. package/dist/bridges/catalog-types.d.ts +119 -0
  35. package/dist/bridges/catalog-types.d.ts.map +1 -0
  36. package/dist/bridges/catalog-types.js +8 -0
  37. package/dist/bridges/catalog-types.js.map +1 -0
  38. package/dist/bridges/coefficient-statement.d.ts +27 -0
  39. package/dist/bridges/coefficient-statement.d.ts.map +1 -0
  40. package/dist/bridges/coefficient-statement.js +33 -0
  41. package/dist/bridges/coefficient-statement.js.map +1 -0
  42. package/dist/bridges/confrontations.d.ts +8 -25
  43. package/dist/bridges/confrontations.d.ts.map +1 -1
  44. package/dist/bridges/confrontations.js +26 -714
  45. package/dist/bridges/confrontations.js.map +1 -1
  46. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  47. package/dist/bridges/evaluator-inputs.js +13 -3
  48. package/dist/bridges/evaluator-inputs.js.map +1 -1
  49. package/dist/bridges/evaluators.d.ts +14 -27
  50. package/dist/bridges/evaluators.d.ts.map +1 -1
  51. package/dist/bridges/evaluators.js +83 -415
  52. package/dist/bridges/evaluators.js.map +1 -1
  53. package/dist/bridges/expr-parse.d.ts +19 -0
  54. package/dist/bridges/expr-parse.d.ts.map +1 -0
  55. package/dist/bridges/expr-parse.js +269 -0
  56. package/dist/bridges/expr-parse.js.map +1 -0
  57. package/dist/bridges/holds.d.ts +22 -0
  58. package/dist/bridges/holds.d.ts.map +1 -0
  59. package/dist/bridges/holds.js +266 -0
  60. package/dist/bridges/holds.js.map +1 -0
  61. package/dist/bridges/index.d.ts +18 -354
  62. package/dist/bridges/index.d.ts.map +1 -1
  63. package/dist/bridges/index.js +17 -3312
  64. package/dist/bridges/index.js.map +1 -1
  65. package/dist/bridges/relation-eval.d.ts +23 -0
  66. package/dist/bridges/relation-eval.d.ts.map +1 -0
  67. package/dist/bridges/relation-eval.js +136 -0
  68. package/dist/bridges/relation-eval.js.map +1 -0
  69. package/dist/bridges/rhs-registry.d.ts +7 -21
  70. package/dist/bridges/rhs-registry.d.ts.map +1 -1
  71. package/dist/bridges/rhs-registry.js +13 -123
  72. package/dist/bridges/rhs-registry.js.map +1 -1
  73. package/dist/bridges/sensitivity.d.ts +11 -3
  74. package/dist/bridges/sensitivity.d.ts.map +1 -1
  75. package/dist/bridges/sensitivity.js +20 -36
  76. package/dist/bridges/sensitivity.js.map +1 -1
  77. package/dist/bridges/types.d.ts +52 -0
  78. package/dist/bridges/types.d.ts.map +1 -0
  79. package/dist/bridges/types.js +10 -0
  80. package/dist/bridges/types.js.map +1 -0
  81. package/dist/canonical/entries/atomic.js +1 -1
  82. package/dist/canonical/entries/atomic.js.map +1 -1
  83. package/dist/canonical/entries/condensed-matter.js +1 -1
  84. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  85. package/dist/canonical/entries/electromagnetism.js +1 -1
  86. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  87. package/dist/canonical/entries/fluids-waves.js +1 -1
  88. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  89. package/dist/canonical/entries/mechanics.js +1 -1
  90. package/dist/canonical/entries/mechanics.js.map +1 -1
  91. package/dist/canonical/entries/nonmonomial.js +1 -1
  92. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  93. package/dist/canonical/entries/relativity.js +1 -1
  94. package/dist/canonical/entries/relativity.js.map +1 -1
  95. package/dist/canonical/entries/statistical-mechanics.js +1 -1
  96. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  97. package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -2
  98. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  99. package/dist/canonical/normal-form.d.ts.map +1 -1
  100. package/dist/canonical/normal-form.js +9 -4
  101. package/dist/canonical/normal-form.js.map +1 -1
  102. package/dist/cases/kepler-rv.d.ts.map +1 -1
  103. package/dist/cases/kepler-rv.js +7 -3
  104. package/dist/cases/kepler-rv.js.map +1 -1
  105. package/dist/cases/resistor-noise.d.ts.map +1 -1
  106. package/dist/cases/resistor-noise.js +10 -5
  107. package/dist/cases/resistor-noise.js.map +1 -1
  108. package/dist/cli/commands/atlas.js +1 -1
  109. package/dist/cli/commands/atlas.js.map +1 -1
  110. package/dist/cli/commands/chain.js +2 -2
  111. package/dist/cli/commands/chain.js.map +1 -1
  112. package/dist/cli/commands/confront.d.ts.map +1 -1
  113. package/dist/cli/commands/confront.js +17 -17
  114. package/dist/cli/commands/confront.js.map +1 -1
  115. package/dist/cli/commands/eval.d.ts.map +1 -1
  116. package/dist/cli/commands/eval.js +2 -0
  117. package/dist/cli/commands/eval.js.map +1 -1
  118. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  119. package/dist/cli/commands/evaluate.js +19 -14
  120. package/dist/cli/commands/evaluate.js.map +1 -1
  121. package/dist/cli/commands/explain.d.ts.map +1 -1
  122. package/dist/cli/commands/explain.js +2 -0
  123. package/dist/cli/commands/explain.js.map +1 -1
  124. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  125. package/dist/cli/commands/symbolic.js +5 -4
  126. package/dist/cli/commands/symbolic.js.map +1 -1
  127. package/dist/cli-api.d.ts +7 -2
  128. package/dist/cli-api.d.ts.map +1 -1
  129. package/dist/cli-api.js +7 -2
  130. package/dist/cli-api.js.map +1 -1
  131. package/dist/composition/canonical-graph.d.ts +5 -3
  132. package/dist/composition/canonical-graph.d.ts.map +1 -1
  133. package/dist/composition/canonical-graph.js +61 -6
  134. package/dist/composition/canonical-graph.js.map +1 -1
  135. package/dist/composition/catalog-graph.d.ts +11 -4
  136. package/dist/composition/catalog-graph.d.ts.map +1 -1
  137. package/dist/composition/catalog-graph.js +78 -47
  138. package/dist/composition/catalog-graph.js.map +1 -1
  139. package/dist/composition/discovery.d.ts.map +1 -1
  140. package/dist/composition/discovery.js +26 -22
  141. package/dist/composition/discovery.js.map +1 -1
  142. package/dist/composition/evaluate-relation.d.ts +2 -0
  143. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  144. package/dist/composition/evaluate-relation.js +26 -3
  145. package/dist/composition/evaluate-relation.js.map +1 -1
  146. package/dist/composition/expr-eval.d.ts.map +1 -1
  147. package/dist/composition/expr-eval.js +6 -0
  148. package/dist/composition/expr-eval.js.map +1 -1
  149. package/dist/composition/frontier-account.d.ts.map +1 -1
  150. package/dist/composition/frontier-account.js +1 -1
  151. package/dist/composition/frontier-account.js.map +1 -1
  152. package/dist/composition/index.d.ts +3 -14
  153. package/dist/composition/index.d.ts.map +1 -1
  154. package/dist/composition/index.js +3 -14
  155. package/dist/composition/index.js.map +1 -1
  156. package/dist/composition/quantities.d.ts +11 -27
  157. package/dist/composition/quantities.d.ts.map +1 -1
  158. package/dist/composition/quantities.js +29 -29
  159. package/dist/composition/quantities.js.map +1 -1
  160. package/dist/composition/user-equation.d.ts +3 -10
  161. package/dist/composition/user-equation.d.ts.map +1 -1
  162. package/dist/composition/user-equation.js +3 -28
  163. package/dist/composition/user-equation.js.map +1 -1
  164. package/dist/core/constants.d.ts +14 -0
  165. package/dist/core/constants.d.ts.map +1 -1
  166. package/dist/core/constants.js +16 -0
  167. package/dist/core/constants.js.map +1 -1
  168. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  169. package/dist/diff/bridge-ast-gradient.js +1 -0
  170. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  171. package/dist/diff/bridge-gradient.d.ts +1 -1
  172. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  173. package/dist/diff/bridge-specs.d.ts +32 -62
  174. package/dist/diff/bridge-specs.d.ts.map +1 -1
  175. package/dist/diff/bridge-specs.js +55 -76
  176. package/dist/diff/bridge-specs.js.map +1 -1
  177. package/dist/dimensional/bridge-check.d.ts +9 -26
  178. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  179. package/dist/dimensional/bridge-check.js +22 -227
  180. package/dist/dimensional/bridge-check.js.map +1 -1
  181. package/dist/dimensional/formula-names.d.ts +17 -1
  182. package/dist/dimensional/formula-names.d.ts.map +1 -1
  183. package/dist/dimensional/formula-names.js +39 -8
  184. package/dist/dimensional/formula-names.js.map +1 -1
  185. package/dist/dimensional/hyphen-names.d.ts +13 -0
  186. package/dist/dimensional/hyphen-names.d.ts.map +1 -0
  187. package/dist/dimensional/hyphen-names.js +27 -0
  188. package/dist/dimensional/hyphen-names.js.map +1 -0
  189. package/dist/dimensional/quantity-registry.d.ts +33 -0
  190. package/dist/dimensional/quantity-registry.d.ts.map +1 -0
  191. package/dist/dimensional/quantity-registry.js +49 -0
  192. package/dist/dimensional/quantity-registry.js.map +1 -0
  193. package/dist/dimensional/units.d.ts +4 -2
  194. package/dist/dimensional/units.d.ts.map +1 -1
  195. package/dist/dimensional/units.js +202 -44
  196. package/dist/dimensional/units.js.map +1 -1
  197. package/dist/index.d.ts +19 -61
  198. package/dist/index.d.ts.map +1 -1
  199. package/dist/index.js +11 -48
  200. package/dist/index.js.map +1 -1
  201. package/dist/numerical/binding-value.d.ts.map +1 -1
  202. package/dist/numerical/binding-value.js +72 -21
  203. package/dist/numerical/binding-value.js.map +1 -1
  204. package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
  205. package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
  206. package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
  207. package/dist/numerical/covariant-eikonal.js.map +1 -0
  208. package/dist/numerical/derivative-lowering.d.ts +2 -1
  209. package/dist/numerical/derivative-lowering.d.ts.map +1 -1
  210. package/dist/numerical/derivative-lowering.js +2 -1
  211. package/dist/numerical/derivative-lowering.js.map +1 -1
  212. package/dist/numerical/gl4-integrator.d.ts +6 -3
  213. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  214. package/dist/numerical/gl4-integrator.js +6 -3
  215. package/dist/numerical/gl4-integrator.js.map +1 -1
  216. package/dist/numerical/index.d.ts +4 -3
  217. package/dist/numerical/index.d.ts.map +1 -1
  218. package/dist/numerical/index.js +2 -2
  219. package/dist/numerical/index.js.map +1 -1
  220. package/dist/numerical/null-ic.d.ts +6 -5
  221. package/dist/numerical/null-ic.d.ts.map +1 -1
  222. package/dist/numerical/null-ic.js +6 -5
  223. package/dist/numerical/null-ic.js.map +1 -1
  224. package/dist/numerical/null-ray-integrator.js +1 -1
  225. package/dist/numerical/perihelion-finder.d.ts +5 -4
  226. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  227. package/dist/numerical/perihelion-finder.js +5 -4
  228. package/dist/numerical/perihelion-finder.js.map +1 -1
  229. package/package.json +2 -1
  230. package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
  231. package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
  232. package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
  233. package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
  234. package/dist/bridges/be101-bkt-jump.d.ts +0 -24
  235. package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
  236. package/dist/bridges/be101-bkt-jump.js +0 -29
  237. package/dist/bridges/be101-bkt-jump.js.map +0 -1
  238. package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
  239. package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
  240. package/dist/bridges/be102-landauer-conductance.js +0 -28
  241. package/dist/bridges/be102-landauer-conductance.js.map +0 -1
  242. package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
  243. package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
  244. package/dist/bridges/be11-decoherence-confrontation.js +0 -39
  245. package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
  246. package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
  247. package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
  248. package/dist/bridges/be21-kss-confrontation.js +0 -38
  249. package/dist/bridges/be21-kss-confrontation.js.map +0 -1
  250. package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
  251. package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
  252. package/dist/bridges/be23-planckian-confrontation.js +0 -196
  253. package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
  254. package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
  255. package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
  256. package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
  257. package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
  258. package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
  259. package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
  260. package/dist/bridges/be36-gw170817-confrontation.js +0 -100
  261. package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
  262. package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
  263. package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
  264. package/dist/bridges/be37-cassini-confrontation.js +0 -34
  265. package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
  266. package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
  267. package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
  268. package/dist/bridges/be48-collapse-confrontation.js +0 -37
  269. package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
  270. package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
  271. package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
  272. package/dist/bridges/be51-lensing-confrontation.js +0 -52
  273. package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
  274. package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
  275. package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
  276. package/dist/bridges/be52-mercury-confrontation.js +0 -70
  277. package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
  278. package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
  279. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
  280. package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
  281. package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
  282. package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
  283. package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
  284. package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
  285. package/dist/bridges/be55-quantum-hall.d.ts +0 -24
  286. package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
  287. package/dist/bridges/be55-quantum-hall.js +0 -46
  288. package/dist/bridges/be55-quantum-hall.js.map +0 -1
  289. package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
  290. package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
  291. package/dist/bridges/be56-casimir-confrontation.js +0 -31
  292. package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
  293. package/dist/bridges/be56-casimir.d.ts +0 -18
  294. package/dist/bridges/be56-casimir.d.ts.map +0 -1
  295. package/dist/bridges/be56-casimir.js +0 -36
  296. package/dist/bridges/be56-casimir.js.map +0 -1
  297. package/dist/bridges/be57-unruh.d.ts +0 -18
  298. package/dist/bridges/be57-unruh.d.ts.map +0 -1
  299. package/dist/bridges/be57-unruh.js +0 -38
  300. package/dist/bridges/be57-unruh.js.map +0 -1
  301. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
  302. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
  303. package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
  304. package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
  305. package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
  306. package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
  307. package/dist/bridges/be58-johnson-nyquist.js +0 -36
  308. package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
  309. package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
  310. package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
  311. package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
  312. package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
  313. package/dist/bridges/be59-ac-josephson.d.ts +0 -22
  314. package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
  315. package/dist/bridges/be59-ac-josephson.js +0 -35
  316. package/dist/bridges/be59-ac-josephson.js.map +0 -1
  317. package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
  318. package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
  319. package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
  320. package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
  321. package/dist/bridges/be60-fractional-qh.d.ts +0 -20
  322. package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
  323. package/dist/bridges/be60-fractional-qh.js +0 -33
  324. package/dist/bridges/be60-fractional-qh.js.map +0 -1
  325. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
  326. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
  327. package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
  328. package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
  329. package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
  330. package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
  331. package/dist/bridges/be61-wiedemann-franz.js +0 -41
  332. package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
  333. package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
  334. package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
  335. package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
  336. package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
  337. package/dist/bridges/be62-bcs-gap.d.ts +0 -22
  338. package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
  339. package/dist/bridges/be62-bcs-gap.js +0 -38
  340. package/dist/bridges/be62-bcs-gap.js.map +0 -1
  341. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
  342. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
  343. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
  344. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
  345. package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
  346. package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
  347. package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
  348. package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
  349. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
  350. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
  351. package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
  352. package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
  353. package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
  354. package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
  355. package/dist/bridges/be64-eddington-luminosity.js +0 -35
  356. package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
  357. package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
  358. package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
  359. package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
  360. package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
  361. package/dist/bridges/be65-jeans-mass.d.ts +0 -24
  362. package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
  363. package/dist/bridges/be65-jeans-mass.js +0 -38
  364. package/dist/bridges/be65-jeans-mass.js.map +0 -1
  365. package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
  366. package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
  367. package/dist/bridges/be66-radiation-pressure.js +0 -37
  368. package/dist/bridges/be66-radiation-pressure.js.map +0 -1
  369. package/dist/bridges/be67-alfven-speed.d.ts +0 -41
  370. package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
  371. package/dist/bridges/be67-alfven-speed.js +0 -50
  372. package/dist/bridges/be67-alfven-speed.js.map +0 -1
  373. package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
  374. package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
  375. package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
  376. package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
  377. package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
  378. package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
  379. package/dist/bridges/be69-fast-magnetosonic.js +0 -33
  380. package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
  381. package/dist/bridges/be70-einstein-relation.d.ts +0 -30
  382. package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
  383. package/dist/bridges/be70-einstein-relation.js +0 -41
  384. package/dist/bridges/be70-einstein-relation.js.map +0 -1
  385. package/dist/bridges/be71-clapeyron.d.ts +0 -43
  386. package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
  387. package/dist/bridges/be71-clapeyron.js +0 -32
  388. package/dist/bridges/be71-clapeyron.js.map +0 -1
  389. package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
  390. package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
  391. package/dist/bridges/be72-gravitational-redshift.js +0 -32
  392. package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
  393. package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
  394. package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
  395. package/dist/bridges/be73-kelvin-peltier.js +0 -31
  396. package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
  397. package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
  398. package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
  399. package/dist/bridges/be74-magnetic-pressure.js +0 -29
  400. package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
  401. package/dist/bridges/be75-london-penetration.d.ts +0 -27
  402. package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
  403. package/dist/bridges/be75-london-penetration.js +0 -31
  404. package/dist/bridges/be75-london-penetration.js.map +0 -1
  405. package/dist/bridges/be76-plasma-beta.d.ts +0 -32
  406. package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
  407. package/dist/bridges/be76-plasma-beta.js +0 -34
  408. package/dist/bridges/be76-plasma-beta.js.map +0 -1
  409. package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
  410. package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
  411. package/dist/bridges/be77-hagen-poiseuille.js +0 -39
  412. package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
  413. package/dist/bridges/be78-euler-buckling.d.ts +0 -44
  414. package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
  415. package/dist/bridges/be78-euler-buckling.js +0 -33
  416. package/dist/bridges/be78-euler-buckling.js.map +0 -1
  417. package/dist/bridges/be79-pull-in.d.ts +0 -33
  418. package/dist/bridges/be79-pull-in.d.ts.map +0 -1
  419. package/dist/bridges/be79-pull-in.js +0 -35
  420. package/dist/bridges/be79-pull-in.js.map +0 -1
  421. package/dist/bridges/be80-mott-gurney.d.ts +0 -52
  422. package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
  423. package/dist/bridges/be80-mott-gurney.js +0 -38
  424. package/dist/bridges/be80-mott-gurney.js.map +0 -1
  425. package/dist/bridges/be81-child-langmuir.d.ts +0 -33
  426. package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
  427. package/dist/bridges/be81-child-langmuir.js +0 -38
  428. package/dist/bridges/be81-child-langmuir.js.map +0 -1
  429. package/dist/bridges/be82-shockley-diode.d.ts +0 -32
  430. package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
  431. package/dist/bridges/be82-shockley-diode.js +0 -37
  432. package/dist/bridges/be82-shockley-diode.js.map +0 -1
  433. package/dist/bridges/be83-thomson.d.ts +0 -46
  434. package/dist/bridges/be83-thomson.d.ts.map +0 -1
  435. package/dist/bridges/be83-thomson.js +0 -32
  436. package/dist/bridges/be83-thomson.js.map +0 -1
  437. package/dist/bridges/be84-four-point.d.ts +0 -45
  438. package/dist/bridges/be84-four-point.d.ts.map +0 -1
  439. package/dist/bridges/be84-four-point.js +0 -34
  440. package/dist/bridges/be84-four-point.js.map +0 -1
  441. package/dist/bridges/be85-shot-noise.d.ts +0 -30
  442. package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
  443. package/dist/bridges/be85-shot-noise.js +0 -32
  444. package/dist/bridges/be85-shot-noise.js.map +0 -1
  445. package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
  446. package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
  447. package/dist/bridges/be86-reynolds-analogy.js +0 -30
  448. package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
  449. package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
  450. package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
  451. package/dist/bridges/be87-capacitor-noise.js +0 -32
  452. package/dist/bridges/be87-capacitor-noise.js.map +0 -1
  453. package/dist/bridges/be88-fermi-sea.d.ts +0 -31
  454. package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
  455. package/dist/bridges/be88-fermi-sea.js +0 -35
  456. package/dist/bridges/be88-fermi-sea.js.map +0 -1
  457. package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
  458. package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
  459. package/dist/bridges/be89-debye-cutoff.js +0 -28
  460. package/dist/bridges/be89-debye-cutoff.js.map +0 -1
  461. package/dist/bridges/be90-debye-heat.d.ts +0 -30
  462. package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
  463. package/dist/bridges/be90-debye-heat.js +0 -35
  464. package/dist/bridges/be90-debye-heat.js.map +0 -1
  465. package/dist/bridges/be91-einstein-solid.d.ts +0 -30
  466. package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
  467. package/dist/bridges/be91-einstein-solid.js +0 -37
  468. package/dist/bridges/be91-einstein-solid.js.map +0 -1
  469. package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
  470. package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
  471. package/dist/bridges/be92-sommerfeld-heat.js +0 -34
  472. package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
  473. package/dist/bridges/be93-curie-weiss.d.ts +0 -41
  474. package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
  475. package/dist/bridges/be93-curie-weiss.js +0 -45
  476. package/dist/bridges/be93-curie-weiss.js.map +0 -1
  477. package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
  478. package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
  479. package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
  480. package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
  481. package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
  482. package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
  483. package/dist/bridges/be95-ginzburg-landau.js +0 -32
  484. package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
  485. package/dist/bridges/be96-upper-critical.d.ts +0 -24
  486. package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
  487. package/dist/bridges/be96-upper-critical.js +0 -27
  488. package/dist/bridges/be96-upper-critical.js.map +0 -1
  489. package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
  490. package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
  491. package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
  492. package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
  493. package/dist/bridges/be98-bcs-jump.d.ts +0 -40
  494. package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
  495. package/dist/bridges/be98-bcs-jump.js +0 -29
  496. package/dist/bridges/be98-bcs-jump.js.map +0 -1
  497. package/dist/bridges/be99-mass-action.d.ts +0 -33
  498. package/dist/bridges/be99-mass-action.d.ts.map +0 -1
  499. package/dist/bridges/be99-mass-action.js +0 -37
  500. package/dist/bridges/be99-mass-action.js.map +0 -1
  501. package/dist/bridges/bridge-equations.d.ts +0 -225
  502. package/dist/bridges/bridge-equations.d.ts.map +0 -1
  503. package/dist/bridges/bridge-equations.js +0 -226
  504. package/dist/bridges/bridge-equations.js.map +0 -1
  505. package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
  506. package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
  507. package/dist/bridges/condensed-r8-catalog.js +0 -272
  508. package/dist/bridges/condensed-r8-catalog.js.map +0 -1
  509. package/dist/bridges/condensed-r8.d.ts +0 -260
  510. package/dist/bridges/condensed-r8.d.ts.map +0 -1
  511. package/dist/bridges/condensed-r8.js +0 -329
  512. package/dist/bridges/condensed-r8.js.map +0 -1
  513. package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
  514. package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
  515. package/dist/bridges/engineering-r7-catalog.js +0 -172
  516. package/dist/bridges/engineering-r7-catalog.js.map +0 -1
  517. package/dist/bridges/engineering-r7.d.ts +0 -152
  518. package/dist/bridges/engineering-r7.d.ts.map +0 -1
  519. package/dist/bridges/engineering-r7.js +0 -208
  520. package/dist/bridges/engineering-r7.js.map +0 -1
  521. package/dist/bridges/equations/_be-helpers.d.ts +0 -80
  522. package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
  523. package/dist/bridges/equations/_be-helpers.js +0 -103
  524. package/dist/bridges/equations/_be-helpers.js.map +0 -1
  525. package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
  526. package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
  527. package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
  528. package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
  529. package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
  530. package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
  531. package/dist/bridges/equations/be-12-coherence-length.js +0 -120
  532. package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
  533. package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
  534. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
  535. package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
  536. package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
  537. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
  538. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
  539. package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
  540. package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
  541. package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
  542. package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
  543. package/dist/bridges/equations/be-15-emergence.js +0 -208
  544. package/dist/bridges/equations/be-15-emergence.js.map +0 -1
  545. package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
  546. package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
  547. package/dist/bridges/equations/be-16-landauer.js +0 -198
  548. package/dist/bridges/equations/be-16-landauer.js.map +0 -1
  549. package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
  550. package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
  551. package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
  552. package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
  553. package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
  554. package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
  555. package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
  556. package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
  557. package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
  558. package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
  559. package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
  560. package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
  561. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
  562. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
  563. package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
  564. package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
  565. package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
  566. package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
  567. package/dist/bridges/equations/be-21-kss-bound.js +0 -97
  568. package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
  569. package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
  570. package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
  571. package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
  572. package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
  573. package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
  574. package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
  575. package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
  576. package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
  577. package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
  578. package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
  579. package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
  580. package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
  581. package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
  582. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
  583. package/dist/bridges/equations/be-25-iit-phi.js +0 -255
  584. package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
  585. package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
  586. package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
  587. package/dist/bridges/equations/be-25-orch-or.js +0 -124
  588. package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
  589. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
  590. package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
  591. package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
  592. package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
  593. package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
  594. package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
  595. package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
  596. package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
  597. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
  598. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
  599. package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
  600. package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
  601. package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
  602. package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
  603. package/dist/bridges/equations/be-29-jarzynski.js +0 -127
  604. package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
  605. package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
  606. package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
  607. package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
  608. package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
  609. package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
  610. package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
  611. package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
  612. package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
  613. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
  614. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
  615. package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
  616. package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
  617. package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
  618. package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
  619. package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
  620. package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
  621. package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
  622. package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
  623. package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
  624. package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
  625. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
  626. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
  627. package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
  628. package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
  629. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
  630. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
  631. package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
  632. package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
  633. package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
  634. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
  635. package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
  636. package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
  637. package/dist/bridges/equations/be-38-mond.d.ts +0 -94
  638. package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
  639. package/dist/bridges/equations/be-38-mond.js +0 -114
  640. package/dist/bridges/equations/be-38-mond.js.map +0 -1
  641. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
  642. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
  643. package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
  644. package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
  645. package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
  646. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
  647. package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
  648. package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
  649. package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
  650. package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
  651. package/dist/bridges/equations/be-41-swampland.js +0 -108
  652. package/dist/bridges/equations/be-41-swampland.js.map +0 -1
  653. package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
  654. package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
  655. package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
  656. package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
  657. package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
  658. package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
  659. package/dist/bridges/equations/be-43-er-epr.js +0 -106
  660. package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
  661. package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
  662. package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
  663. package/dist/bridges/equations/be-44-soft-hair.js +0 -177
  664. package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
  665. package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
  666. package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
  667. package/dist/bridges/equations/be-45-tcc.js +0 -149
  668. package/dist/bridges/equations/be-45-tcc.js.map +0 -1
  669. package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
  670. package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
  671. package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
  672. package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
  673. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
  674. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
  675. package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
  676. package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
  677. package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
  678. package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
  679. package/dist/bridges/equations/be-48-grw-localization.js +0 -103
  680. package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
  681. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
  682. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
  683. package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
  684. package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
  685. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
  686. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
  687. package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
  688. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
  689. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
  690. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
  691. package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
  692. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
  693. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
  694. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
  695. package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
  696. package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
  697. package/dist/bridges/gravitational-lensing.d.ts +0 -73
  698. package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
  699. package/dist/bridges/gravitational-lensing.js +0 -59
  700. package/dist/bridges/gravitational-lensing.js.map +0 -1
  701. package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
  702. package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
  703. package/dist/bridges/perihelion-precession-labeled.js +0 -54
  704. package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
  705. package/dist/bridges/perihelion-precession.d.ts +0 -87
  706. package/dist/bridges/perihelion-precession.d.ts.map +0 -1
  707. package/dist/bridges/perihelion-precession.js +0 -82
  708. package/dist/bridges/perihelion-precession.js.map +0 -1
  709. package/dist/bridges/plasma-catalog.d.ts +0 -29
  710. package/dist/bridges/plasma-catalog.d.ts.map +0 -1
  711. package/dist/bridges/plasma-catalog.js +0 -427
  712. package/dist/bridges/plasma-catalog.js.map +0 -1
  713. package/dist/bridges/plasma-space.d.ts +0 -310
  714. package/dist/bridges/plasma-space.d.ts.map +0 -1
  715. package/dist/bridges/plasma-space.js +0 -262
  716. package/dist/bridges/plasma-space.js.map +0 -1
  717. package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
  718. package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
  719. package/dist/composition/edges/_catalog-helpers.js +0 -90
  720. package/dist/composition/edges/_catalog-helpers.js.map +0 -1
  721. package/dist/composition/edges/applied-physicist.d.ts +0 -181
  722. package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
  723. package/dist/composition/edges/applied-physicist.js +0 -843
  724. package/dist/composition/edges/applied-physicist.js.map +0 -1
  725. package/dist/composition/edges/calibration.d.ts +0 -107
  726. package/dist/composition/edges/calibration.d.ts.map +0 -1
  727. package/dist/composition/edges/calibration.js +0 -559
  728. package/dist/composition/edges/calibration.js.map +0 -1
  729. package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
  730. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
  731. package/dist/composition/edges/catalog-condensed-matter.js +0 -257
  732. package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
  733. package/dist/composition/edges/catalog-fields.d.ts +0 -68
  734. package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
  735. package/dist/composition/edges/catalog-fields.js +0 -207
  736. package/dist/composition/edges/catalog-fields.js.map +0 -1
  737. package/dist/composition/edges/catalog-full.d.ts +0 -43
  738. package/dist/composition/edges/catalog-full.d.ts.map +0 -1
  739. package/dist/composition/edges/catalog-full.js +0 -73
  740. package/dist/composition/edges/catalog-full.js.map +0 -1
  741. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
  742. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
  743. package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
  744. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
  745. package/dist/composition/edges/catalog-quantum.d.ts +0 -85
  746. package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
  747. package/dist/composition/edges/catalog-quantum.js +0 -297
  748. package/dist/composition/edges/catalog-quantum.js.map +0 -1
  749. package/dist/composition/edges/catalog-tranche.d.ts +0 -108
  750. package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
  751. package/dist/composition/edges/catalog-tranche.js +0 -304
  752. package/dist/composition/edges/catalog-tranche.js.map +0 -1
  753. package/dist/composition/edges/condensed-r5.d.ts +0 -105
  754. package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
  755. package/dist/composition/edges/condensed-r5.js +0 -505
  756. package/dist/composition/edges/condensed-r5.js.map +0 -1
  757. package/dist/composition/edges/condensed-r8.d.ts +0 -30
  758. package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
  759. package/dist/composition/edges/condensed-r8.js +0 -325
  760. package/dist/composition/edges/condensed-r8.js.map +0 -1
  761. package/dist/composition/edges/engineering-r7.d.ts +0 -20
  762. package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
  763. package/dist/composition/edges/engineering-r7.js +0 -262
  764. package/dist/composition/edges/engineering-r7.js.map +0 -1
  765. package/dist/composition/edges/plasma-space.d.ts +0 -50
  766. package/dist/composition/edges/plasma-space.d.ts.map +0 -1
  767. package/dist/composition/edges/plasma-space.js +0 -481
  768. package/dist/composition/edges/plasma-space.js.map +0 -1
  769. package/dist/composition/edges/proved-seeds.d.ts +0 -39
  770. package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
  771. package/dist/composition/edges/proved-seeds.js +0 -197
  772. package/dist/composition/edges/proved-seeds.js.map +0 -1
  773. package/dist/composition/quantities/_dims.d.ts +0 -45
  774. package/dist/composition/quantities/_dims.d.ts.map +0 -1
  775. package/dist/composition/quantities/_dims.js +0 -55
  776. package/dist/composition/quantities/_dims.js.map +0 -1
  777. package/dist/composition/quantities/applied-physicist.d.ts +0 -166
  778. package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
  779. package/dist/composition/quantities/applied-physicist.js +0 -543
  780. package/dist/composition/quantities/applied-physicist.js.map +0 -1
  781. package/dist/composition/quantities/common.d.ts +0 -69
  782. package/dist/composition/quantities/common.d.ts.map +0 -1
  783. package/dist/composition/quantities/common.js +0 -210
  784. package/dist/composition/quantities/common.js.map +0 -1
  785. package/dist/composition/quantities/condensed-matter.d.ts +0 -79
  786. package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
  787. package/dist/composition/quantities/condensed-matter.js +0 -238
  788. package/dist/composition/quantities/condensed-matter.js.map +0 -1
  789. package/dist/composition/quantities/condensed-r5.d.ts +0 -110
  790. package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
  791. package/dist/composition/quantities/condensed-r5.js +0 -359
  792. package/dist/composition/quantities/condensed-r5.js.map +0 -1
  793. package/dist/composition/quantities/condensed-r8.d.ts +0 -96
  794. package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
  795. package/dist/composition/quantities/condensed-r8.js +0 -107
  796. package/dist/composition/quantities/condensed-r8.js.map +0 -1
  797. package/dist/composition/quantities/engineering-r7.d.ts +0 -82
  798. package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
  799. package/dist/composition/quantities/engineering-r7.js +0 -92
  800. package/dist/composition/quantities/engineering-r7.js.map +0 -1
  801. package/dist/composition/quantities/fields.d.ts +0 -69
  802. package/dist/composition/quantities/fields.d.ts.map +0 -1
  803. package/dist/composition/quantities/fields.js +0 -210
  804. package/dist/composition/quantities/fields.js.map +0 -1
  805. package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
  806. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
  807. package/dist/composition/quantities/gravitation-cosmology.js +0 -215
  808. package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
  809. package/dist/composition/quantities/plasma-space.d.ts +0 -178
  810. package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
  811. package/dist/composition/quantities/plasma-space.js +0 -185
  812. package/dist/composition/quantities/plasma-space.js.map +0 -1
  813. package/dist/composition/quantities/quantum.d.ts +0 -63
  814. package/dist/composition/quantities/quantum.d.ts.map +0 -1
  815. package/dist/composition/quantities/quantum.js +0 -190
  816. package/dist/composition/quantities/quantum.js.map +0 -1
  817. package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
  818. package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
@@ -1,196 +0,0 @@
1
- /**
2
- * BE-23 × overdoped-cuprate Planckian dissipation — the second
3
- * real-data confrontation (follows the GW170817 pattern of
4
- * `be36-gw170817-confrontation.ts`: observation record with citations,
5
- * a `confront` function that recomputes the published comparison, and
6
- * honest-finding fields).
7
- *
8
- * Published dataset: Legros et al. 2019 *Nature Physics* 15:142,
9
- * "Universal T-linear resistivity and Planckian dissipation in
10
- * overdoped cuprates" (arXiv:1805.02512). The paper measures the
11
- * T-linear resistivity slope across overdoped cuprates (Bi2212,
12
- * Bi2201, LSCO, Nd-LSCO) and converts it, via the Drude relation
13
- * ρ = m* / (n e² τ), into a Planckian scattering coefficient α defined by
14
- *
15
- * ℏ/τ = α · k_B T, finding α ≈ 1 within a factor ~2 (O(1)).
16
- *
17
- * ── DATA-ENCODING HONESTY LEVEL: AGGREGATE, NOT PER-MATERIAL ──
18
- * The per-material α table from Legros et al. was NOT reproduced here:
19
- * it could not be re-verified against the paper at encoding time
20
- * (network access to arXiv/Nature unavailable), and reproducing table
21
- * rows from memory risks fabricating numbers. Per the repo's
22
- * no-fabricated-literals rule, this module encodes ONLY the paper's
23
- * abstract-level aggregate claim, conservatively stated as
24
- * α = 1.0 ± 0.4 (i.e., α is O(1), within roughly a factor of 2 of the
25
- * Planckian value α = 1, across the materials studied). Anyone with
26
- * the paper in hand can upgrade `PLANCKIAN_CUPRATES` to per-material
27
- * rows; the `perMaterialAlphas: null` field is the explicit marker
28
- * that this upgrade has not happened.
29
- *
30
- * ── WHAT IS ACTUALLY CONFRONTED ──
31
- * BE-23's evaluator (`evaluateSYKResistivity`) computes
32
- *
33
- * ρ(T) = ρ_0 + (m* · k_B T)/(n_e · e² · ℏ) · α_SYK,
34
- *
35
- * which is exactly the Drude resistivity with the Planckian rate
36
- * 1/τ = α_SYK · k_B T / ℏ substituted. So the encoding's α_SYK is the
37
- * SAME dimensionless α the paper reports, and the supportable test is:
38
- * 1. Is the published α band consistent with the O(1) assumption the
39
- * BE-23 docstring makes for α_SYK? (Operationalized here as the
40
- * factor-2 band [0.5, 2] — OUR reading of "O(1)", not a number
41
- * from the paper.)
42
- * 2. Is the evaluator's thermal term algebraically identical to
43
- * (m* / (n_e e²)) · (α k_B T/ℏ), i.e., Drude × Planckian-rate?
44
- * (`encodedFormConsistent`, checked numerically at an arbitrary
45
- * positive parameter point — the parameters cancel structurally,
46
- * so no material data is needed or fabricated for this check.)
47
- * NOT claimed: that UPT/SYK *predicts* α (BE-23 bundles α_SYK as a
48
- * free O(1) coefficient — status: speculative), nor that agreement
49
- * here validates the strange-metal/black-hole bridge framing.
50
- *
51
- * @module bridges/be23-planckian-confrontation
52
- */
53
- import { PhysicalConstants } from '../core/types.js';
54
- import { evaluateSYKResistivity } from './equations/be-23-syk-planckian.js';
55
- /**
56
- * Legros et al. 2019 overdoped-cuprate Planckian-dissipation record,
57
- * encoded at AGGREGATE honesty level (see module doc for why).
58
- *
59
- * @public
60
- */
61
- export const PLANCKIAN_CUPRATES = {
62
- materials: ['Bi2212', 'Bi2201', 'LSCO', 'Nd-LSCO'],
63
- alpha_aggregate: 1.0,
64
- alpha_aggregate_err: 0.4,
65
- // Eve L-5 note: the paper's "within roughly a factor of 2" is a
66
- // MULTIPLICATIVE spread ([0.5, 2.0]); the additive 1.0±0.4 encoded
67
- // here is deliberately NARROWER (1σ interval [0.6, 1.4]), which makes
68
- // withinPlanckianBandAtOneSigma conservative-by-construction rather
69
- // than informative. A faithful multiplicative σ would sit on the band
70
- // edge. Upgrade alongside the per-material table when available.
71
- perMaterialAlphas: null,
72
- encodingHonestyLevel: 'aggregate',
73
- citation: 'Legros et al. 2019 Nature Phys. 15:142 (arXiv:1805.02512), ' +
74
- '"Universal T-linear resistivity and Planckian dissipation in ' +
75
- 'overdoped cuprates" — abstract-level claim that the T-linear ' +
76
- 'scattering rate is the Planckian rate k_B T/ℏ to within ~×2 ' +
77
- '(encoded conservatively as α = 1.0 ± 0.4)',
78
- honestyNote: 'AGGREGATE encoding only: the per-material α table of Legros et ' +
79
- 'al. 2019 was not reproduced (paper not re-verifiable at encoding ' +
80
- 'time; transcribing from memory risks fabrication). α = 1.0 ± 0.4 ' +
81
- 'encodes the abstract-level "α = O(1), within a factor ~2 of 1" ' +
82
- 'claim. perMaterialAlphas is null until upgraded from the paper.',
83
- };
84
- /**
85
- * The factor-2 band [0.5, 2] used to operationalize the "α_SYK is
86
- * O(1)" assumption in BE-23's docstring. This band is UPT's reading of
87
- * "O(1)" — it is not a number published by Legros et al.
88
- *
89
- * @public
90
- */
91
- export const PLANCKIAN_O1_BAND = [0.5, 2];
92
- /** Arbitrary positive parameters for the structural Drude≡evaluator check.
93
- * NOT material data — the identity holds for any positive values. */
94
- const STRUCTURAL_CHECK = {
95
- m_star_kg: 9.1093837015e-31, // electron mass, CODATA 2018 (convenience scale)
96
- n_e_per_m3: 1e28,
97
- T_K: 100,
98
- };
99
- /**
100
- * Confront BE-23's Planckian-dissipation encoding with the published
101
- * overdoped-cuprate α band (the framework's second real-data
102
- * confrontation, after BE-36 × GW170817).
103
- *
104
- * @public
105
- */
106
- export function confrontBE23(obs = PLANCKIAN_CUPRATES) {
107
- if (!(Number.isFinite(obs.alpha_aggregate) && obs.alpha_aggregate > 0)) {
108
- throw new RangeError('confrontBE23: alpha_aggregate must be finite and > 0');
109
- }
110
- if (!Array.isArray(obs.materials) || obs.materials.length === 0) {
111
- throw new RangeError('confrontBE23: materials must be a non-empty array');
112
- }
113
- if (obs.perMaterialAlphas !== null) {
114
- for (const row of obs.perMaterialAlphas) {
115
- if (!(Number.isFinite(row.alpha) && row.alpha > 0)) {
116
- throw new RangeError(`confrontBE23: per-material alpha for "${row.material}" must be finite and > 0`);
117
- }
118
- }
119
- }
120
- const { hbar, kB, e } = PhysicalConstants;
121
- const alpha = obs.alpha_aggregate;
122
- const planckianRateAt = (T_K) => {
123
- if (!(Number.isFinite(T_K) && T_K >= 0)) {
124
- throw new RangeError('planckianRateAt: T_K must be finite and ≥ 0');
125
- }
126
- return (alpha * kB * T_K) / hbar;
127
- };
128
- // All encoded α values within the O(1) band. At aggregate honesty
129
- // level there is exactly one: the central value (per-material rows,
130
- // when encoded, are all checked).
131
- const alphas = obs.perMaterialAlphas !== null
132
- ? obs.perMaterialAlphas.map((r) => r.alpha)
133
- : [alpha];
134
- const [bandLo, bandHi] = PLANCKIAN_O1_BAND;
135
- const withinPlanckianBand = alphas.every((a) => a >= bandLo && a <= bandHi);
136
- // Structural check: evaluator thermal term ≡ Drude × Planckian rate.
137
- const { m_star_kg, n_e_per_m3, T_K } = STRUCTURAL_CHECK;
138
- const viaEvaluator = evaluateSYKResistivity({
139
- rho_0: 0,
140
- m_star_kg,
141
- n_e_per_m3,
142
- T_K,
143
- alpha_SYK: alpha,
144
- });
145
- const viaDrude = (m_star_kg / (n_e_per_m3 * e * e)) * planckianRateAt(T_K);
146
- const encodedFormRelErr = Math.abs(viaEvaluator - viaDrude) / viaDrude;
147
- const encodedFormConsistent = encodedFormRelErr <= 1e-12;
148
- return {
149
- alphaAggregate: alpha,
150
- alphaAggregateErr: obs.alpha_aggregate_err,
151
- perMaterialAlphas: obs.perMaterialAlphas,
152
- planckianBand: PLANCKIAN_O1_BAND,
153
- withinPlanckianBand,
154
- planckianRateAt,
155
- encodedFormConsistent,
156
- encodedFormRelErr,
157
- note: 'AGGREGATE-level confrontation: only the abstract-level α = ' +
158
- '1.0 ± 0.4 claim of Legros et al. 2019 is encoded; the ' +
159
- 'per-material α table was not reproduced (perMaterialAlphas is ' +
160
- 'null). The verdict tests consistency of the published O(1) α ' +
161
- 'band with BE-23\'s α_SYK = O(1) assumption (band [0.5, 2] is ' +
162
- 'UPT\'s operationalization of "O(1)", not a published number). ' +
163
- 'No claim that SYK/UPT predicts α — BE-23 bundles α_SYK as a ' +
164
- 'free coefficient and remains status: speculative.',
165
- observation: obs,
166
- };
167
- }
168
- /**
169
- * `confrontBE23` + first-order propagation of the α uncertainty.
170
- *
171
- * @public
172
- */
173
- export function confrontBE23WithUncertainty(obs = PLANCKIAN_CUPRATES) {
174
- const base = confrontBE23(obs);
175
- const sigma = obs.alpha_aggregate_err;
176
- if (!(Number.isFinite(sigma) && sigma >= 0)) {
177
- throw new RangeError('confrontBE23WithUncertainty: alpha_aggregate_err must be finite and ≥ 0');
178
- }
179
- const { hbar, kB } = PhysicalConstants;
180
- const planckianRateSigmaAt = (T_K) => {
181
- if (!(Number.isFinite(T_K) && T_K >= 0)) {
182
- throw new RangeError('planckianRateSigmaAt: T_K must be finite and ≥ 0');
183
- }
184
- return (sigma * kB * T_K) / hbar;
185
- };
186
- const [bandLo, bandHi] = PLANCKIAN_O1_BAND;
187
- const withinPlanckianBandAtOneSigma = base.alphaAggregate - sigma >= bandLo &&
188
- base.alphaAggregate + sigma <= bandHi;
189
- return {
190
- ...base,
191
- alphaSigma: sigma,
192
- planckianRateSigmaAt,
193
- withinPlanckianBandAtOneSigma,
194
- };
195
- }
196
- //# sourceMappingURL=be23-planckian-confrontation.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be23-planckian-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be23-planckian-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AA2B5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAyB;IACtD,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC;IAClD,eAAe,EAAE,GAAG;IACpB,mBAAmB,EAAE,GAAG;IACxB,gEAAgE;IAChE,mEAAmE;IACnE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,iEAAiE;IACjE,iBAAiB,EAAE,IAAI;IACvB,oBAAoB,EAAE,WAAW;IACjC,QAAQ,EACN,6DAA6D;QAC7D,+DAA+D;QAC/D,+DAA+D;QAC/D,8DAA8D;QAC9D,2CAA2C;IAC7C,WAAW,EACT,iEAAiE;QACjE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;CACpE,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAsCrE;sEACsE;AACtE,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE,gBAAgB,EAAE,iDAAiD;IAC9E,UAAU,EAAE,IAAI;IAChB,GAAG,EAAE,GAAG;CACA,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAAyB,kBAAkB;IAE9C,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,GAAG,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACxC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,UAAU,CAClB,yCAAyC,GAAG,CAAC,QAAQ,0BAA0B,CAChF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,CAAC;IAClC,MAAM,eAAe,GAAG,CAAC,GAAW,EAAU,EAAE;QAC9C,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,6CAA6C,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACnC,CAAC,CAAC;IAEF,kEAAkE;IAClE,oEAAoE;IACpE,kCAAkC;IAClC,MAAM,MAAM,GACV,GAAG,CAAC,iBAAiB,KAAK,IAAI;QAC5B,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACd,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC;IAC3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC;IAE5E,qEAAqE;IACrE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,gBAAgB,CAAC;IACxD,MAAM,YAAY,GAAG,sBAAsB,CAAC;QAC1C,KAAK,EAAE,CAAC;QACR,SAAS;QACT,UAAU;QACV,GAAG;QACH,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,SAAS,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC;IACvE,MAAM,qBAAqB,GAAG,iBAAiB,IAAI,KAAK,CAAC;IAEzD,OAAO;QACL,cAAc,EAAE,KAAK;QACrB,iBAAiB,EAAE,GAAG,CAAC,mBAAmB;QAC1C,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;QACxC,aAAa,EAAE,iBAAiB;QAChC,mBAAmB;QACnB,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,IAAI,EACF,6DAA6D;YAC7D,wDAAwD;YACxD,gEAAgE;YAChE,+DAA+D;YAC/D,+DAA+D;YAC/D,gEAAgE;YAChE,8DAA8D;YAC9D,mDAAmD;QACrD,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC;AAuBD;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAG,GAAyB,kBAAkB;IAE9C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,CAAC;IACtC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAU,EAAE;QACnD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACnC,CAAC,CAAC;IACF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC;IAC3C,MAAM,6BAA6B,GACjC,IAAI,CAAC,cAAc,GAAG,KAAK,IAAI,MAAM;QACrC,IAAI,CAAC,cAAc,GAAG,KAAK,IAAI,MAAM,CAAC;IACxC,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,KAAK;QACjB,oBAAoB;QACpB,6BAA6B;KAC9B,CAAC;AACJ,CAAC"}
@@ -1,59 +0,0 @@
1
- /**
2
- * BE-35 × 3D Ising — confront the conformal-bootstrap prediction of the 3D Ising
3
- * critical exponent against experiment. BE-35 encodes the conformal-bootstrap
4
- * crossing equation; its flagship empirical consequence is the 3D Ising
5
- * universality-class critical exponents, which the numerical bootstrap pins
6
- * parameter-free. The correlation-length exponent ν = 1/(3 − Δ_ε) (from the
7
- * bootstrap operator dimension Δ_ε) confronts the ν measured at real 3D-Ising
8
- * critical points (liquid-vapor / binary-fluid systems) — an INDEPENDENT
9
- * determination, not a recompute.
10
- *
11
- * Honest caveat: the experimental precision (±0.002) is far coarser than the
12
- * bootstrap (±0.000004), so this confirms CONSISTENCY (the parameter-free CFT
13
- * prediction agrees with a real critical system) rather than stress-testing the
14
- * bootstrap. See the BE-35 confrontation design.
15
- *
16
- * @module bridges/be35-bootstrap-confrontation
17
- */
18
- import type { ObservationProvenance } from './observations/types.js';
19
- /** The conformal-bootstrap prediction of the 3D Ising ν exponent. @public */
20
- export declare const BOOTSTRAP_NU = 0.629971;
21
- /** 1σ on the bootstrap ν (from Δ_ε = 1.412625(10)). @public */
22
- export declare const BOOTSTRAP_NU_SIGMA = 0.000004;
23
- /** An independent measurement of the 3D-Ising correlation-length exponent ν. @public */
24
- export interface IsingExponentObservation {
25
- /** Measured correlation-length exponent ν. */
26
- readonly observed_nu: number;
27
- /** 1σ uncertainty on ν. */
28
- readonly sigma: number;
29
- readonly provenance: ObservationProvenance;
30
- }
31
- /**
32
- * Experimental 3D-Ising correlation-length exponent ν, averaged over liquid-vapor
33
- * and binary-fluid critical points (systems in the 3D Ising universality class).
34
- * ν = 0.630 ± 0.002.
35
- *
36
- * @public
37
- */
38
- export declare const ISING_PELISSETTO_VICARI_2002: IsingExponentObservation;
39
- /** Result of confronting BE-35 with a measured 3D-Ising exponent. @public */
40
- export interface BE35ConfrontationResult {
41
- /** Bootstrap-predicted ν. */
42
- readonly predicted_nu: number;
43
- /** Measured ν. */
44
- readonly observed_nu: number;
45
- /** 1σ on the measured ν. */
46
- readonly observed_sigma: number;
47
- /** |predicted − observed| in units of the observed 1σ. */
48
- readonly residual_in_sigma: number;
49
- /** The prediction lies within 1σ of the measurement. */
50
- readonly withinObserved: boolean;
51
- readonly observation: IsingExponentObservation;
52
- }
53
- /**
54
- * Confront BE-35's conformal-bootstrap 3D-Ising ν against a measured exponent.
55
- *
56
- * @public
57
- */
58
- export declare function confrontBE35(obs?: IsingExponentObservation): BE35ConfrontationResult;
59
- //# sourceMappingURL=be35-bootstrap-confrontation.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be35-bootstrap-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be35-bootstrap-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,6EAA6E;AAC7E,eAAO,MAAM,YAAY,WAAW,CAAC;AACrC,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,WAAW,CAAC;AAE3C,wFAAwF;AACxF,MAAM,WAAW,wBAAwB;IACvC,8CAA8C;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,2BAA2B;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,EAAE,wBAU1C,CAAC;AAEF,6EAA6E;AAC7E,MAAM,WAAW,uBAAuB;IACtC,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kBAAkB;IAClB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,wDAAwD;IACxD,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,wBAAuD,GAC3D,uBAAuB,CAUzB"}
@@ -1,39 +0,0 @@
1
- import { residualInSigma } from './observations/types.js';
2
- /** The conformal-bootstrap prediction of the 3D Ising ν exponent. @public */
3
- export const BOOTSTRAP_NU = 0.629971;
4
- /** 1σ on the bootstrap ν (from Δ_ε = 1.412625(10)). @public */
5
- export const BOOTSTRAP_NU_SIGMA = 0.000004;
6
- /**
7
- * Experimental 3D-Ising correlation-length exponent ν, averaged over liquid-vapor
8
- * and binary-fluid critical points (systems in the 3D Ising universality class).
9
- * ν = 0.630 ± 0.002.
10
- *
11
- * @public
12
- */
13
- export const ISING_PELISSETTO_VICARI_2002 = {
14
- observed_nu: 0.63,
15
- sigma: 0.002,
16
- provenance: {
17
- citation: 'Pelissetto & Vicari 2002, Phys. Rep. 368:549 ("Critical phenomena and renormalization-group theory"); experimental average over liquid-vapor / binary-fluid critical points (3D Ising universality class). Bootstrap prediction: Kos, Poland, Simmons-Duffin & Vichi 2016, JHEP 08:036 (arXiv:1603.04436), Delta_epsilon = 1.412625(10)',
18
- year: 2002,
19
- retrieved: '2026-07-04',
20
- note: 'INDEPENDENT determination (real critical systems), not a recompute of the bootstrap. Experimental precision (+/-0.002) is far coarser than the bootstrap (+/-0.000004): this confirms consistency of the parameter-free CFT prediction with a physical critical system, not a precision stress-test. Monte-Carlo values (e.g. Hasenbusch 2010, 0.63002(10)) were deliberately NOT used for the observed slot — bootstrap-vs-MC would be theory-vs-theory, not a data confrontation.',
21
- },
22
- };
23
- /**
24
- * Confront BE-35's conformal-bootstrap 3D-Ising ν against a measured exponent.
25
- *
26
- * @public
27
- */
28
- export function confrontBE35(obs = ISING_PELISSETTO_VICARI_2002) {
29
- const residual_in_sigma = residualInSigma(BOOTSTRAP_NU, obs.observed_nu, obs.sigma);
30
- return {
31
- predicted_nu: BOOTSTRAP_NU,
32
- observed_nu: obs.observed_nu,
33
- observed_sigma: obs.sigma,
34
- residual_in_sigma,
35
- withinObserved: residual_in_sigma <= 1,
36
- observation: obs,
37
- };
38
- }
39
- //# sourceMappingURL=be35-bootstrap-confrontation.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be35-bootstrap-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be35-bootstrap-confrontation.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AACrC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,QAAQ,CAAC;AAW3C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA6B;IACpE,WAAW,EAAE,IAAI;IACjB,KAAK,EAAE,KAAK;IACZ,UAAU,EAAE;QACV,QAAQ,EACN,yUAAyU;QAC3U,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,qdAAqd;KAC5d;CACF,CAAC;AAiBF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAA6B,4BAA4B;IAE5D,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACpF,OAAO;QACL,YAAY,EAAE,YAAY;QAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,cAAc,EAAE,GAAG,CAAC,KAAK;QACzB,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
@@ -1,111 +0,0 @@
1
- /**
2
- * BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
3
- * per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
4
- *
5
- * Recomputes the published GW170817/GRB 170817A graviton-speed bounds
6
- * from the observation record and confronts BE-36's encoded bound:
7
- *
8
- * upper = +c·Δt_obs / D (attributes the whole observed
9
- * 1.74 s lag to faster GW travel)
10
- * lower = −c·(t_delay,max − Δt_obs) / D
11
- * (assumes a 10 s intrinsic EM
12
- * emission delay, of which only
13
- * 1.74 s materialized)
14
- *
15
- * with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
16
- * (not the 40 Mpc central value). Published result:
17
- * −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
18
- * Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
19
- *
20
- * BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
21
- * `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
22
- * negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
23
- * `passesEncodedBound` therefore refers to the positive (GW-faster)
24
- * side only — see the result fields for the honest breakdown.
25
- *
26
- * @module bridges/be36-gw170817-confrontation
27
- */
28
- /**
29
- * A multi-messenger speed-bound observation record.
30
- *
31
- * @public
32
- */
33
- export interface GWSpeedObservation {
34
- /** Observed GW-merger → EM-onset lag (s). */
35
- readonly dt_obs_s: number;
36
- /** 1σ uncertainty on the lag (s). */
37
- readonly dt_obs_err_s: number;
38
- /** Central luminosity distance (Mpc). */
39
- readonly distance_central_mpc: number;
40
- /** Conservative LOWER distance bound used for the speed constraint (Mpc). */
41
- readonly distance_lower_mpc: number;
42
- /** Maximum assumed intrinsic EM-emission delay (s). */
43
- readonly emission_delay_max_s: number;
44
- readonly citation: string;
45
- }
46
- /**
47
- * The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
48
- * INTEGRAL).
49
- *
50
- * @public
51
- */
52
- export declare const GW170817: GWSpeedObservation;
53
- /**
54
- * Result of confronting BE-36 with a speed-bound observation.
55
- *
56
- * @public
57
- */
58
- export interface BE36ConfrontationResult {
59
- /** Recomputed upper bound on (c_GW − c)/c (positive, GW-faster side). */
60
- readonly upperBound: number;
61
- /** Recomputed lower bound on (c_GW − c)/c (negative, GW-slower side). */
62
- readonly lowerBound: number;
63
- /** Conservative distance used (m). */
64
- readonly distance_m: number;
65
- /**
66
- * Whether the recomputed POSITIVE side satisfies BE-36's encoded
67
- * |ratio| ≤ 1e-15. The encoded bound is symmetric; the published
68
- * negative side (−3e-15) does not satisfy it — see `note`.
69
- */
70
- readonly passesEncodedBound: boolean;
71
- /** BE-36's encoded bound is two-sided (`Math.abs`). */
72
- readonly encodedBoundIsSymmetric: true;
73
- readonly encodedBound: number;
74
- readonly note: string;
75
- readonly observation: GWSpeedObservation;
76
- }
77
- /**
78
- * Recompute the GW170817-style speed bounds from an observation record
79
- * and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
80
- * first confrontation with real experimental data rather than
81
- * reproduction of a closed form).
82
- *
83
- * @public
84
- */
85
- export declare function confrontBE36(obs?: GWSpeedObservation): BE36ConfrontationResult;
86
- /**
87
- * Confrontation result with first-order uncertainty (v0.10.0 T4).
88
- *
89
- * Propagates σ(Δt_obs) = ±0.05 s only: both bounds are linear in
90
- * Δt_obs (|∂bound/∂Δt| = c/D), so σ_bound = (c/D)·σ_Δt. The distance
91
- * enters as the paper's deliberately-conservative LOWER bound (26 Mpc)
92
- * — a bound, not a central value — so propagating a distance σ on top
93
- * would double-count conservatism; documented, not hidden.
94
- *
95
- * @public
96
- */
97
- export interface BE36ConfrontationWithUncertainty extends BE36ConfrontationResult {
98
- /** 1σ on the positive (GW-faster) bound, from σ(Δt_obs). */
99
- readonly upperBoundSigma: number;
100
- /** 1σ on the negative (GW-slower) bound, from σ(Δt_obs). */
101
- readonly lowerBoundSigma: number;
102
- }
103
- /**
104
- * `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
105
- * — the G-3 "uncertainty propagates" claim, delivered for the data
106
- * confrontation).
107
- *
108
- * @public
109
- */
110
- export declare function confrontBE36WithUncertainty(obs?: GWSpeedObservation): BE36ConfrontationWithUncertainty;
111
- //# sourceMappingURL=be36-gw170817-confrontation.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be36-gw170817-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAQH;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yCAAyC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,uDAAuD;IACvD,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,kBAStB,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sCAAsC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,uDAAuD;IACvD,QAAQ,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,kBAA6B,GACjC,uBAAuB,CAyCzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCACf,SAAQ,uBAAuB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,GAAE,kBAA6B,GACjC,gCAAgC,CASlC"}
@@ -1,100 +0,0 @@
1
- /**
2
- * BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
3
- * per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
4
- *
5
- * Recomputes the published GW170817/GRB 170817A graviton-speed bounds
6
- * from the observation record and confronts BE-36's encoded bound:
7
- *
8
- * upper = +c·Δt_obs / D (attributes the whole observed
9
- * 1.74 s lag to faster GW travel)
10
- * lower = −c·(t_delay,max − Δt_obs) / D
11
- * (assumes a 10 s intrinsic EM
12
- * emission delay, of which only
13
- * 1.74 s materialized)
14
- *
15
- * with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
16
- * (not the 40 Mpc central value). Published result:
17
- * −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
18
- * Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
19
- *
20
- * BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
21
- * `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
22
- * negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
23
- * `passesEncodedBound` therefore refers to the positive (GW-faster)
24
- * side only — see the result fields for the honest breakdown.
25
- *
26
- * @module bridges/be36-gw170817-confrontation
27
- */
28
- import { C_SI } from '../core/constants.js';
29
- import { GW170817_SPEED_BOUND } from './equations/be-36-gw-speed-bound.js';
30
- /** Metres per megaparsec (repo-conventional literal, cf. H0_SI). */
31
- const MPC_M = 3.0857e22;
32
- /**
33
- * The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
34
- * INTEGRAL).
35
- *
36
- * @public
37
- */
38
- export const GW170817 = {
39
- dt_obs_s: 1.74,
40
- dt_obs_err_s: 0.05,
41
- distance_central_mpc: 40,
42
- distance_lower_mpc: 26,
43
- emission_delay_max_s: 10,
44
- citation: 'Abbott et al. 2017 ApJ Lett. 848:L13 (arXiv:1710.05832), §3 ' +
45
- '"Speed of Gravity"',
46
- };
47
- /**
48
- * Recompute the GW170817-style speed bounds from an observation record
49
- * and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
50
- * first confrontation with real experimental data rather than
51
- * reproduction of a closed form).
52
- *
53
- * @public
54
- */
55
- export function confrontBE36(obs = GW170817) {
56
- if (!(Number.isFinite(obs.dt_obs_s) && obs.dt_obs_s > 0)) {
57
- throw new RangeError('confrontBE36: dt_obs_s must be finite and > 0');
58
- }
59
- if (!(Number.isFinite(obs.distance_lower_mpc) && obs.distance_lower_mpc > 0)) {
60
- throw new RangeError('confrontBE36: distance_lower_mpc must be finite and > 0');
61
- }
62
- if (!(Number.isFinite(obs.emission_delay_max_s) &&
63
- obs.emission_delay_max_s >= obs.dt_obs_s)) {
64
- throw new RangeError('confrontBE36: emission_delay_max_s must be finite and ≥ dt_obs_s ' +
65
- '(the lower bound assumes the intrinsic delay exceeds the observed lag)');
66
- }
67
- const distance_m = obs.distance_lower_mpc * MPC_M;
68
- const upperBound = (C_SI * obs.dt_obs_s) / distance_m;
69
- const lowerBound = (-C_SI * (obs.emission_delay_max_s - obs.dt_obs_s)) / distance_m;
70
- return {
71
- upperBound,
72
- lowerBound,
73
- distance_m,
74
- passesEncodedBound: upperBound <= GW170817_SPEED_BOUND,
75
- encodedBoundIsSymmetric: true,
76
- encodedBound: GW170817_SPEED_BOUND,
77
- note: 'The encoded BE-36 bound |ratio| ≤ 1e-15 is a symmetric ' +
78
- 'simplification; the published bound is asymmetric ' +
79
- '(−3e-15 ≤ ratio ≤ +7e-16) and its negative side exceeds the ' +
80
- 'symmetric encoding. passesEncodedBound refers to the positive ' +
81
- 'side only.',
82
- observation: obs,
83
- };
84
- }
85
- /**
86
- * `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
87
- * — the G-3 "uncertainty propagates" claim, delivered for the data
88
- * confrontation).
89
- *
90
- * @public
91
- */
92
- export function confrontBE36WithUncertainty(obs = GW170817) {
93
- const base = confrontBE36(obs);
94
- if (!(Number.isFinite(obs.dt_obs_err_s) && obs.dt_obs_err_s >= 0)) {
95
- throw new RangeError('confrontBE36WithUncertainty: dt_obs_err_s must be finite and ≥ 0');
96
- }
97
- const sigma = (C_SI * obs.dt_obs_err_s) / base.distance_m;
98
- return { ...base, upperBoundSigma: sigma, lowerBoundSigma: sigma };
99
- }
100
- //# sourceMappingURL=be36-gw170817-confrontation.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be36-gw170817-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,oEAAoE;AACpE,MAAM,KAAK,GAAG,SAAS,CAAC;AAqBxB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,oBAAoB,EAAE,EAAE;IACxB,kBAAkB,EAAE,EAAE;IACtB,oBAAoB,EAAE,EAAE;IACxB,QAAQ,EACN,8DAA8D;QAC9D,oBAAoB;CACvB,CAAC;AA2BF;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAAuB,QAAQ;IAElC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC,kBAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,UAAU,CAClB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IACE,CAAC,CACC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACzC,GAAG,CAAC,oBAAoB,IAAI,GAAG,CAAC,QAAQ,CACzC,EACD,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,mEAAmE;YACjE,wEAAwE,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC;IACtD,MAAM,UAAU,GACd,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,oBAAoB,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,UAAU,CAAC;IAEnE,OAAO;QACL,UAAU;QACV,UAAU;QACV,UAAU;QACV,kBAAkB,EAAE,UAAU,IAAI,oBAAoB;QACtD,uBAAuB,EAAE,IAAI;QAC7B,YAAY,EAAE,oBAAoB;QAClC,IAAI,EACF,yDAAyD;YACzD,oDAAoD;YACpD,8DAA8D;YAC9D,gEAAgE;YAChE,YAAY;QACd,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC;AAqBD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAG,GAAuB,QAAQ;IAElC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,UAAU,CAClB,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1D,OAAO,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AACrE,CAAC"}
@@ -1,43 +0,0 @@
1
- /**
2
- * BE-37 × Cassini — confront the Shapiro-delay bridge with the Cassini
3
- * radio-link measurement of the PPN parameter γ (Bertotti, Iess & Tortora
4
- * 2003). BE-37 encodes the γ=1 general-relativistic Shapiro delay, so the
5
- * bridge PREDICTS γ = 1 exactly; the confrontation observable is the
6
- * measured γ. This is the framework's first Shapiro/PPN data confrontation
7
- * (be-37 has a numerical validation anchor but no data confrontation before
8
- * this). Value-kind.
9
- *
10
- * @module bridges/be37-cassini-confrontation
11
- */
12
- import type { ObservationProvenance } from './observations/types.js';
13
- /** A PPN-γ observation record. @public */
14
- export interface CassiniObservation {
15
- /** Measured PPN parameter γ (dimensionless). */
16
- readonly observed_gamma: number;
17
- /** 1σ on the measured γ. */
18
- readonly observed_gamma_sigma: number;
19
- readonly provenance: ObservationProvenance;
20
- }
21
- /**
22
- * Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
23
- * γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
24
- *
25
- * @public
26
- */
27
- export declare const CASSINI: CassiniObservation;
28
- /** Result of confronting BE-37 with a PPN-γ measurement. @public */
29
- export interface BE37ConfrontationResult {
30
- /** BE-37 predicts γ = 1 (GR Shapiro form). */
31
- readonly predicted_gamma: number;
32
- readonly observed_gamma: number;
33
- readonly residual_in_sigma: number;
34
- readonly withinObserved: boolean;
35
- readonly observation: CassiniObservation;
36
- }
37
- /**
38
- * Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
39
- *
40
- * @public
41
- */
42
- export declare function confrontBE37(obs?: CassiniObservation): BE37ConfrontationResult;
43
- //# sourceMappingURL=be37-cassini-confrontation.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be37-cassini-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,kBASrB,CAAC;AAEF,oEAAoE;AACpE,MAAM,WAAW,uBAAuB;IACtC,8CAA8C;IAC9C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,GAAE,kBAA4B,GAAG,uBAAuB,CAUvF"}
@@ -1,34 +0,0 @@
1
- import { residualInSigma } from './observations/types.js';
2
- /**
3
- * Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
4
- * γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
5
- *
6
- * @public
7
- */
8
- export const CASSINI = {
9
- observed_gamma: 1 + 2.1e-5,
10
- observed_gamma_sigma: 2.3e-5,
11
- provenance: {
12
- citation: 'Bertotti, Iess & Tortora 2003, Nature 425:374-376 (Cassini radio-link Shapiro delay, June 2002 solar conjunction)',
13
- year: 2003,
14
- retrieved: '2026-07-02',
15
- note: 'BE-37 encodes the gamma=1 GR Shapiro form, so the predicted PPN gamma is exactly 1; the observable confronted is Cassini gamma.',
16
- },
17
- };
18
- /**
19
- * Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
20
- *
21
- * @public
22
- */
23
- export function confrontBE37(obs = CASSINI) {
24
- const predicted_gamma = 1;
25
- const residual_in_sigma = residualInSigma(predicted_gamma, obs.observed_gamma, obs.observed_gamma_sigma);
26
- return {
27
- predicted_gamma,
28
- observed_gamma: obs.observed_gamma,
29
- residual_in_sigma,
30
- withinObserved: residual_in_sigma <= 1,
31
- observation: obs,
32
- };
33
- }
34
- //# sourceMappingURL=be37-cassini-confrontation.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"be37-cassini-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAW1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAuB;IACzC,cAAc,EAAE,CAAC,GAAG,MAAM;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,UAAU,EAAE;QACV,QAAQ,EAAE,mHAAmH;QAC7H,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,iIAAiI;KACxI;CACF,CAAC;AAYF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,GAAuB,OAAO;IAC5D,MAAM,eAAe,GAAG,CAAC,CAAC;IAC1B,MAAM,iBAAiB,GAAG,eAAe,CAAC,eAAe,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACzG,OAAO;QACL,eAAe;QACf,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}