universal-physics-tensor 0.47.0 → 1.0.1

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 (591) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +396 -383
  3. package/bin/upt.mjs +28 -22
  4. package/dist/atlas/benchmark/hybrid-retrieval.d.ts +108 -0
  5. package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -0
  6. package/dist/atlas/benchmark/hybrid-retrieval.js +241 -0
  7. package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -0
  8. package/dist/atlas/catalog-formal-ref.d.ts +24 -0
  9. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -0
  10. package/dist/atlas/catalog-formal-ref.js +36 -0
  11. package/dist/atlas/catalog-formal-ref.js.map +1 -0
  12. package/dist/atlas/composition-table.d.ts +11 -46
  13. package/dist/atlas/composition-table.d.ts.map +1 -1
  14. package/dist/atlas/composition-table.js +7 -124
  15. package/dist/atlas/composition-table.js.map +1 -1
  16. package/dist/atlas/conventions.d.ts +4 -58
  17. package/dist/atlas/conventions.d.ts.map +1 -1
  18. package/dist/atlas/conventions.js +3 -88
  19. package/dist/atlas/conventions.js.map +1 -1
  20. package/dist/atlas/derive-evidence.d.ts +50 -3
  21. package/dist/atlas/derive-evidence.d.ts.map +1 -1
  22. package/dist/atlas/derive-evidence.js +73 -4
  23. package/dist/atlas/derive-evidence.js.map +1 -1
  24. package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -1
  25. package/dist/atlas/diffusion/bridges-closure.js +5 -1
  26. package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
  27. package/dist/atlas/index.d.ts +9 -7
  28. package/dist/atlas/index.d.ts.map +1 -1
  29. package/dist/atlas/index.js +6 -5
  30. package/dist/atlas/index.js.map +1 -1
  31. package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
  32. package/dist/atlas/oscillators/bridges-exact.js +6 -0
  33. package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
  34. package/dist/atlas/oscillators/bridges-limits.d.ts +2 -0
  35. package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
  36. package/dist/atlas/oscillators/bridges-limits.js +20 -19
  37. package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
  38. package/dist/atlas/oscillators/limit-witnesses.d.ts +93 -0
  39. package/dist/atlas/oscillators/limit-witnesses.d.ts.map +1 -0
  40. package/dist/atlas/oscillators/limit-witnesses.js +152 -0
  41. package/dist/atlas/oscillators/limit-witnesses.js.map +1 -0
  42. package/dist/atlas/oscillators/models.d.ts +2 -1
  43. package/dist/atlas/oscillators/models.d.ts.map +1 -1
  44. package/dist/atlas/oscillators/models.js +4 -3
  45. package/dist/atlas/oscillators/models.js.map +1 -1
  46. package/dist/atlas/oscillators/norm-transport-witness.d.ts +37 -0
  47. package/dist/atlas/oscillators/norm-transport-witness.d.ts.map +1 -0
  48. package/dist/atlas/oscillators/norm-transport-witness.js +58 -0
  49. package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -0
  50. package/dist/atlas/oscillators/norm-transport.d.ts +44 -0
  51. package/dist/atlas/oscillators/norm-transport.d.ts.map +1 -0
  52. package/dist/atlas/oscillators/norm-transport.js +66 -0
  53. package/dist/atlas/oscillators/norm-transport.js.map +1 -0
  54. package/dist/atlas/oscillators/norms.d.ts +11 -0
  55. package/dist/atlas/oscillators/norms.d.ts.map +1 -0
  56. package/dist/atlas/oscillators/norms.js +11 -0
  57. package/dist/atlas/oscillators/norms.js.map +1 -0
  58. package/dist/atlas/oscillators/pendulum-motion.d.ts +38 -0
  59. package/dist/atlas/oscillators/pendulum-motion.d.ts.map +1 -0
  60. package/dist/atlas/oscillators/pendulum-motion.js +122 -0
  61. package/dist/atlas/oscillators/pendulum-motion.js.map +1 -0
  62. package/dist/atlas/oscillators/phase-carriage.d.ts +38 -0
  63. package/dist/atlas/oscillators/phase-carriage.d.ts.map +1 -0
  64. package/dist/atlas/oscillators/phase-carriage.js +96 -0
  65. package/dist/atlas/oscillators/phase-carriage.js.map +1 -0
  66. package/dist/atlas/oscillators/phase-translation.d.ts +46 -0
  67. package/dist/atlas/oscillators/phase-translation.d.ts.map +1 -0
  68. package/dist/atlas/oscillators/phase-translation.js +178 -0
  69. package/dist/atlas/oscillators/phase-translation.js.map +1 -0
  70. package/dist/atlas/oscillators/position-translation.d.ts +59 -0
  71. package/dist/atlas/oscillators/position-translation.d.ts.map +1 -0
  72. package/dist/atlas/oscillators/position-translation.js +254 -0
  73. package/dist/atlas/oscillators/position-translation.js.map +1 -0
  74. package/dist/atlas/path-bound.d.ts +126 -9
  75. package/dist/atlas/path-bound.d.ts.map +1 -1
  76. package/dist/atlas/path-bound.js +372 -23
  77. package/dist/atlas/path-bound.js.map +1 -1
  78. package/dist/atlas/physjs-ref.d.ts +112 -0
  79. package/dist/atlas/physjs-ref.d.ts.map +1 -0
  80. package/dist/atlas/physjs-ref.js +842 -0
  81. package/dist/atlas/physjs-ref.js.map +1 -0
  82. package/dist/atlas/regime.d.ts +12 -136
  83. package/dist/atlas/regime.d.ts.map +1 -1
  84. package/dist/atlas/regime.js +8 -254
  85. package/dist/atlas/regime.js.map +1 -1
  86. package/dist/atlas/serialize.d.ts.map +1 -1
  87. package/dist/atlas/serialize.js +25 -0
  88. package/dist/atlas/serialize.js.map +1 -1
  89. package/dist/atlas/translation-registry.d.ts +22 -0
  90. package/dist/atlas/translation-registry.d.ts.map +1 -0
  91. package/dist/atlas/translation-registry.js +31 -0
  92. package/dist/atlas/translation-registry.js.map +1 -0
  93. package/dist/atlas/translation.d.ts +116 -0
  94. package/dist/atlas/translation.d.ts.map +1 -0
  95. package/dist/atlas/translation.js +34 -0
  96. package/dist/atlas/translation.js.map +1 -0
  97. package/dist/atlas/types.d.ts +74 -240
  98. package/dist/atlas/types.d.ts.map +1 -1
  99. package/dist/atlas/types.js +5 -37
  100. package/dist/atlas/types.js.map +1 -1
  101. package/dist/atlas/waves/bridges-closure.d.ts.map +1 -1
  102. package/dist/atlas/waves/bridges-closure.js +4 -0
  103. package/dist/atlas/waves/bridges-closure.js.map +1 -1
  104. package/dist/atlas/waves/bridges.d.ts.map +1 -1
  105. package/dist/atlas/waves/bridges.js +3 -0
  106. package/dist/atlas/waves/bridges.js.map +1 -1
  107. package/dist/atlas/waves/models.js +1 -1
  108. package/dist/atlas/waves/models.js.map +1 -1
  109. package/dist/atlas/witness-dominance.d.ts +50 -0
  110. package/dist/atlas/witness-dominance.d.ts.map +1 -0
  111. package/dist/atlas/witness-dominance.js +86 -0
  112. package/dist/atlas/witness-dominance.js.map +1 -0
  113. package/dist/atlas/witness-specs.d.ts +30 -0
  114. package/dist/atlas/witness-specs.d.ts.map +1 -1
  115. package/dist/atlas/witness-specs.js +107 -0
  116. package/dist/atlas/witness-specs.js.map +1 -1
  117. package/dist/bridges/be53-yang-mills-confrontation.d.ts +81 -0
  118. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +1 -0
  119. package/dist/bridges/be53-yang-mills-confrontation.js +110 -0
  120. package/dist/bridges/be53-yang-mills-confrontation.js.map +1 -0
  121. package/dist/bridges/confrontations.d.ts +1 -1
  122. package/dist/bridges/confrontations.d.ts.map +1 -1
  123. package/dist/bridges/confrontations.js +291 -3
  124. package/dist/bridges/confrontations.js.map +1 -1
  125. package/dist/bridges/equations/be-13-einstein-trace.d.ts +2 -3
  126. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +1 -1
  127. package/dist/bridges/equations/be-13-einstein-trace.js +2 -3
  128. package/dist/bridges/equations/be-13-einstein-trace.js.map +1 -1
  129. package/dist/bridges/equations/be-38-mond.d.ts +7 -5
  130. package/dist/bridges/equations/be-38-mond.d.ts.map +1 -1
  131. package/dist/bridges/equations/be-38-mond.js +7 -5
  132. package/dist/bridges/equations/be-38-mond.js.map +1 -1
  133. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +21 -0
  134. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +1 -1
  135. package/dist/bridges/equations/be-53-yang-mills-beta.js +12 -0
  136. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +1 -1
  137. package/dist/bridges/evaluator-inputs.d.ts +21 -0
  138. package/dist/bridges/evaluator-inputs.d.ts.map +1 -0
  139. package/dist/bridges/evaluator-inputs.js +75 -0
  140. package/dist/bridges/evaluator-inputs.js.map +1 -0
  141. package/dist/bridges/evaluators.d.ts +38 -0
  142. package/dist/bridges/evaluators.d.ts.map +1 -1
  143. package/dist/bridges/evaluators.js +41 -15
  144. package/dist/bridges/evaluators.js.map +1 -1
  145. package/dist/bridges/gravitational-lensing.d.ts +1 -1
  146. package/dist/bridges/gravitational-lensing.js +1 -1
  147. package/dist/bridges/index.d.ts +1 -1
  148. package/dist/bridges/index.d.ts.map +1 -1
  149. package/dist/bridges/index.js +13 -13
  150. package/dist/bridges/index.js.map +1 -1
  151. package/dist/bridges/observations/types.d.ts +110 -2
  152. package/dist/bridges/observations/types.d.ts.map +1 -1
  153. package/dist/bridges/observations/types.js +29 -0
  154. package/dist/bridges/observations/types.js.map +1 -1
  155. package/dist/bridges/perihelion-precession.d.ts +1 -1
  156. package/dist/bridges/perihelion-precession.js +1 -1
  157. package/dist/canonical/canonical-equation.d.ts +1 -1
  158. package/dist/canonical/canonical-equation.d.ts.map +1 -1
  159. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  160. package/dist/canonical/entries/atomic.js +32 -10
  161. package/dist/canonical/entries/atomic.js.map +1 -1
  162. package/dist/canonical/entries/dimensional-classics.js +2 -2
  163. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  164. package/dist/canonical/entries/mechanics.d.ts.map +1 -1
  165. package/dist/canonical/entries/mechanics.js +10 -6
  166. package/dist/canonical/entries/mechanics.js.map +1 -1
  167. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  168. package/dist/canonical/entries/relativity.js +41 -8
  169. package/dist/canonical/entries/relativity.js.map +1 -1
  170. package/dist/canonical/entries/thermo-nuclear-cosmo.js +5 -5
  171. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  172. package/dist/canonical/linkage.d.ts.map +1 -1
  173. package/dist/canonical/linkage.js +14 -8
  174. package/dist/canonical/linkage.js.map +1 -1
  175. package/dist/canonical/normal-form.d.ts +17 -0
  176. package/dist/canonical/normal-form.d.ts.map +1 -1
  177. package/dist/canonical/normal-form.js +21 -4
  178. package/dist/canonical/normal-form.js.map +1 -1
  179. package/dist/cases/brownian-sphere.d.ts +68 -0
  180. package/dist/cases/brownian-sphere.d.ts.map +1 -0
  181. package/dist/cases/brownian-sphere.js +353 -0
  182. package/dist/cases/brownian-sphere.js.map +1 -0
  183. package/dist/cases/damped-resonator.d.ts +23 -0
  184. package/dist/cases/damped-resonator.d.ts.map +1 -0
  185. package/dist/cases/damped-resonator.js +224 -0
  186. package/dist/cases/damped-resonator.js.map +1 -0
  187. package/dist/cases/index.d.ts +11 -0
  188. package/dist/cases/index.d.ts.map +1 -0
  189. package/dist/cases/index.js +29 -0
  190. package/dist/cases/index.js.map +1 -0
  191. package/dist/cases/kepler-rv.d.ts +13 -0
  192. package/dist/cases/kepler-rv.d.ts.map +1 -0
  193. package/dist/cases/kepler-rv.js +168 -0
  194. package/dist/cases/kepler-rv.js.map +1 -0
  195. package/dist/cases/lumped-cooling.d.ts +46 -0
  196. package/dist/cases/lumped-cooling.d.ts.map +1 -0
  197. package/dist/cases/lumped-cooling.js +261 -0
  198. package/dist/cases/lumped-cooling.js.map +1 -0
  199. package/dist/cases/quadrature.d.ts +14 -0
  200. package/dist/cases/quadrature.d.ts.map +1 -0
  201. package/dist/cases/quadrature.js +41 -0
  202. package/dist/cases/quadrature.js.map +1 -0
  203. package/dist/cases/resistor-noise.d.ts +14 -0
  204. package/dist/cases/resistor-noise.d.ts.map +1 -0
  205. package/dist/cases/resistor-noise.js +210 -0
  206. package/dist/cases/resistor-noise.js.map +1 -0
  207. package/dist/cases/skin-depth.d.ts +21 -0
  208. package/dist/cases/skin-depth.d.ts.map +1 -0
  209. package/dist/cases/skin-depth.js +174 -0
  210. package/dist/cases/skin-depth.js.map +1 -0
  211. package/dist/cases/types.d.ts +115 -0
  212. package/dist/cases/types.d.ts.map +1 -0
  213. package/dist/cases/types.js +20 -0
  214. package/dist/cases/types.js.map +1 -0
  215. package/dist/cli/commands/_atlas-map.d.ts +409 -0
  216. package/dist/cli/commands/_atlas-map.d.ts.map +1 -0
  217. package/dist/cli/commands/_atlas-map.js +1014 -0
  218. package/dist/cli/commands/_atlas-map.js.map +1 -0
  219. package/dist/cli/commands/_atlas-route.d.ts +111 -0
  220. package/dist/cli/commands/_atlas-route.d.ts.map +1 -0
  221. package/dist/cli/commands/_atlas-route.js +140 -0
  222. package/dist/cli/commands/_atlas-route.js.map +1 -0
  223. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  224. package/dist/cli/commands/_discovery-opts.js +10 -1
  225. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  226. package/dist/cli/commands/atlas.d.ts +20 -0
  227. package/dist/cli/commands/atlas.d.ts.map +1 -1
  228. package/dist/cli/commands/atlas.js +333 -19
  229. package/dist/cli/commands/atlas.js.map +1 -1
  230. package/dist/cli/commands/audit.d.ts.map +1 -1
  231. package/dist/cli/commands/audit.js +14 -5
  232. package/dist/cli/commands/audit.js.map +1 -1
  233. package/dist/cli/commands/axes.js +4 -4
  234. package/dist/cli/commands/candidates.d.ts.map +1 -1
  235. package/dist/cli/commands/candidates.js +6 -5
  236. package/dist/cli/commands/candidates.js.map +1 -1
  237. package/dist/cli/commands/canonical.d.ts.map +1 -1
  238. package/dist/cli/commands/canonical.js +41 -12
  239. package/dist/cli/commands/canonical.js.map +1 -1
  240. package/dist/cli/commands/confront.d.ts.map +1 -1
  241. package/dist/cli/commands/confront.js +210 -28
  242. package/dist/cli/commands/confront.js.map +1 -1
  243. package/dist/cli/commands/connectors.d.ts.map +1 -1
  244. package/dist/cli/commands/connectors.js +11 -10
  245. package/dist/cli/commands/connectors.js.map +1 -1
  246. package/dist/cli/commands/coverage.js +3 -3
  247. package/dist/cli/commands/derive.d.ts.map +1 -1
  248. package/dist/cli/commands/derive.js +22 -10
  249. package/dist/cli/commands/derive.js.map +1 -1
  250. package/dist/cli/commands/discover.d.ts.map +1 -1
  251. package/dist/cli/commands/discover.js +149 -32
  252. package/dist/cli/commands/discover.js.map +1 -1
  253. package/dist/cli/commands/eval.d.ts.map +1 -1
  254. package/dist/cli/commands/eval.js +76 -17
  255. package/dist/cli/commands/eval.js.map +1 -1
  256. package/dist/cli/commands/evaluate.d.ts +30 -0
  257. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  258. package/dist/cli/commands/evaluate.js +440 -25
  259. package/dist/cli/commands/evaluate.js.map +1 -1
  260. package/dist/cli/commands/explain.d.ts.map +1 -1
  261. package/dist/cli/commands/explain.js +38 -11
  262. package/dist/cli/commands/explain.js.map +1 -1
  263. package/dist/cli/commands/frontier.d.ts +3 -0
  264. package/dist/cli/commands/frontier.d.ts.map +1 -0
  265. package/dist/cli/commands/frontier.js +28 -0
  266. package/dist/cli/commands/frontier.js.map +1 -0
  267. package/dist/cli/commands/ground.d.ts.map +1 -1
  268. package/dist/cli/commands/ground.js +37 -12
  269. package/dist/cli/commands/ground.js.map +1 -1
  270. package/dist/cli/commands/index.d.ts +5 -0
  271. package/dist/cli/commands/index.d.ts.map +1 -1
  272. package/dist/cli/commands/index.js +5 -0
  273. package/dist/cli/commands/index.js.map +1 -1
  274. package/dist/cli/commands/map.d.ts +8 -0
  275. package/dist/cli/commands/map.d.ts.map +1 -1
  276. package/dist/cli/commands/map.js +401 -64
  277. package/dist/cli/commands/map.js.map +1 -1
  278. package/dist/cli/commands/metric.d.ts +3 -0
  279. package/dist/cli/commands/metric.d.ts.map +1 -0
  280. package/dist/cli/commands/metric.js +136 -0
  281. package/dist/cli/commands/metric.js.map +1 -0
  282. package/dist/cli/commands/path.d.ts +109 -1
  283. package/dist/cli/commands/path.d.ts.map +1 -1
  284. package/dist/cli/commands/path.js +1019 -109
  285. package/dist/cli/commands/path.js.map +1 -1
  286. package/dist/cli/commands/predict.d.ts.map +1 -1
  287. package/dist/cli/commands/predict.js +6 -5
  288. package/dist/cli/commands/predict.js.map +1 -1
  289. package/dist/cli/commands/priority.d.ts.map +1 -1
  290. package/dist/cli/commands/priority.js +4 -3
  291. package/dist/cli/commands/priority.js.map +1 -1
  292. package/dist/cli/commands/probe.d.ts +7 -0
  293. package/dist/cli/commands/probe.d.ts.map +1 -1
  294. package/dist/cli/commands/probe.js +234 -52
  295. package/dist/cli/commands/probe.js.map +1 -1
  296. package/dist/cli/commands/recover.d.ts.map +1 -1
  297. package/dist/cli/commands/recover.js +17 -6
  298. package/dist/cli/commands/recover.js.map +1 -1
  299. package/dist/cli/commands/regime.d.ts +1 -1
  300. package/dist/cli/commands/regime.d.ts.map +1 -1
  301. package/dist/cli/commands/regime.js +134 -33
  302. package/dist/cli/commands/regime.js.map +1 -1
  303. package/dist/cli/commands/retrieve.d.ts +3 -0
  304. package/dist/cli/commands/retrieve.d.ts.map +1 -0
  305. package/dist/cli/commands/retrieve.js +65 -0
  306. package/dist/cli/commands/retrieve.js.map +1 -0
  307. package/dist/cli/commands/search.d.ts +3 -0
  308. package/dist/cli/commands/search.d.ts.map +1 -0
  309. package/dist/cli/commands/search.js +70 -0
  310. package/dist/cli/commands/search.js.map +1 -0
  311. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  312. package/dist/cli/commands/symbolic.js +112 -21
  313. package/dist/cli/commands/symbolic.js.map +1 -1
  314. package/dist/cli/commands/testplan.d.ts +3 -0
  315. package/dist/cli/commands/testplan.d.ts.map +1 -0
  316. package/dist/cli/commands/testplan.js +131 -0
  317. package/dist/cli/commands/testplan.js.map +1 -0
  318. package/dist/cli/conventions.d.ts +22 -0
  319. package/dist/cli/conventions.d.ts.map +1 -0
  320. package/dist/cli/conventions.js +48 -0
  321. package/dist/cli/conventions.js.map +1 -0
  322. package/dist/cli/euler-guard.d.ts +9 -0
  323. package/dist/cli/euler-guard.d.ts.map +1 -0
  324. package/dist/cli/euler-guard.js +11 -0
  325. package/dist/cli/euler-guard.js.map +1 -0
  326. package/dist/cli/eval-numbers.d.ts +26 -0
  327. package/dist/cli/eval-numbers.d.ts.map +1 -0
  328. package/dist/cli/eval-numbers.js +49 -0
  329. package/dist/cli/eval-numbers.js.map +1 -0
  330. package/dist/cli/expr-print.d.ts +25 -0
  331. package/dist/cli/expr-print.d.ts.map +1 -0
  332. package/dist/cli/expr-print.js +123 -0
  333. package/dist/cli/expr-print.js.map +1 -0
  334. package/dist/cli/graphs.d.ts +26 -0
  335. package/dist/cli/graphs.d.ts.map +1 -1
  336. package/dist/cli/graphs.js +19 -0
  337. package/dist/cli/graphs.js.map +1 -1
  338. package/dist/cli/main.d.ts +4 -10
  339. package/dist/cli/main.d.ts.map +1 -1
  340. package/dist/cli/main.js +370 -167
  341. package/dist/cli/main.js.map +1 -1
  342. package/dist/cli/map-evidence.d.ts +47 -0
  343. package/dist/cli/map-evidence.d.ts.map +1 -0
  344. package/dist/cli/map-evidence.js +53 -0
  345. package/dist/cli/map-evidence.js.map +1 -0
  346. package/dist/cli/output.d.ts +21 -1
  347. package/dist/cli/output.d.ts.map +1 -1
  348. package/dist/cli/output.js +5 -1
  349. package/dist/cli/output.js.map +1 -1
  350. package/dist/{composition → cli}/poster-source.d.ts +3 -2
  351. package/dist/cli/poster-source.d.ts.map +1 -0
  352. package/dist/{composition → cli}/poster-source.js +2 -1
  353. package/dist/cli/poster-source.js.map +1 -0
  354. package/dist/cli/record-reach.d.ts +44 -0
  355. package/dist/cli/record-reach.d.ts.map +1 -0
  356. package/dist/cli/record-reach.js +228 -0
  357. package/dist/cli/record-reach.js.map +1 -0
  358. package/dist/cli/record-tables.d.ts +38 -0
  359. package/dist/cli/record-tables.d.ts.map +1 -0
  360. package/dist/cli/record-tables.js +110 -0
  361. package/dist/cli/record-tables.js.map +1 -0
  362. package/dist/cli/record.d.ts +141 -0
  363. package/dist/cli/record.d.ts.map +1 -0
  364. package/dist/cli/record.js +612 -0
  365. package/dist/cli/record.js.map +1 -0
  366. package/dist/cli/search-index.d.ts +56 -0
  367. package/dist/cli/search-index.d.ts.map +1 -0
  368. package/dist/cli/search-index.js +190 -0
  369. package/dist/cli/search-index.js.map +1 -0
  370. package/dist/cli/statuses.d.ts +25 -0
  371. package/dist/cli/statuses.d.ts.map +1 -0
  372. package/dist/cli/statuses.js +276 -0
  373. package/dist/cli/statuses.js.map +1 -0
  374. package/dist/cli/version.d.ts +8 -0
  375. package/dist/cli/version.d.ts.map +1 -1
  376. package/dist/cli/version.js +32 -1
  377. package/dist/cli/version.js.map +1 -1
  378. package/dist/cli-api.d.ts +33 -15
  379. package/dist/cli-api.d.ts.map +1 -1
  380. package/dist/cli-api.js +31 -11
  381. package/dist/cli-api.js.map +1 -1
  382. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  383. package/dist/composition/bridge-analysis.js +2 -1
  384. package/dist/composition/bridge-analysis.js.map +1 -1
  385. package/dist/composition/canonical-compare.d.ts +36 -11
  386. package/dist/composition/canonical-compare.d.ts.map +1 -1
  387. package/dist/composition/canonical-compare.js +424 -56
  388. package/dist/composition/canonical-compare.js.map +1 -1
  389. package/dist/composition/canonical-graph.d.ts +2 -2
  390. package/dist/composition/canonical-graph.js +3 -3
  391. package/dist/composition/canonical-graph.js.map +1 -1
  392. package/dist/composition/canonical-prefactors.d.ts +24 -1
  393. package/dist/composition/canonical-prefactors.d.ts.map +1 -1
  394. package/dist/composition/canonical-prefactors.js +97 -1
  395. package/dist/composition/canonical-prefactors.js.map +1 -1
  396. package/dist/composition/compose-symbolic.js +1 -1
  397. package/dist/composition/compose-symbolic.js.map +1 -1
  398. package/dist/composition/compose.d.ts.map +1 -1
  399. package/dist/composition/compose.js +17 -9
  400. package/dist/composition/compose.js.map +1 -1
  401. package/dist/composition/composition-recovery.d.ts +47 -0
  402. package/dist/composition/composition-recovery.d.ts.map +1 -0
  403. package/dist/composition/composition-recovery.js +77 -0
  404. package/dist/composition/composition-recovery.js.map +1 -0
  405. package/dist/composition/consequence.d.ts +39 -0
  406. package/dist/composition/consequence.d.ts.map +1 -1
  407. package/dist/composition/consequence.js +37 -0
  408. package/dist/composition/consequence.js.map +1 -1
  409. package/dist/composition/discovery.d.ts +20 -0
  410. package/dist/composition/discovery.d.ts.map +1 -1
  411. package/dist/composition/discovery.js +27 -5
  412. package/dist/composition/discovery.js.map +1 -1
  413. package/dist/composition/edge.d.ts +1 -1
  414. package/dist/composition/edge.d.ts.map +1 -1
  415. package/dist/composition/edge.js.map +1 -1
  416. package/dist/composition/edges/_catalog-helpers.d.ts +4 -0
  417. package/dist/composition/edges/_catalog-helpers.d.ts.map +1 -1
  418. package/dist/composition/edges/_catalog-helpers.js +15 -0
  419. package/dist/composition/edges/_catalog-helpers.js.map +1 -1
  420. package/dist/composition/edges/calibration.d.ts.map +1 -1
  421. package/dist/composition/edges/calibration.js +57 -0
  422. package/dist/composition/edges/calibration.js.map +1 -1
  423. package/dist/composition/edges/catalog-fields.d.ts.map +1 -1
  424. package/dist/composition/edges/catalog-fields.js +2 -1
  425. package/dist/composition/edges/catalog-fields.js.map +1 -1
  426. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +1 -1
  427. package/dist/composition/edges/catalog-gravitation-cosmology.js +2 -1
  428. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +1 -1
  429. package/dist/composition/edges/catalog-quantum.d.ts.map +1 -1
  430. package/dist/composition/edges/catalog-quantum.js +26 -0
  431. package/dist/composition/edges/catalog-quantum.js.map +1 -1
  432. package/dist/composition/edges/catalog-tranche.d.ts.map +1 -1
  433. package/dist/composition/edges/catalog-tranche.js +2 -1
  434. package/dist/composition/edges/catalog-tranche.js.map +1 -1
  435. package/dist/composition/expr-eval.d.ts.map +1 -1
  436. package/dist/composition/expr-eval.js +4 -1
  437. package/dist/composition/expr-eval.js.map +1 -1
  438. package/dist/composition/expr-simplify.js +1 -1
  439. package/dist/composition/expr-simplify.js.map +1 -1
  440. package/dist/composition/frontier-account.d.ts +78 -0
  441. package/dist/composition/frontier-account.d.ts.map +1 -0
  442. package/dist/composition/frontier-account.js +127 -0
  443. package/dist/composition/frontier-account.js.map +1 -0
  444. package/dist/composition/graph-viz.d.ts +7 -22
  445. package/dist/composition/graph-viz.d.ts.map +1 -1
  446. package/dist/composition/graph-viz.js +4 -27
  447. package/dist/composition/graph-viz.js.map +1 -1
  448. package/dist/composition/grounding.d.ts +49 -0
  449. package/dist/composition/grounding.d.ts.map +1 -1
  450. package/dist/composition/grounding.js +38 -0
  451. package/dist/composition/grounding.js.map +1 -1
  452. package/dist/composition/index.d.ts +0 -2
  453. package/dist/composition/index.d.ts.map +1 -1
  454. package/dist/composition/index.js +1 -1
  455. package/dist/composition/index.js.map +1 -1
  456. package/dist/composition/probe/expression-gaps.d.ts +27 -0
  457. package/dist/composition/probe/expression-gaps.d.ts.map +1 -0
  458. package/dist/composition/probe/expression-gaps.js +47 -0
  459. package/dist/composition/probe/expression-gaps.js.map +1 -0
  460. package/dist/composition/probe/frontier.d.ts +2 -1
  461. package/dist/composition/probe/frontier.d.ts.map +1 -1
  462. package/dist/composition/probe/frontier.js +3 -2
  463. package/dist/composition/probe/frontier.js.map +1 -1
  464. package/dist/composition/probe/index.d.ts +4 -1
  465. package/dist/composition/probe/index.d.ts.map +1 -1
  466. package/dist/composition/probe/index.js +3 -1
  467. package/dist/composition/probe/index.js.map +1 -1
  468. package/dist/composition/probe/pipeline.d.ts +2 -0
  469. package/dist/composition/probe/pipeline.d.ts.map +1 -1
  470. package/dist/composition/probe/pipeline.js +6 -2
  471. package/dist/composition/probe/pipeline.js.map +1 -1
  472. package/dist/composition/probe/problem.d.ts +7 -0
  473. package/dist/composition/probe/problem.d.ts.map +1 -1
  474. package/dist/composition/probe/problem.js +15 -5
  475. package/dist/composition/probe/problem.js.map +1 -1
  476. package/dist/composition/probe/search-budget.d.ts.map +1 -1
  477. package/dist/composition/probe/search-budget.js +6 -2
  478. package/dist/composition/probe/search-budget.js.map +1 -1
  479. package/dist/composition/probe/study.d.ts +340 -0
  480. package/dist/composition/probe/study.d.ts.map +1 -0
  481. package/dist/composition/probe/study.js +1519 -0
  482. package/dist/composition/probe/study.js.map +1 -0
  483. package/dist/composition/proposed-bridges.js +1 -1
  484. package/dist/composition/proposed-bridges.js.map +1 -1
  485. package/dist/composition/quantities.d.ts +4 -16
  486. package/dist/composition/quantities.d.ts.map +1 -1
  487. package/dist/composition/quantities.js +4 -16
  488. package/dist/composition/quantities.js.map +1 -1
  489. package/dist/composition/retrodiction.d.ts.map +1 -1
  490. package/dist/composition/retrodiction.js +6 -2
  491. package/dist/composition/retrodiction.js.map +1 -1
  492. package/dist/composition/uncertainty.d.ts +1 -1
  493. package/dist/composition/uncertainty.d.ts.map +1 -1
  494. package/dist/composition/user-equation.d.ts +87 -14
  495. package/dist/composition/user-equation.d.ts.map +1 -1
  496. package/dist/composition/user-equation.js +266 -59
  497. package/dist/composition/user-equation.js.map +1 -1
  498. package/dist/core/constants.d.ts +9 -4
  499. package/dist/core/constants.d.ts.map +1 -1
  500. package/dist/core/constants.js +9 -4
  501. package/dist/core/constants.js.map +1 -1
  502. package/dist/core/types.d.ts +1 -1
  503. package/dist/core/types.d.ts.map +1 -1
  504. package/dist/core/types.js +2 -1
  505. package/dist/core/types.js.map +1 -1
  506. package/dist/dimensional/curvature.d.ts +7 -56
  507. package/dist/dimensional/curvature.d.ts.map +1 -1
  508. package/dist/dimensional/curvature.js +7 -76
  509. package/dist/dimensional/curvature.js.map +1 -1
  510. package/dist/dimensional/dimension-spec.d.ts +7 -1
  511. package/dist/dimensional/dimension-spec.d.ts.map +1 -1
  512. package/dist/dimensional/dimension-spec.js +131 -3
  513. package/dist/dimensional/dimension-spec.js.map +1 -1
  514. package/dist/dimensional/formula-names.d.ts +30 -0
  515. package/dist/dimensional/formula-names.d.ts.map +1 -0
  516. package/dist/dimensional/formula-names.js +37 -0
  517. package/dist/dimensional/formula-names.js.map +1 -0
  518. package/dist/dimensional/natural-units.d.ts +33 -0
  519. package/dist/dimensional/natural-units.d.ts.map +1 -0
  520. package/dist/dimensional/natural-units.js +58 -0
  521. package/dist/dimensional/natural-units.js.map +1 -0
  522. package/dist/{composition → dimensional}/symbolic-constants.d.ts +21 -2
  523. package/dist/dimensional/symbolic-constants.d.ts.map +1 -0
  524. package/dist/dimensional/symbolic-constants.js +116 -0
  525. package/dist/dimensional/symbolic-constants.js.map +1 -0
  526. package/dist/dimensional/unit-convention.d.ts +30 -0
  527. package/dist/dimensional/unit-convention.d.ts.map +1 -0
  528. package/dist/dimensional/unit-convention.js +60 -0
  529. package/dist/dimensional/unit-convention.js.map +1 -0
  530. package/dist/dimensional/units.d.ts +43 -0
  531. package/dist/dimensional/units.d.ts.map +1 -0
  532. package/dist/dimensional/units.js +197 -0
  533. package/dist/dimensional/units.js.map +1 -0
  534. package/dist/index.d.ts +8 -4
  535. package/dist/index.d.ts.map +1 -1
  536. package/dist/index.js +7 -3
  537. package/dist/index.js.map +1 -1
  538. package/dist/numerical/bianchi-residual.d.ts +55 -0
  539. package/dist/numerical/bianchi-residual.d.ts.map +1 -0
  540. package/dist/numerical/bianchi-residual.js +79 -0
  541. package/dist/numerical/bianchi-residual.js.map +1 -0
  542. package/dist/numerical/binding-value.d.ts +67 -0
  543. package/dist/numerical/binding-value.d.ts.map +1 -0
  544. package/dist/numerical/binding-value.js +347 -0
  545. package/dist/numerical/binding-value.js.map +1 -0
  546. package/dist/numerical/connection-lowering-helpers.d.ts.map +1 -1
  547. package/dist/numerical/connection-lowering-helpers.js +13 -26
  548. package/dist/numerical/connection-lowering-helpers.js.map +1 -1
  549. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  550. package/dist/numerical/curvature-lowering-helpers.js +9 -0
  551. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  552. package/dist/numerical/float64-engine.d.ts.map +1 -1
  553. package/dist/numerical/float64-engine.js +23 -16
  554. package/dist/numerical/float64-engine.js.map +1 -1
  555. package/dist/numerical/formula-dimension.d.ts +7 -0
  556. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  557. package/dist/numerical/formula-dimension.js +23 -6
  558. package/dist/numerical/formula-dimension.js.map +1 -1
  559. package/dist/numerical/formula-mathts.d.ts.map +1 -1
  560. package/dist/numerical/formula-mathts.js +68 -6
  561. package/dist/numerical/formula-mathts.js.map +1 -1
  562. package/dist/numerical/formula.d.ts +27 -0
  563. package/dist/numerical/formula.d.ts.map +1 -1
  564. package/dist/numerical/formula.js +68 -6
  565. package/dist/numerical/formula.js.map +1 -1
  566. package/dist/numerical/spacetime-metrics.d.ts +243 -0
  567. package/dist/numerical/spacetime-metrics.d.ts.map +1 -0
  568. package/dist/numerical/spacetime-metrics.js +1056 -0
  569. package/dist/numerical/spacetime-metrics.js.map +1 -0
  570. package/dist/relations/composition-table.d.ts +61 -0
  571. package/dist/relations/composition-table.d.ts.map +1 -0
  572. package/dist/relations/composition-table.js +140 -0
  573. package/dist/relations/composition-table.js.map +1 -0
  574. package/dist/relations/conventions.d.ts +63 -0
  575. package/dist/relations/conventions.d.ts.map +1 -0
  576. package/dist/relations/conventions.js +93 -0
  577. package/dist/relations/conventions.js.map +1 -0
  578. package/dist/relations/regime.d.ts +159 -0
  579. package/dist/relations/regime.d.ts.map +1 -0
  580. package/dist/relations/regime.js +304 -0
  581. package/dist/relations/regime.js.map +1 -0
  582. package/dist/relations/types.d.ts +259 -0
  583. package/dist/relations/types.d.ts.map +1 -0
  584. package/dist/relations/types.js +37 -0
  585. package/dist/relations/types.js.map +1 -0
  586. package/package.json +166 -163
  587. package/dist/composition/poster-source.d.ts.map +0 -1
  588. package/dist/composition/poster-source.js.map +0 -1
  589. package/dist/composition/symbolic-constants.d.ts.map +0 -1
  590. package/dist/composition/symbolic-constants.js +0 -65
  591. package/dist/composition/symbolic-constants.js.map +0 -1
@@ -0,0 +1,110 @@
1
+ import { residualInSigma } from './observations/types.js';
2
+ import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
3
+ function blank(value) {
4
+ return value === undefined || value.trim() === '';
5
+ }
6
+ function finite(value) {
7
+ return typeof value === 'number' && Number.isFinite(value);
8
+ }
9
+ /**
10
+ * The inputs a request does not have. A bare function, including
11
+ * `evaluateYangMillsBeta`, has no loop order and no flavor thresholds.
12
+ */
13
+ function missingInputs(request) {
14
+ const missing = [];
15
+ if (request.table == null || request.table.length === 0)
16
+ missing.push('table');
17
+ const procedure = request.procedure;
18
+ if (procedure == null) {
19
+ missing.push('running procedure');
20
+ return missing;
21
+ }
22
+ if (typeof procedure === 'function' || procedure.at === evaluateYangMillsBeta) {
23
+ missing.push('loop order', 'flavor thresholds');
24
+ return missing;
25
+ }
26
+ const record = procedure.record;
27
+ if (blank(record?.loopOrder))
28
+ missing.push('loop order');
29
+ if (blank(record?.flavorThresholds))
30
+ missing.push('flavor thresholds');
31
+ if (typeof procedure.at !== 'function')
32
+ missing.push('running procedure');
33
+ return missing;
34
+ }
35
+ function rowProblems(table) {
36
+ const missing = [];
37
+ for (const row of table) {
38
+ if (!finite(row.scale) && !missing.includes('scale'))
39
+ missing.push('scale');
40
+ if (!finite(row.value) && !missing.includes('value'))
41
+ missing.push('value');
42
+ if (!(finite(row.uncertainty) && row.uncertainty > 0) && !missing.includes('uncertainty')) {
43
+ missing.push('uncertainty');
44
+ }
45
+ if ((typeof row.citation !== 'string' || row.citation.trim() === '') && !missing.includes('citation')) {
46
+ missing.push('citation');
47
+ }
48
+ }
49
+ return missing;
50
+ }
51
+ /**
52
+ * Confront BE-53 only with a caller-supplied table and running procedure.
53
+ * Otherwise refuse. The refusal does not read or write the catalog.
54
+ *
55
+ * A table of several rows is one `value` outcome: the row with the largest
56
+ * absolute residual in units of its uncertainty (the earliest row on a tie).
57
+ * Every row is still evaluated, so a procedure that ignores a later scale
58
+ * is visible to the caller who checks `at`.
59
+ *
60
+ * @public
61
+ */
62
+ export function requestYangMillsConfrontation(request = {}) {
63
+ const missing = missingInputs(request);
64
+ if (missing.length > 0)
65
+ return { status: 'refused', missing };
66
+ const table = request.table ?? [];
67
+ const rowMissing = rowProblems(table);
68
+ if (rowMissing.length > 0)
69
+ return { status: 'refused', missing: rowMissing };
70
+ const procedure = request.procedure;
71
+ let reported;
72
+ for (const row of table) {
73
+ const predicted = procedure.at(row.scale);
74
+ if (!finite(predicted))
75
+ return { status: 'refused', missing: ['procedure output'] };
76
+ const residual = residualInSigma(predicted, row.value, row.uncertainty);
77
+ if (reported === undefined || residual > reported.residual) {
78
+ reported = {
79
+ predicted,
80
+ observed: row.value,
81
+ sigma: row.uncertainty,
82
+ citation: row.citation,
83
+ residual,
84
+ };
85
+ }
86
+ }
87
+ if (reported === undefined)
88
+ return { status: 'refused', missing: ['table'] };
89
+ return {
90
+ status: 'confronted',
91
+ outcome: {
92
+ kind: 'value',
93
+ predicted: reported.predicted,
94
+ observed: reported.observed,
95
+ sigma: reported.sigma,
96
+ residualInSigma: reported.residual,
97
+ withinObserved: reported.residual <= 1,
98
+ units: 'caller-supplied',
99
+ provenance: {
100
+ citation: reported.citation,
101
+ year: 0,
102
+ retrieved: 'not supplied',
103
+ note: 'The caller table states a citation and does not state a publication year or a retrieval date. The year 0 is not a year of record.',
104
+ },
105
+ preprocessing: { state: 'not-recorded' },
106
+ independence: { state: 'not-recorded' },
107
+ },
108
+ };
109
+ }
110
+ //# sourceMappingURL=be53-yang-mills-confrontation.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"be53-yang-mills-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be53-yang-mills-confrontation.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAgE7E,SAAS,KAAK,CAAC,KAAyB;IACtC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAsC;IAC3D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE/E,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,UAAU,IAAK,SAAS,CAAC,EAAc,KAAK,qBAAqB,EAAE,CAAC;QAC3F,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;QAChD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACvE,IAAI,OAAO,SAAS,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC1E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,KAAqC;IACxD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1F,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACtG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,6BAA6B,CAC3C,OAAO,GAAkC,EAAE;IAE3C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAE7E,MAAM,SAAS,GAAG,OAAO,CAAC,SAA6B,CAAC;IACxD,IAAI,QAAgH,CAAC;IACrH,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACpF,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC3D,QAAQ,GAAG;gBACT,SAAS;gBACT,QAAQ,EAAE,GAAG,CAAC,KAAK;gBACnB,KAAK,EAAE,GAAG,CAAC,WAAW;gBACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,QAAQ;aACT,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IAE7E,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE;YACP,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,eAAe,EAAE,QAAQ,CAAC,QAAQ;YAClC,cAAc,EAAE,QAAQ,CAAC,QAAQ,IAAI,CAAC;YACtC,KAAK,EAAE,iBAAiB;YACxB,UAAU,EAAE;gBACV,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,IAAI,EAAE,CAAC;gBACP,SAAS,EAAE,cAAc;gBACzB,IAAI,EAAE,mIAAmI;aAC1I;YACD,aAAa,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;YACxC,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC;KACF,CAAC;AACJ,CAAC"}
@@ -21,7 +21,7 @@ export type RigorTier = 'stringent' | 'moderate' | 'loose';
21
21
  /**
22
22
  * Author-declared rigor of each confrontation. Folds in test PRECISION *and*
23
23
  * HONESTY (one-sidedness, order-of-magnitude, caveats) — it is deliberately NOT
24
- * purely computed: e.g. be-11's ratio is exactly 1 (fractionalGap 0) but its real
24
+ * purely computed: e.g. be-11's ratio is exactly 1 (actual difference 0) but its real
25
25
  * precision is ~15% gas-to-gas, so it is declared `loose`. The spine is a RIGOR
26
26
  * HIERARCHY, not N equal confirmations — after the 2026-07-05 branch expansion the
27
27
  * precision core is the quantum-metrology triangle (be-55 QHE 8.6e-11, be-59
@@ -1 +1 @@
1
- {"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAsBrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAuB7D,CAAC;AAEH,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AA+XD,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAY,CAAC;AAEhF,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}
1
+ {"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAsBrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAuB7D,CAAC;AAEH,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AA+rBD,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAY,CAAC;AAEhF,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}
@@ -21,7 +21,7 @@ import { confrontBE65 } from './be65-jeans-mass-confrontation.js';
21
21
  /**
22
22
  * Author-declared rigor of each confrontation. Folds in test PRECISION *and*
23
23
  * HONESTY (one-sidedness, order-of-magnitude, caveats) — it is deliberately NOT
24
- * purely computed: e.g. be-11's ratio is exactly 1 (fractionalGap 0) but its real
24
+ * purely computed: e.g. be-11's ratio is exactly 1 (actual difference 0) but its real
25
25
  * precision is ~15% gas-to-gas, so it is declared `loose`. The spine is a RIGOR
26
26
  * HIERARCHY, not N equal confirmations — after the 2026-07-05 branch expansion the
27
27
  * precision core is the quantum-metrology triangle (be-55 QHE 8.6e-11, be-59
@@ -46,7 +46,7 @@ export const CONFRONTATION_RIGOR = new Map([
46
46
  [56, 'moderate'], // Casimir 1% (systematics-dominated)
47
47
  [62, 'moderate'], // BCS gap 5% (weak-coupling class)
48
48
  // loose (≥~10% / one-sided / order-of-magnitude)
49
- [11, 'loose'], // decoherence ~15% gas-to-gas (fractionalGap 0 hides it)
49
+ [11, 'loose'], // decoherence ~15% gas-to-gas (an actual difference of 0 hides it)
50
50
  [21, 'loose'], // KSS bound, 26% above
51
51
  [23, 'loose'], // Planckian α, factor 2
52
52
  [36, 'loose'], // GW speed, one-sided bound
@@ -82,6 +82,15 @@ const be52Entry = {
82
82
  withinObserved: r.withinObserved,
83
83
  units: 'arcsec/century',
84
84
  provenance: { citation: r.observation.citation, year: 1947, retrieved: '2026-07-02' },
85
+ preprocessing: {
86
+ state: 'recorded',
87
+ statement: 'observed is the ANOMALOUS advance: the residual left after subtracting the Newtonian planetary perturbations (Le Verrier / Newcomb / Clemence)',
88
+ source: [
89
+ { file: 'src/bridges/be52-mercury-confrontation.ts', quote: 'precession — the residual left after subtracting the Newtonian planetary' },
90
+ { file: 'src/bridges/be52-mercury-confrontation.ts', quote: 'Measured ANOMALOUS perihelion advance (″/Julian century) — the GR residual.' },
91
+ ],
92
+ },
93
+ independence: { state: 'not-recorded' },
85
94
  };
86
95
  },
87
96
  };
@@ -104,6 +113,22 @@ const be23Entry = {
104
113
  withinObserved: residualInSigma(1.0, r.alphaAggregate, r.alphaAggregateErr) <= 1,
105
114
  units: 'dimensionless (α)',
106
115
  provenance: { citation: r.observation.citation, year: 2019, retrieved: '2026-07-02' },
116
+ preprocessing: {
117
+ state: 'recorded',
118
+ statement: "the source converts the T-linear resistivity slope to α via the Drude relation ρ = m*/(n e² τ); only its abstract-level aggregate (α within ~×2 of 1) is encoded, as α = 1.0 ± 0.4, an additive σ narrower than the paper's multiplicative factor-2 spread; the per-material table was not reproduced",
119
+ source: [
120
+ { file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'ρ = m* / (n e² τ), into a Planckian scattering coefficient α defined by' },
121
+ { file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'The per-material α table from Legros et al. was NOT reproduced here:' },
122
+ { file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'α = 1.0 ± 0.4 (i.e., α is O(1), within roughly a factor of 2 of the' },
123
+ ],
124
+ },
125
+ independence: {
126
+ state: 'no-fitted-parameter',
127
+ statement: 'the predicted α = 1 is the Planckian reference fixed in the encoding, not fitted to this data; BE-23 does not predict α (α_SYK is a free O(1) coefficient), so this checks the O(1) assumption, not a prediction',
128
+ source: [
129
+ { file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'NOT claimed: that UPT/SYK *predicts* α (BE-23 bundles α_SYK as a' },
130
+ ],
131
+ },
107
132
  };
108
133
  },
109
134
  };
@@ -124,6 +149,7 @@ const be36Entry = {
124
149
  predicted: r.encodedBound,
125
150
  bound: r.upperBound,
126
151
  satisfied: r.passesEncodedBound,
152
+ predictedIs: 'encoded-bound',
127
153
  caveat: `one-sided: +side only (GW170817 −side ${r.lowerBound.toExponential(1)} exceeds the symmetric encoded ±${r.encodedBound.toExponential(0)})`,
128
154
  units: '|c_GW − c| / c (dimensionless)',
129
155
  provenance: {
@@ -132,6 +158,23 @@ const be36Entry = {
132
158
  retrieved: '2026-07-02',
133
159
  note: `two-sided bound: upper ${r.upperBound}, lower ${r.lowerBound}; encoded |ratio| ≤ ${r.encodedBound}`,
134
160
  },
161
+ preprocessing: {
162
+ state: 'recorded',
163
+ statement: "both bounds are recomputed from the observed 1.74 s GW-to-GRB lag at the paper's conservative lower distance 26 Mpc (not the 40 Mpc central value); the upper bound attributes the whole lag to faster GW travel, the lower bound assumes an intrinsic EM emission delay of at most 10 s",
164
+ source: [
165
+ { file: 'src/bridges/be36-gw170817-confrontation.ts', quote: "with the paper's CONSERVATIVE lower distance bound D = 26 Mpc" },
166
+ { file: 'src/bridges/be36-gw170817-confrontation.ts', quote: '(attributes the whole observed' },
167
+ { file: 'src/bridges/be36-gw170817-confrontation.ts', quote: '(assumes a 10 s intrinsic EM' },
168
+ ],
169
+ },
170
+ independence: {
171
+ state: 'shares-input',
172
+ shared: 'GW170817 itself',
173
+ statement: "the encoded range |Δv|/c ≤ 1e-15 is the bridge's canonical GW170817 bound, so the comparison checks the encoding against the observation it was named for, not an independent prediction",
174
+ source: [
175
+ { file: 'src/bridges/equations/be-36-gw-speed-bound.ts', quote: 'Canonical GW170817 upper bound on |Δv|/c.' },
176
+ ],
177
+ },
135
178
  };
136
179
  },
137
180
  };
@@ -150,6 +193,15 @@ const be37Entry = {
150
193
  withinObserved: r.withinObserved,
151
194
  units: 'PPN γ (dimensionless)',
152
195
  provenance: r.observation.provenance,
196
+ preprocessing: { state: 'not-recorded' },
197
+ independence: {
198
+ state: 'no-fitted-parameter',
199
+ statement: 'the prediction is γ = 1 exactly, fixed by the encoded GR Shapiro form; it takes no input parameter',
200
+ source: [
201
+ { file: 'src/bridges/be37-cassini-confrontation.ts', quote: 'so the predicted PPN gamma is exactly 1' },
202
+ { file: 'src/bridges/be37-cassini-confrontation.ts', quote: 'const predicted_gamma = 1;' },
203
+ ],
204
+ },
153
205
  };
154
206
  },
155
207
  };
@@ -164,8 +216,19 @@ const be48Entry = {
164
216
  predicted: r.predicted_rate_per_s,
165
217
  bound: r.bound_rate_per_s,
166
218
  satisfied: r.satisfied,
219
+ predictedIs: 'point',
167
220
  units: 's⁻¹ (collapse rate)',
168
221
  provenance: r.observation.provenance,
222
+ preprocessing: {
223
+ state: 'recorded',
224
+ statement: 'the bound was derived by Carlesso et al. from the LISA-Pathfinder data (Armano et al. 2016) for the CSL model at r_C = 100 nm; it is compared with the GRW single-nucleon rate, a related but distinct model',
225
+ source: [
226
+ { file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'LISA-Pathfinder data Armano et al. 2016' },
227
+ { file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'λ ≤ 2.96×10⁻⁸ s⁻¹ (r_C = 100 nm)' },
228
+ { file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'MODEL CAVEAT: GRW and CSL are related-but-distinct collapse models; this' },
229
+ ],
230
+ },
231
+ independence: { state: 'not-recorded' },
169
232
  };
170
233
  },
171
234
  };
@@ -184,6 +247,24 @@ const be51Entry = {
184
247
  withinObserved: r.withinObserved,
185
248
  units: 'arcsec (solar-limb deflection)',
186
249
  provenance: r.observation.provenance,
250
+ preprocessing: {
251
+ state: 'recorded',
252
+ statement: 'the source reports γ − 1 = (−0.8 ± 1.2)×10⁻⁴; the repo converts it to a deflection as (1+γ)/2 × the predicted solar-limb value, and σ likewise',
253
+ source: [
254
+ { file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'γ − 1 = (−0.8 ± 1.2)×10⁻⁴' },
255
+ { file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const scaling = (1 + obs.observed_gamma) / 2;' },
256
+ { file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const observed_sigma_arcsec = (obs.observed_gamma_sigma / 2) * predicted_arcsec;' },
257
+ ],
258
+ },
259
+ independence: {
260
+ state: 'shares-input',
261
+ shared: 'the solar-limb baseline 4GM☉/(R☉c²) (GM☉ IAU 2015 nominal, R☉ = 6.957e8 m)',
262
+ statement: 'the derived deflection is the predicted value scaled by the measured γ, so the baseline cancels and the residual is |γ − 1|/σ_γ: the test is of γ alone',
263
+ source: [
264
+ { file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const observed_arcsec = scaling * predicted_arcsec;' },
265
+ { file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const SOLAR_RADIUS_M = 6.957e8;' },
266
+ ],
267
+ },
187
268
  measured: {
188
269
  quantity: 'PPN γ',
189
270
  value: r.observation.observed_gamma,
@@ -205,8 +286,26 @@ const be21Entry = {
205
286
  predicted: r.predicted_bound,
206
287
  approaches: r.observed_eta_over_s,
207
288
  fractionalGap: r.fractional_gap,
289
+ fractionalGapIs: 'observed-difference',
290
+ predictedIs: 'lower-limit',
208
291
  units: 'η/s (ℏ/k_B units); KSS lower bound 1/(4π), observed satisfies + nearly saturates',
209
292
  provenance: r.observation.provenance,
293
+ preprocessing: {
294
+ state: 'recorded',
295
+ statement: 'η/s is temperature-dependent; the Bayesian hydrodynamic extraction from RHIC/LHC flow observables gives a minimum near T_c spanning ~0.08–0.15 across analyses, and the record takes 0.10 as representative, with no σ',
296
+ source: [
297
+ { file: 'src/bridges/be21-kss-confrontation.ts', quote: 'Bayesian eta/s extraction from RHIC/LHC heavy-ion flow observables' },
298
+ { file: 'src/bridges/be21-kss-confrontation.ts', quote: 'eta/s is temperature-dependent; the extracted minimum near T_c spans ~0.08-0.15 (hbar/k_B units) across analyses, representative ~0.10.' },
299
+ { file: 'src/bridges/be21-kss-confrontation.ts', quote: 'observed_eta_over_s: 0.1,' },
300
+ ],
301
+ },
302
+ independence: {
303
+ state: 'no-fitted-parameter',
304
+ statement: 'the KSS bound 1/(4π) contains no parameter; the record states the η/s extraction from flow observables is independent of the bound, not a recompute of 1/(4π)',
305
+ source: [
306
+ { file: 'src/bridges/be21-kss-confrontation.ts', quote: 'INDEPENDENT hydrodynamic extraction (flow observables), not a recompute of 1/(4pi).' },
307
+ ],
308
+ },
210
309
  };
211
310
  },
212
311
  };
@@ -225,6 +324,22 @@ const be35Entry = {
225
324
  withinObserved: r.withinObserved,
226
325
  units: 'ν (3D-Ising correlation-length exponent, dimensionless)',
227
326
  provenance: r.observation.provenance,
327
+ preprocessing: {
328
+ state: 'recorded',
329
+ statement: 'observed ν is an experimental average over liquid-vapor and binary-fluid critical points compiled by Pelissetto & Vicari 2002; Monte-Carlo values were deliberately excluded from the observed slot',
330
+ source: [
331
+ { file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'experimental average over liquid-vapor / binary-fluid critical points' },
332
+ { file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'were deliberately NOT used for the observed slot' },
333
+ ],
334
+ },
335
+ independence: {
336
+ state: 'no-fitted-parameter',
337
+ statement: 'the record states the bootstrap ν (from Δ_ε = 1.412625(10), Kos et al. 2016) is a parameter-free CFT prediction and the experimental ν an independent determination, not a recompute',
338
+ source: [
339
+ { file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'INDEPENDENT determination (real critical systems), not a recompute of the bootstrap.' },
340
+ { file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'Delta_epsilon = 1.412625(10)' },
341
+ ],
342
+ },
228
343
  };
229
344
  },
230
345
  };
@@ -238,9 +353,28 @@ const be11Entry = {
238
353
  kind: 'consistency',
239
354
  predicted: r.predicted_ratio,
240
355
  approaches: r.observed_ratio,
241
- fractionalGap: r.fractional_gap,
356
+ // The module's stated tolerance (the source's ~15% experimental uncertainty); the actual
357
+ // difference is computed by `consistencyComparison`, never read from this field.
358
+ fractionalGap: r.observation.tolerance,
359
+ fractionalGapIs: 'agreement-bound',
242
360
  units: 'p₀(theory)/p₀(exp) ratio; parameter-free 9-gas agreement within 15% experimental error',
243
361
  provenance: r.observation.provenance,
362
+ preprocessing: {
363
+ state: 'recorded',
364
+ statement: 'the source compares theory and experiment in a figure (Fig 3) with no tabulated pair; its stated agreement across 9 gases within ~15% is encoded as ratio 1.0 with a 15% tolerance, not transcribed per gas',
365
+ source: [
366
+ { file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'figure (Fig 3), so there is no clean tabulated pair, and this module encodes' },
367
+ { file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'observed_ratio: 1.0,' },
368
+ { file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'tolerance: DECOHERENCE_EXPERIMENTAL_TOLERANCE,' },
369
+ ],
370
+ },
371
+ independence: {
372
+ state: 'no-fitted-parameter',
373
+ statement: 'the source states its calculation "contains no adjustable parameters"',
374
+ source: [
375
+ { file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'our calculation, which contains no adjustable parameters, agrees well' },
376
+ ],
377
+ },
244
378
  };
245
379
  },
246
380
  };
@@ -255,8 +389,24 @@ const be55Entry = {
255
389
  predicted: r.predicted_ratio,
256
390
  approaches: r.observed_ratio,
257
391
  fractionalGap: r.relative_uncertainty,
392
+ fractionalGapIs: 'agreement-bound',
258
393
  units: 'R_H(graphene)/R_H(GaAs) ratio; topological universality to 8.6e-11',
259
394
  provenance: r.observation.provenance,
395
+ preprocessing: {
396
+ state: 'recorded',
397
+ statement: "the source's graphene-vs-GaAs agreement to a relative 8.6e-11 is encoded as ratio 1 with that relative uncertainty; no measured ratio value is transcribed",
398
+ source: [
399
+ { file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'observed_ratio: 1,' },
400
+ { file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'relative_uncertainty: 8.6e-11,' },
401
+ ],
402
+ },
403
+ independence: {
404
+ state: 'no-fitted-parameter',
405
+ statement: 'the predicted ratio is 1 with no parameter; R_K = h/e² is exact by the post-2019 SI, and the material-to-material ratio tests universality, not that definitional value',
406
+ source: [
407
+ { file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'Post-2019 SI fixes h and e exactly, so R_K = h/e² is exact BY DEFINITION and' },
408
+ ],
409
+ },
260
410
  };
261
411
  },
262
412
  };
@@ -271,8 +421,19 @@ const be56Entry = {
271
421
  predicted: r.predicted_ratio,
272
422
  approaches: r.observed_ratio,
273
423
  fractionalGap: r.agreement,
424
+ fractionalGapIs: 'agreement-bound',
274
425
  units: 'measured/theory force ratio; ~1% agreement (corrected theory, systematics-dominated)',
275
426
  provenance: r.observation.provenance,
427
+ preprocessing: {
428
+ state: 'recorded',
429
+ statement: 'sphere-plate measurement compared with theory corrected for finite conductivity, surface roughness, temperature and electrostatic patches; the ~1% agreement is at the smallest separation and is encoded as ratio 1 with 1% agreement',
430
+ source: [
431
+ { file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'require finite-conductivity/surface-roughness/temperature/electrostatic-patch corrections' },
432
+ { file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'corrected theory to ~1% at the smallest separation' },
433
+ { file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'agreement: 0.01,' },
434
+ ],
435
+ },
436
+ independence: { state: 'not-recorded' },
276
437
  };
277
438
  },
278
439
  };
@@ -291,6 +452,16 @@ const be58Entry = {
291
452
  withinObserved: r.withinObserved,
292
453
  units: 'k_B (J/K); JNT via S_V=4k_BTR vs CODATA',
293
454
  provenance: r.observation.provenance,
455
+ preprocessing: { state: 'not-recorded' },
456
+ independence: {
457
+ state: 'shares-input',
458
+ shared: 'the CODATA 2014 k_B (the predicted value is this reference constant, not a bridge output) and a resistance calibration traceable to the quantum Hall effect (the physics of be-55)',
459
+ statement: 'the record states resistance (QHE) and temperature (acoustic/ITS-90) are traceable independently of the noise relation; whether this measurement entered the CODATA 2014 adjustment is not recorded',
460
+ source: [
461
+ { file: 'src/bridges/be58-johnson-nyquist-confrontation.ts', quote: 'const predicted_k_B = K_B_CODATA_2014;' },
462
+ { file: 'src/bridges/be58-johnson-nyquist-confrontation.ts', quote: 'resistance traceable to the quantum Hall effect (BE-55), temperature to acoustic/ITS-90 thermometry, both independent of the noise relation' },
463
+ ],
464
+ },
294
465
  };
295
466
  },
296
467
  };
@@ -305,8 +476,23 @@ const be59Entry = {
305
476
  predicted: r.predicted_ratio,
306
477
  approaches: r.observed_ratio,
307
478
  fractionalGap: r.relative_uncertainty,
479
+ fractionalGapIs: 'agreement-bound',
308
480
  units: 'V(junction A)/V(junction B) ratio; Josephson-volt universality to ~1e-9',
309
481
  provenance: r.observation.provenance,
482
+ preprocessing: {
483
+ state: 'recorded',
484
+ statement: 'the parts-in-10⁹ agreement of independently built Josephson standards is encoded as a junction-to-junction ratio of 1 with a conservative 1e-9 bound (best comparisons reach ~1e-10 to 1e-11)',
485
+ source: [
486
+ { file: 'src/bridges/be59-ac-josephson-confrontation.ts', quote: 'Conservative 1e-9 bound; the best comparisons reach ~1e-10 to 1e-11.' },
487
+ ],
488
+ },
489
+ independence: {
490
+ state: 'no-fitted-parameter',
491
+ statement: 'the predicted ratio is 1 with no parameter; K_J = 2e/h is exact by the post-2019 SI, and the junction independence, not that definitional value, is what is tested',
492
+ source: [
493
+ { file: 'src/bridges/be59-ac-josephson-confrontation.ts', quote: 'K_J = 2e/h is exact by the SI, so confronting its value is circular.' },
494
+ ],
495
+ },
310
496
  };
311
497
  },
312
498
  };
@@ -321,8 +507,23 @@ const be60Entry = {
321
507
  predicted: r.predicted_ratio,
322
508
  approaches: r.observed_ratio,
323
509
  fractionalGap: r.relative_uncertainty,
510
+ fractionalGapIs: 'agreement-bound',
324
511
  units: 'R_xy(plateau)/(3·R_K) ratio; the ⅓ fraction (topological order) to ~1e-5',
325
512
  provenance: r.observation.provenance,
513
+ preprocessing: {
514
+ state: 'recorded',
515
+ statement: 'the fractional quantization confirmed to ~1e-5 in high-mobility samples is encoded as R_xy/(3·R_K) = 1 with a conservative 1e-5 bound',
516
+ source: [
517
+ { file: 'src/bridges/be60-fractional-qh-confrontation.ts', quote: 'High-mobility samples confirm the fractional quantization to ~1e-5; conservative bound' },
518
+ ],
519
+ },
520
+ independence: {
521
+ state: 'no-fitted-parameter',
522
+ statement: 'the predicted fraction 1/3 has no parameter; R_K is definitional (post-2019 SI), so the fraction is what is tested, and the record states no single-particle theory predicts it',
523
+ source: [
524
+ { file: 'src/bridges/be60-fractional-qh-confrontation.ts', quote: 'Non-circular: no single-particle theory predicts the 1/3.' },
525
+ ],
526
+ },
326
527
  };
327
528
  },
328
529
  };
@@ -337,8 +538,27 @@ const be61Entry = {
337
538
  predicted: r.predicted_L0,
338
539
  approaches: r.observed_L,
339
540
  fractionalGap: r.agreement,
541
+ fractionalGapIs: 'agreement-bound',
340
542
  units: 'Lorenz number L (W·Ω·K⁻²); degenerate-limit consistency, material spread ~10% (caveat)',
341
543
  provenance: r.observation.provenance,
544
+ preprocessing: {
545
+ state: 'recorded',
546
+ statement: "the source's recovery of L₀ in high-RRR silver is encoded as observed = L₀; the 10% figure is the stated material-spread bound (Cu at 0 °C ~9% low), not a measured gap",
547
+ source: [
548
+ { file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'L_measured: LORENZ_NUMBER_SI, // degenerate limit recovers L₀' },
549
+ { file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'Real metals deviate — Cu@0°C ~2.23e-8 (~9% low)' },
550
+ { file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'The ~10% bound covers the material spread' },
551
+ ],
552
+ },
553
+ independence: {
554
+ state: 'shares-input',
555
+ shared: 'the value itself: the observed slot is the predicted constant L₀ = (π²/3)(k_B/e)²',
556
+ statement: "observed equals predicted by construction, so this record cannot show a discrepancy; it records the source's statement, not an independent number",
557
+ source: [
558
+ { file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'const predicted_L0 = LORENZ_NUMBER_SI;' },
559
+ { file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'L_measured: LORENZ_NUMBER_SI,' },
560
+ ],
561
+ },
342
562
  };
343
563
  },
344
564
  };
@@ -353,8 +573,26 @@ const be62Entry = {
353
573
  predicted: r.predicted_ratio,
354
574
  approaches: r.observed_ratio,
355
575
  fractionalGap: r.agreement,
576
+ fractionalGapIs: 'agreement-bound',
356
577
  units: '2Δ(0)/k_BT_c; weak-coupling class ~3.5, strong-coupling to ~4.3 (caveat)',
357
578
  provenance: r.observation.provenance,
579
+ preprocessing: {
580
+ state: 'recorded',
581
+ statement: 'a representative weak-coupling value (Sn ~3.5) fills the observed slot; the class spans Al ~3.4 to strong-coupling Pb ~4.3, which is not used; 5% is the stated agreement bound',
582
+ source: [
583
+ { file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'ratio_measured: 3.5, // Sn, weak-coupling' },
584
+ { file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'Real conventional superconductors range from a little below 3.5 (Al) to' },
585
+ { file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'agreement: 0.05,' },
586
+ ],
587
+ },
588
+ independence: {
589
+ state: 'no-fitted-parameter',
590
+ statement: 'the weak-coupling ratio 2π/e^γ ≈ 3.528 is a pure number with no material parameter',
591
+ source: [
592
+ { file: 'src/bridges/be62-bcs-gap.ts', symbol: 'BCS_GAP_RATIO' },
593
+ { file: 'src/bridges/be62-bcs-gap.ts', quote: 'export const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);' },
594
+ ],
595
+ },
358
596
  };
359
597
  },
360
598
  };
@@ -369,8 +607,27 @@ const be63Entry = {
369
607
  predicted: r.predicted_solar,
370
608
  approaches: r.observed_solar,
371
609
  fractionalGap: r.agreement,
610
+ fractionalGapIs: 'agreement-bound',
372
611
  units: 'M_⊙; WD max ~1.35 vs M_Ch~1.44 (upper-bound; super-Chandrasekhar SNe caveat)',
373
612
  provenance: r.observation.provenance,
613
+ preprocessing: {
614
+ state: 'recorded',
615
+ statement: 'observed is the highest reliably measured white-dwarf mass (~1.35 M_⊙); super-Chandrasekhar SN Ia progenitor inferences (2.4–2.8 M_⊙) are not used for the observed slot; 12% is the stated agreement bound',
616
+ source: [
617
+ { file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'mass (~1.35 M_⊙, the highest reliably measured)' },
618
+ { file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'M_observed_solar: 1.35,' },
619
+ { file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: '2006gz/2007if/2009dc) imply progenitor masses up to 2.4–2.8 M_⊙ via rotation' },
620
+ { file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'agreement: 0.12,' },
621
+ ],
622
+ },
623
+ independence: {
624
+ state: 'no-fitted-parameter',
625
+ statement: 'M_Ch is evaluated from ℏ, c, G and the atomic mass unit at μ_e = 2, with no parameter taken from white-dwarf masses',
626
+ source: [
627
+ { file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'evaluateChandrasekharMass({ mu_e: 2 })' },
628
+ { file: 'src/bridges/be63-chandrasekhar-mass.ts', quote: 'Math.pow((HBAR_SI * C_SI) / G_SI, 1.5) * Math.pow(mu_e * M_U_SI, -2)' },
629
+ ],
630
+ },
374
631
  };
375
632
  },
376
633
  };
@@ -385,8 +642,20 @@ const be64Entry = {
385
642
  predicted: r.predicted_ratio,
386
643
  approaches: r.observed_ratio,
387
644
  fractionalGap: r.agreement,
645
+ fractionalGapIs: 'agreement-bound',
388
646
  units: 'peak L/L_Edd (order unity; super-Eddington ULX caveat)',
389
647
  provenance: r.observation.provenance,
648
+ preprocessing: {
649
+ state: 'recorded',
650
+ statement: 'observed is the peak Eddington ratio of the brightest sub-Eddington AGN/X-ray binaries, encoded as 1 with an order-unity (50%) bound; super-Eddington sources (ULX pulsars) are not in the observed slot',
651
+ source: [
652
+ { file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', symbol: 'EddingtonRatioObservation' },
653
+ { file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'The brightest sub-Eddington accretors saturate near L/L_Edd ≈ 1; the broad' },
654
+ { file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'observed_ratio: 1,' },
655
+ { file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'agreement: 0.5,' },
656
+ ],
657
+ },
658
+ independence: { state: 'not-recorded' },
390
659
  };
391
660
  },
392
661
  };
@@ -401,8 +670,27 @@ const be65Entry = {
401
670
  predicted: r.predicted_solar,
402
671
  approaches: r.observed_solar,
403
672
  fractionalGap: r.agreement,
673
+ fractionalGapIs: 'agreement-bound',
404
674
  units: 'M_⊙; order-of-magnitude collapse scale (convention-dependent prefactor caveat)',
405
675
  provenance: r.observation.provenance,
676
+ preprocessing: {
677
+ state: 'recorded',
678
+ statement: 'the Jeans mass is evaluated at dense core-forming conditions (T = 10 K, ρ ≈ 3.8e-16 kg/m³ ~ 10⁵ cm⁻³ of H₂, μ = 2.3), not at cloud-average density where M_J is tens of M_⊙; 150% is the stated agreement bound',
679
+ source: [
680
+ { file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'Dense core-forming conditions (T=10 K, ρ≈3.8×10⁻¹⁶ kg/m³ ~ 10⁵ cm⁻³ of H₂,' },
681
+ { file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: '(At cloud-AVERAGE density M_J is tens of M_⊙ — the well-known "Jeans mass' },
682
+ { file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'agreement: 1.5,' },
683
+ ],
684
+ },
685
+ independence: {
686
+ state: 'shares-input',
687
+ shared: "the cloud conditions T, ρ, μ: the prediction is evaluated at the observation record's own conditions",
688
+ statement: 'the module chose them as the conditions where fragmentation occurs; whether they were chosen independently of the ~1 M_⊙ core scale is not recorded',
689
+ source: [
690
+ { file: 'src/bridges/be65-jeans-mass-confrontation.ts', symbol: 'MOLECULAR_CLOUD_FRAGMENT' },
691
+ { file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'evaluateJeansMass({ T_K: obs.T_K, rho_kg_per_m3: obs.rho_kg_per_m3, mu: obs.mu })' },
692
+ ],
693
+ },
406
694
  };
407
695
  },
408
696
  };