universal-physics-tensor 9.0.0 → 11.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 (1109) hide show
  1. package/README.md +21 -17
  2. package/bin/upt.mjs +13 -1
  3. package/data/atlas/atlas.json +79 -68
  4. package/data/atlas/atlas.jsonld +1 -1
  5. package/data/atlas/diffusion.json +24 -23
  6. package/data/atlas/oscillators.json +21 -16
  7. package/data/atlas/waves.json +36 -31
  8. package/data/atlas/witness-results.json +11 -11
  9. package/data/bridge-catalog.json +1192 -1636
  10. package/data/bridge-catalog.schema.json +390 -135
  11. package/data/quantities.json +53 -19
  12. package/data/schemas/atlas-record.v0.json +184 -46
  13. package/data/units.json +33 -4
  14. package/dist/atlas/applicability.d.ts.map +1 -1
  15. package/dist/atlas/applicability.js +35 -18
  16. package/dist/atlas/applicability.js.map +1 -1
  17. package/dist/atlas/association.js.map +1 -1
  18. package/dist/atlas/benchmark/backend-shapes.d.ts.map +1 -1
  19. package/dist/atlas/benchmark/backend-shapes.js +5 -1
  20. package/dist/atlas/benchmark/backend-shapes.js.map +1 -1
  21. package/dist/atlas/benchmark/baselines.d.ts.map +1 -1
  22. package/dist/atlas/benchmark/baselines.js +8 -0
  23. package/dist/atlas/benchmark/baselines.js.map +1 -1
  24. package/dist/atlas/benchmark/hybrid-retrieval.d.ts +12 -3
  25. package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
  26. package/dist/atlas/benchmark/hybrid-retrieval.js +30 -21
  27. package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
  28. package/dist/atlas/benchmark/leakage.js.map +1 -1
  29. package/dist/atlas/benchmark/loader.js +2 -2
  30. package/dist/atlas/benchmark/loader.js.map +1 -1
  31. package/dist/atlas/benchmark/run-atlas.d.ts.map +1 -1
  32. package/dist/atlas/benchmark/run-atlas.js +14 -2
  33. package/dist/atlas/benchmark/run-atlas.js.map +1 -1
  34. package/dist/atlas/benchmark/stats.d.ts +3 -3
  35. package/dist/atlas/benchmark/stats.d.ts.map +1 -1
  36. package/dist/atlas/benchmark/stats.js +16 -8
  37. package/dist/atlas/benchmark/stats.js.map +1 -1
  38. package/dist/atlas/benchmark/study.js.map +1 -1
  39. package/dist/atlas/benchmark/types.js.map +1 -1
  40. package/dist/atlas/bridge-record.d.ts +4 -4
  41. package/dist/atlas/bridge-record.d.ts.map +1 -1
  42. package/dist/atlas/bridge-record.js +6 -6
  43. package/dist/atlas/bridge-record.js.map +1 -1
  44. package/dist/atlas/catalog-formal-ref.d.ts +26 -3
  45. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
  46. package/dist/atlas/catalog-formal-ref.js +52 -5
  47. package/dist/atlas/catalog-formal-ref.js.map +1 -1
  48. package/dist/atlas/chain-pipeline.d.ts +0 -11
  49. package/dist/atlas/chain-pipeline.d.ts.map +1 -1
  50. package/dist/atlas/chain-pipeline.js +12 -24
  51. package/dist/atlas/chain-pipeline.js.map +1 -1
  52. package/dist/atlas/composition-table.js.map +1 -1
  53. package/dist/atlas/conventions.js.map +1 -1
  54. package/dist/atlas/coverage.d.ts +2 -2
  55. package/dist/atlas/coverage.js.map +1 -1
  56. package/dist/atlas/derivation.js.map +1 -1
  57. package/dist/atlas/derive-evidence.d.ts +6 -4
  58. package/dist/atlas/derive-evidence.d.ts.map +1 -1
  59. package/dist/atlas/derive-evidence.js +7 -2
  60. package/dist/atlas/derive-evidence.js.map +1 -1
  61. package/dist/atlas/diffusion/bridges-closure.d.ts +0 -4
  62. package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -1
  63. package/dist/atlas/diffusion/bridges-closure.js +8 -17
  64. package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
  65. package/dist/atlas/diffusion/bridges.d.ts.map +1 -1
  66. package/dist/atlas/diffusion/bridges.js +27 -42
  67. package/dist/atlas/diffusion/bridges.js.map +1 -1
  68. package/dist/atlas/diffusion/dimensions.d.ts +6 -14
  69. package/dist/atlas/diffusion/dimensions.d.ts.map +1 -1
  70. package/dist/atlas/diffusion/dimensions.js +8 -16
  71. package/dist/atlas/diffusion/dimensions.js.map +1 -1
  72. package/dist/atlas/diffusion/index.d.ts +1 -1
  73. package/dist/atlas/diffusion/index.d.ts.map +1 -1
  74. package/dist/atlas/diffusion/index.js.map +1 -1
  75. package/dist/atlas/diffusion/models.d.ts +3 -3
  76. package/dist/atlas/diffusion/models.d.ts.map +1 -1
  77. package/dist/atlas/diffusion/models.js +5 -10
  78. package/dist/atlas/diffusion/models.js.map +1 -1
  79. package/dist/atlas/diffusion/numerics.d.ts +16 -4
  80. package/dist/atlas/diffusion/numerics.d.ts.map +1 -1
  81. package/dist/atlas/diffusion/numerics.js +38 -24
  82. package/dist/atlas/diffusion/numerics.js.map +1 -1
  83. package/dist/atlas/error-algebra.d.ts +6 -0
  84. package/dist/atlas/error-algebra.d.ts.map +1 -1
  85. package/dist/atlas/error-algebra.js +26 -0
  86. package/dist/atlas/error-algebra.js.map +1 -1
  87. package/dist/atlas/export.d.ts +18 -2
  88. package/dist/atlas/export.d.ts.map +1 -1
  89. package/dist/atlas/export.js +9 -3
  90. package/dist/atlas/export.js.map +1 -1
  91. package/dist/atlas/families.d.ts +19 -2
  92. package/dist/atlas/families.d.ts.map +1 -1
  93. package/dist/atlas/families.js +26 -3
  94. package/dist/atlas/families.js.map +1 -1
  95. package/dist/atlas/family.d.ts +27 -0
  96. package/dist/atlas/family.d.ts.map +1 -0
  97. package/dist/atlas/family.js +12 -0
  98. package/dist/atlas/family.js.map +1 -0
  99. package/dist/atlas/index.d.ts +3 -2
  100. package/dist/atlas/index.d.ts.map +1 -1
  101. package/dist/atlas/index.js +2 -1
  102. package/dist/atlas/index.js.map +1 -1
  103. package/dist/atlas/link-prediction.d.ts +107 -4
  104. package/dist/atlas/link-prediction.d.ts.map +1 -1
  105. package/dist/atlas/link-prediction.js +212 -66
  106. package/dist/atlas/link-prediction.js.map +1 -1
  107. package/dist/atlas/model.js.map +1 -1
  108. package/dist/atlas/oscillators/bridges-coarse.d.ts.map +1 -1
  109. package/dist/atlas/oscillators/bridges-coarse.js +7 -12
  110. package/dist/atlas/oscillators/bridges-coarse.js.map +1 -1
  111. package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
  112. package/dist/atlas/oscillators/bridges-exact.js +6 -10
  113. package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
  114. package/dist/atlas/oscillators/bridges-limits.d.ts +3 -16
  115. package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
  116. package/dist/atlas/oscillators/bridges-limits.js +23 -36
  117. package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
  118. package/dist/atlas/oscillators/dimensions.d.ts +9 -21
  119. package/dist/atlas/oscillators/dimensions.d.ts.map +1 -1
  120. package/dist/atlas/oscillators/dimensions.js +9 -21
  121. package/dist/atlas/oscillators/dimensions.js.map +1 -1
  122. package/dist/atlas/oscillators/index.d.ts +1 -16
  123. package/dist/atlas/oscillators/index.d.ts.map +1 -1
  124. package/dist/atlas/oscillators/index.js.map +1 -1
  125. package/dist/atlas/oscillators/limit-witnesses.d.ts +2 -2
  126. package/dist/atlas/oscillators/limit-witnesses.d.ts.map +1 -1
  127. package/dist/atlas/oscillators/limit-witnesses.js +17 -15
  128. package/dist/atlas/oscillators/limit-witnesses.js.map +1 -1
  129. package/dist/atlas/oscillators/models.d.ts.map +1 -1
  130. package/dist/atlas/oscillators/models.js +2 -6
  131. package/dist/atlas/oscillators/models.js.map +1 -1
  132. package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -1
  133. package/dist/atlas/oscillators/norm-transport.js.map +1 -1
  134. package/dist/atlas/oscillators/norms.js.map +1 -1
  135. package/dist/atlas/oscillators/pendulum-motion.d.ts +29 -6
  136. package/dist/atlas/oscillators/pendulum-motion.d.ts.map +1 -1
  137. package/dist/atlas/oscillators/pendulum-motion.js +60 -40
  138. package/dist/atlas/oscillators/pendulum-motion.js.map +1 -1
  139. package/dist/atlas/oscillators/phase-carriage.js.map +1 -1
  140. package/dist/atlas/oscillators/phase-translation.d.ts +0 -11
  141. package/dist/atlas/oscillators/phase-translation.d.ts.map +1 -1
  142. package/dist/atlas/oscillators/phase-translation.js +3 -4
  143. package/dist/atlas/oscillators/phase-translation.js.map +1 -1
  144. package/dist/atlas/oscillators/position-translation.d.ts +68 -7
  145. package/dist/atlas/oscillators/position-translation.d.ts.map +1 -1
  146. package/dist/atlas/oscillators/position-translation.js +123 -12
  147. package/dist/atlas/oscillators/position-translation.js.map +1 -1
  148. package/dist/atlas/oscillators/rejections.d.ts +0 -2
  149. package/dist/atlas/oscillators/rejections.d.ts.map +1 -1
  150. package/dist/atlas/oscillators/rejections.js +0 -7
  151. package/dist/atlas/oscillators/rejections.js.map +1 -1
  152. package/dist/atlas/path-bound.js.map +1 -1
  153. package/dist/atlas/physjs-entries.generated.d.ts +25 -24
  154. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  155. package/dist/atlas/physjs-entries.generated.js +25 -24
  156. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  157. package/dist/atlas/physjs-ref.d.ts +107 -70
  158. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  159. package/dist/atlas/physjs-ref.js +184 -101
  160. package/dist/atlas/physjs-ref.js.map +1 -1
  161. package/dist/atlas/physjs-reviewed.d.ts +31 -0
  162. package/dist/atlas/physjs-reviewed.d.ts.map +1 -0
  163. package/dist/atlas/physjs-reviewed.js +194 -0
  164. package/dist/atlas/physjs-reviewed.js.map +1 -0
  165. package/dist/atlas/poster/associations.js.map +1 -1
  166. package/dist/atlas/poster/derivations.js.map +1 -1
  167. package/dist/atlas/poster/statements.d.ts +0 -19
  168. package/dist/atlas/poster/statements.d.ts.map +1 -1
  169. package/dist/atlas/poster/statements.js +1 -1
  170. package/dist/atlas/poster/statements.js.map +1 -1
  171. package/dist/atlas/proof-target.d.ts +1 -1
  172. package/dist/atlas/proof-target.js +1 -1
  173. package/dist/atlas/proof-target.js.map +1 -1
  174. package/dist/atlas/public.d.ts +2 -1
  175. package/dist/atlas/public.d.ts.map +1 -1
  176. package/dist/atlas/public.js +2 -1
  177. package/dist/atlas/public.js.map +1 -1
  178. package/dist/atlas/regime.d.ts +1 -1
  179. package/dist/atlas/regime.d.ts.map +1 -1
  180. package/dist/atlas/regime.js +1 -1
  181. package/dist/atlas/regime.js.map +1 -1
  182. package/dist/atlas/serialize.d.ts +18 -12
  183. package/dist/atlas/serialize.d.ts.map +1 -1
  184. package/dist/atlas/serialize.js +28 -18
  185. package/dist/atlas/serialize.js.map +1 -1
  186. package/dist/atlas/statement.js.map +1 -1
  187. package/dist/atlas/text-overlap.d.ts +23 -0
  188. package/dist/atlas/text-overlap.d.ts.map +1 -0
  189. package/dist/atlas/text-overlap.js +41 -0
  190. package/dist/atlas/text-overlap.js.map +1 -0
  191. package/dist/atlas/translation-registry.js.map +1 -1
  192. package/dist/atlas/translation.js.map +1 -1
  193. package/dist/atlas/types.d.ts +9 -2
  194. package/dist/atlas/types.d.ts.map +1 -1
  195. package/dist/atlas/types.js +1 -1
  196. package/dist/atlas/types.js.map +1 -1
  197. package/dist/atlas/waves/bridges-closure.d.ts.map +1 -1
  198. package/dist/atlas/waves/bridges-closure.js +2 -9
  199. package/dist/atlas/waves/bridges-closure.js.map +1 -1
  200. package/dist/atlas/waves/bridges.d.ts.map +1 -1
  201. package/dist/atlas/waves/bridges.js +32 -52
  202. package/dist/atlas/waves/bridges.js.map +1 -1
  203. package/dist/atlas/waves/index.d.ts +1 -1
  204. package/dist/atlas/waves/index.d.ts.map +1 -1
  205. package/dist/atlas/waves/index.js.map +1 -1
  206. package/dist/atlas/waves/models.d.ts +5 -6
  207. package/dist/atlas/waves/models.d.ts.map +1 -1
  208. package/dist/atlas/waves/models.js +7 -13
  209. package/dist/atlas/waves/models.js.map +1 -1
  210. package/dist/atlas/waves/numerics.d.ts.map +1 -1
  211. package/dist/atlas/waves/numerics.js +10 -3
  212. package/dist/atlas/waves/numerics.js.map +1 -1
  213. package/dist/atlas/witness-artifact.js.map +1 -1
  214. package/dist/atlas/witness-dominance.d.ts +4 -3
  215. package/dist/atlas/witness-dominance.d.ts.map +1 -1
  216. package/dist/atlas/witness-dominance.js +15 -5
  217. package/dist/atlas/witness-dominance.js.map +1 -1
  218. package/dist/atlas/witness-numeric.d.ts +38 -4
  219. package/dist/atlas/witness-numeric.d.ts.map +1 -1
  220. package/dist/atlas/witness-numeric.js +80 -2
  221. package/dist/atlas/witness-numeric.js.map +1 -1
  222. package/dist/atlas/witness-result.d.ts +7 -1
  223. package/dist/atlas/witness-result.d.ts.map +1 -1
  224. package/dist/atlas/witness-result.js.map +1 -1
  225. package/dist/atlas/witness-specs.d.ts.map +1 -1
  226. package/dist/atlas/witness-specs.js +19 -0
  227. package/dist/atlas/witness-specs.js.map +1 -1
  228. package/dist/atlas/witness-symbolic.d.ts +75 -3
  229. package/dist/atlas/witness-symbolic.d.ts.map +1 -1
  230. package/dist/atlas/witness-symbolic.js +116 -10
  231. package/dist/atlas/witness-symbolic.js.map +1 -1
  232. package/dist/atlas/witnesses/quantum-support.js.map +1 -1
  233. package/dist/bridges/caller-table.d.ts +1 -1
  234. package/dist/bridges/caller-table.d.ts.map +1 -1
  235. package/dist/bridges/caller-table.js.map +1 -1
  236. package/dist/bridges/carrier-sign.d.ts.map +1 -1
  237. package/dist/bridges/carrier-sign.js +8 -3
  238. package/dist/bridges/carrier-sign.js.map +1 -1
  239. package/dist/bridges/catalog-adapter.d.ts +12 -3
  240. package/dist/bridges/catalog-adapter.d.ts.map +1 -1
  241. package/dist/bridges/catalog-adapter.js +17 -9
  242. package/dist/bridges/catalog-adapter.js.map +1 -1
  243. package/dist/bridges/catalog-load.d.ts +12 -2
  244. package/dist/bridges/catalog-load.d.ts.map +1 -1
  245. package/dist/bridges/catalog-load.js +181 -13
  246. package/dist/bridges/catalog-load.js.map +1 -1
  247. package/dist/bridges/catalog-types.d.ts +74 -26
  248. package/dist/bridges/catalog-types.d.ts.map +1 -1
  249. package/dist/bridges/catalog-types.js +11 -1
  250. package/dist/bridges/catalog-types.js.map +1 -1
  251. package/dist/bridges/coefficient-statement.js +1 -5
  252. package/dist/bridges/coefficient-statement.js.map +1 -1
  253. package/dist/bridges/confrontation-coverage.js.map +1 -1
  254. package/dist/bridges/confrontations.d.ts +1 -1
  255. package/dist/bridges/confrontations.d.ts.map +1 -1
  256. package/dist/bridges/confrontations.js +1 -1
  257. package/dist/bridges/confrontations.js.map +1 -1
  258. package/dist/bridges/evaluation-errors.d.ts +46 -3
  259. package/dist/bridges/evaluation-errors.d.ts.map +1 -1
  260. package/dist/bridges/evaluation-errors.js +40 -4
  261. package/dist/bridges/evaluation-errors.js.map +1 -1
  262. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  263. package/dist/bridges/evaluator-inputs.js +7 -5
  264. package/dist/bridges/evaluator-inputs.js.map +1 -1
  265. package/dist/bridges/evaluators.d.ts +17 -2
  266. package/dist/bridges/evaluators.d.ts.map +1 -1
  267. package/dist/bridges/evaluators.js +76 -28
  268. package/dist/bridges/evaluators.js.map +1 -1
  269. package/dist/bridges/expr-parse.d.ts +38 -4
  270. package/dist/bridges/expr-parse.d.ts.map +1 -1
  271. package/dist/bridges/expr-parse.js +101 -12
  272. package/dist/bridges/expr-parse.js.map +1 -1
  273. package/dist/bridges/holds.d.ts +40 -4
  274. package/dist/bridges/holds.d.ts.map +1 -1
  275. package/dist/bridges/holds.js +128 -19
  276. package/dist/bridges/holds.js.map +1 -1
  277. package/dist/bridges/index.d.ts +15 -14
  278. package/dist/bridges/index.d.ts.map +1 -1
  279. package/dist/bridges/index.js +14 -15
  280. package/dist/bridges/index.js.map +1 -1
  281. package/dist/bridges/input-contract.js.map +1 -1
  282. package/dist/bridges/membership.d.ts +5 -3
  283. package/dist/bridges/membership.d.ts.map +1 -1
  284. package/dist/bridges/membership.js +5 -6
  285. package/dist/bridges/membership.js.map +1 -1
  286. package/dist/bridges/notices.d.ts.map +1 -1
  287. package/dist/bridges/notices.js +5 -5
  288. package/dist/bridges/notices.js.map +1 -1
  289. package/dist/bridges/observations/types.js.map +1 -1
  290. package/dist/bridges/rejected.d.ts +11 -17
  291. package/dist/bridges/rejected.d.ts.map +1 -1
  292. package/dist/bridges/rejected.js +13 -68
  293. package/dist/bridges/rejected.js.map +1 -1
  294. package/dist/bridges/relation-eval.d.ts +6 -7
  295. package/dist/bridges/relation-eval.d.ts.map +1 -1
  296. package/dist/bridges/relation-eval.js +20 -50
  297. package/dist/bridges/relation-eval.js.map +1 -1
  298. package/dist/bridges/rhs-registry.js.map +1 -1
  299. package/dist/bridges/sensitivity.d.ts +11 -3
  300. package/dist/bridges/sensitivity.d.ts.map +1 -1
  301. package/dist/bridges/sensitivity.js +27 -13
  302. package/dist/bridges/sensitivity.js.map +1 -1
  303. package/dist/bridges/tensor-index.js.map +1 -1
  304. package/dist/bridges/types.d.ts +1 -7
  305. package/dist/bridges/types.d.ts.map +1 -1
  306. package/dist/bridges/types.js +1 -4
  307. package/dist/bridges/types.js.map +1 -1
  308. package/dist/bridges/validity.d.ts +33 -0
  309. package/dist/bridges/validity.d.ts.map +1 -0
  310. package/dist/bridges/validity.js +67 -0
  311. package/dist/bridges/validity.js.map +1 -0
  312. package/dist/canonical/canonical-equation.js.map +1 -1
  313. package/dist/canonical/dimensional-fields.js.map +1 -1
  314. package/dist/canonical/entries/_l1-build.js.map +1 -1
  315. package/dist/canonical/entries/atomic.js +1 -3
  316. package/dist/canonical/entries/atomic.js.map +1 -1
  317. package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
  318. package/dist/canonical/entries/condensed-matter.js +8 -9
  319. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  320. package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
  321. package/dist/canonical/entries/dimensional-classics.js +5 -6
  322. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  323. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  324. package/dist/canonical/entries/electromagnetism.js +6 -12
  325. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  326. package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
  327. package/dist/canonical/entries/fluids-waves.js +3 -7
  328. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  329. package/dist/canonical/entries/mechanics.d.ts.map +1 -1
  330. package/dist/canonical/entries/mechanics.js +4 -6
  331. package/dist/canonical/entries/mechanics.js.map +1 -1
  332. package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
  333. package/dist/canonical/entries/nonmonomial.js +38 -39
  334. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  335. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  336. package/dist/canonical/entries/relativity.js +6 -6
  337. package/dist/canonical/entries/relativity.js.map +1 -1
  338. package/dist/canonical/entries/statistical-mechanics.js +5 -5
  339. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  340. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
  341. package/dist/canonical/entries/thermo-nuclear-cosmo.js +6 -10
  342. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  343. package/dist/canonical/fixed-points.d.ts +94 -0
  344. package/dist/canonical/fixed-points.d.ts.map +1 -0
  345. package/dist/canonical/fixed-points.js +81 -0
  346. package/dist/canonical/fixed-points.js.map +1 -0
  347. package/dist/canonical/linkage.d.ts +29 -4
  348. package/dist/canonical/linkage.d.ts.map +1 -1
  349. package/dist/canonical/linkage.js +47 -64
  350. package/dist/canonical/linkage.js.map +1 -1
  351. package/dist/canonical/normal-form.d.ts +0 -8
  352. package/dist/canonical/normal-form.d.ts.map +1 -1
  353. package/dist/canonical/normal-form.js +22 -23
  354. package/dist/canonical/normal-form.js.map +1 -1
  355. package/dist/canonical/registry.js.map +1 -1
  356. package/dist/canonical/residual.js.map +1 -1
  357. package/dist/canonical/seed-l-layer.d.ts +7 -1
  358. package/dist/canonical/seed-l-layer.d.ts.map +1 -1
  359. package/dist/canonical/seed-l-layer.js +7 -1
  360. package/dist/canonical/seed-l-layer.js.map +1 -1
  361. package/dist/canonical/structural.d.ts +42 -21
  362. package/dist/canonical/structural.d.ts.map +1 -1
  363. package/dist/canonical/structural.js +64 -23
  364. package/dist/canonical/structural.js.map +1 -1
  365. package/dist/cases/brownian-sphere.d.ts +3 -3
  366. package/dist/cases/brownian-sphere.d.ts.map +1 -1
  367. package/dist/cases/brownian-sphere.js +10 -9
  368. package/dist/cases/brownian-sphere.js.map +1 -1
  369. package/dist/cases/damped-resonator.d.ts.map +1 -1
  370. package/dist/cases/damped-resonator.js +8 -11
  371. package/dist/cases/damped-resonator.js.map +1 -1
  372. package/dist/cases/index.js.map +1 -1
  373. package/dist/cases/kepler-rv.d.ts +1 -1
  374. package/dist/cases/kepler-rv.d.ts.map +1 -1
  375. package/dist/cases/kepler-rv.js +3 -2
  376. package/dist/cases/kepler-rv.js.map +1 -1
  377. package/dist/cases/lumped-cooling.d.ts +8 -3
  378. package/dist/cases/lumped-cooling.d.ts.map +1 -1
  379. package/dist/cases/lumped-cooling.js +22 -24
  380. package/dist/cases/lumped-cooling.js.map +1 -1
  381. package/dist/cases/quadrature.d.ts +7 -9
  382. package/dist/cases/quadrature.d.ts.map +1 -1
  383. package/dist/cases/quadrature.js +28 -32
  384. package/dist/cases/quadrature.js.map +1 -1
  385. package/dist/cases/resistor-noise.js +7 -7
  386. package/dist/cases/resistor-noise.js.map +1 -1
  387. package/dist/cases/skin-depth.d.ts +0 -4
  388. package/dist/cases/skin-depth.d.ts.map +1 -1
  389. package/dist/cases/skin-depth.js +3 -7
  390. package/dist/cases/skin-depth.js.map +1 -1
  391. package/dist/cases/types.js.map +1 -1
  392. package/dist/cli/args.d.ts +30 -3
  393. package/dist/cli/args.d.ts.map +1 -1
  394. package/dist/cli/args.js +47 -9
  395. package/dist/cli/args.js.map +1 -1
  396. package/dist/cli/bindings.d.ts +13 -0
  397. package/dist/cli/bindings.d.ts.map +1 -0
  398. package/dist/cli/bindings.js +33 -0
  399. package/dist/cli/bindings.js.map +1 -0
  400. package/dist/cli/closed-form-range.js.map +1 -1
  401. package/dist/cli/command.d.ts +8 -1
  402. package/dist/cli/command.d.ts.map +1 -1
  403. package/dist/cli/command.js.map +1 -1
  404. package/dist/cli/commands/_atlas-map.d.ts +2 -11
  405. package/dist/cli/commands/_atlas-map.d.ts.map +1 -1
  406. package/dist/cli/commands/_atlas-map.js +50 -35
  407. package/dist/cli/commands/_atlas-map.js.map +1 -1
  408. package/dist/cli/commands/_atlas-route.d.ts.map +1 -1
  409. package/dist/cli/commands/_atlas-route.js +6 -2
  410. package/dist/cli/commands/_atlas-route.js.map +1 -1
  411. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  412. package/dist/cli/commands/_discovery-opts.js +48 -14
  413. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  414. package/dist/cli/commands/atlas.d.ts.map +1 -1
  415. package/dist/cli/commands/atlas.js +9 -8
  416. package/dist/cli/commands/atlas.js.map +1 -1
  417. package/dist/cli/commands/audit.d.ts.map +1 -1
  418. package/dist/cli/commands/audit.js +20 -20
  419. package/dist/cli/commands/audit.js.map +1 -1
  420. package/dist/cli/commands/axes.d.ts.map +1 -1
  421. package/dist/cli/commands/axes.js +20 -1
  422. package/dist/cli/commands/axes.js.map +1 -1
  423. package/dist/cli/commands/candidates.d.ts.map +1 -1
  424. package/dist/cli/commands/candidates.js +16 -8
  425. package/dist/cli/commands/candidates.js.map +1 -1
  426. package/dist/cli/commands/canonical.js.map +1 -1
  427. package/dist/cli/commands/chain.js +1 -1
  428. package/dist/cli/commands/chain.js.map +1 -1
  429. package/dist/cli/commands/confront.d.ts.map +1 -1
  430. package/dist/cli/commands/confront.js +22 -20
  431. package/dist/cli/commands/confront.js.map +1 -1
  432. package/dist/cli/commands/connectors.js.map +1 -1
  433. package/dist/cli/commands/coverage.js.map +1 -1
  434. package/dist/cli/commands/derive.d.ts.map +1 -1
  435. package/dist/cli/commands/derive.js +60 -35
  436. package/dist/cli/commands/derive.js.map +1 -1
  437. package/dist/cli/commands/discover.d.ts.map +1 -1
  438. package/dist/cli/commands/discover.js +20 -10
  439. package/dist/cli/commands/discover.js.map +1 -1
  440. package/dist/cli/commands/eval.d.ts.map +1 -1
  441. package/dist/cli/commands/eval.js +14 -10
  442. package/dist/cli/commands/eval.js.map +1 -1
  443. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  444. package/dist/cli/commands/evaluate.js +108 -58
  445. package/dist/cli/commands/evaluate.js.map +1 -1
  446. package/dist/cli/commands/explain.d.ts.map +1 -1
  447. package/dist/cli/commands/explain.js +16 -8
  448. package/dist/cli/commands/explain.js.map +1 -1
  449. package/dist/cli/commands/frontier.js.map +1 -1
  450. package/dist/cli/commands/ground.d.ts.map +1 -1
  451. package/dist/cli/commands/ground.js +41 -10
  452. package/dist/cli/commands/ground.js.map +1 -1
  453. package/dist/cli/commands/index.js.map +1 -1
  454. package/dist/cli/commands/map.d.ts.map +1 -1
  455. package/dist/cli/commands/map.js +155 -92
  456. package/dist/cli/commands/map.js.map +1 -1
  457. package/dist/cli/commands/metric.d.ts.map +1 -1
  458. package/dist/cli/commands/metric.js +58 -20
  459. package/dist/cli/commands/metric.js.map +1 -1
  460. package/dist/cli/commands/path.d.ts +10 -0
  461. package/dist/cli/commands/path.d.ts.map +1 -1
  462. package/dist/cli/commands/path.js +29 -7
  463. package/dist/cli/commands/path.js.map +1 -1
  464. package/dist/cli/commands/predict.js.map +1 -1
  465. package/dist/cli/commands/priority.js.map +1 -1
  466. package/dist/cli/commands/probe.d.ts.map +1 -1
  467. package/dist/cli/commands/probe.js +105 -38
  468. package/dist/cli/commands/probe.js.map +1 -1
  469. package/dist/cli/commands/recover.js +1 -1
  470. package/dist/cli/commands/recover.js.map +1 -1
  471. package/dist/cli/commands/regime.d.ts +5 -4
  472. package/dist/cli/commands/regime.d.ts.map +1 -1
  473. package/dist/cli/commands/regime.js +25 -26
  474. package/dist/cli/commands/regime.js.map +1 -1
  475. package/dist/cli/commands/retrieve.d.ts.map +1 -1
  476. package/dist/cli/commands/retrieve.js +23 -14
  477. package/dist/cli/commands/retrieve.js.map +1 -1
  478. package/dist/cli/commands/search.d.ts.map +1 -1
  479. package/dist/cli/commands/search.js +9 -4
  480. package/dist/cli/commands/search.js.map +1 -1
  481. package/dist/cli/commands/symbolic.js +31 -36
  482. package/dist/cli/commands/symbolic.js.map +1 -1
  483. package/dist/cli/commands/testplan.d.ts.map +1 -1
  484. package/dist/cli/commands/testplan.js +5 -3
  485. package/dist/cli/commands/testplan.js.map +1 -1
  486. package/dist/cli/conventions.js.map +1 -1
  487. package/dist/cli/determination.js.map +1 -1
  488. package/dist/cli/errors.js.map +1 -1
  489. package/dist/cli/euler-guard.js.map +1 -1
  490. package/dist/cli/eval-numbers.js.map +1 -1
  491. package/dist/cli/expr-print.d.ts +28 -3
  492. package/dist/cli/expr-print.d.ts.map +1 -1
  493. package/dist/cli/expr-print.js +42 -22
  494. package/dist/cli/expr-print.js.map +1 -1
  495. package/dist/cli/flag-help.js.map +1 -1
  496. package/dist/cli/graphs.js.map +1 -1
  497. package/dist/cli/library-defaults.d.ts +19 -0
  498. package/dist/cli/library-defaults.d.ts.map +1 -0
  499. package/dist/cli/library-defaults.js +22 -0
  500. package/dist/cli/library-defaults.js.map +1 -0
  501. package/dist/cli/main.d.ts +7 -0
  502. package/dist/cli/main.d.ts.map +1 -1
  503. package/dist/cli/main.js +25 -6
  504. package/dist/cli/main.js.map +1 -1
  505. package/dist/cli/map-evidence.js.map +1 -1
  506. package/dist/cli/numeric-flag.d.ts +12 -0
  507. package/dist/cli/numeric-flag.d.ts.map +1 -0
  508. package/dist/cli/numeric-flag.js +44 -0
  509. package/dist/cli/numeric-flag.js.map +1 -0
  510. package/dist/cli/output.d.ts +23 -6
  511. package/dist/cli/output.d.ts.map +1 -1
  512. package/dist/cli/output.js +15 -0
  513. package/dist/cli/output.js.map +1 -1
  514. package/dist/cli/published-url.js.map +1 -1
  515. package/dist/cli/record-reach.d.ts +6 -0
  516. package/dist/cli/record-reach.d.ts.map +1 -1
  517. package/dist/cli/record-reach.js +17 -11
  518. package/dist/cli/record-reach.js.map +1 -1
  519. package/dist/cli/record-tables.d.ts.map +1 -1
  520. package/dist/cli/record-tables.js +7 -6
  521. package/dist/cli/record-tables.js.map +1 -1
  522. package/dist/cli/record.d.ts +1 -5
  523. package/dist/cli/record.d.ts.map +1 -1
  524. package/dist/cli/record.js +40 -20
  525. package/dist/cli/record.js.map +1 -1
  526. package/dist/cli/search-index.d.ts +5 -0
  527. package/dist/cli/search-index.d.ts.map +1 -1
  528. package/dist/cli/search-index.js +19 -7
  529. package/dist/cli/search-index.js.map +1 -1
  530. package/dist/cli/statuses.d.ts +0 -2
  531. package/dist/cli/statuses.d.ts.map +1 -1
  532. package/dist/cli/statuses.js +0 -7
  533. package/dist/cli/statuses.js.map +1 -1
  534. package/dist/cli/stored-results.d.ts +7 -0
  535. package/dist/cli/stored-results.d.ts.map +1 -0
  536. package/dist/cli/stored-results.js +23 -0
  537. package/dist/cli/stored-results.js.map +1 -0
  538. package/dist/cli/top-level-help.js.map +1 -1
  539. package/dist/cli/version.d.ts.map +1 -1
  540. package/dist/cli/version.js +7 -5
  541. package/dist/cli/version.js.map +1 -1
  542. package/dist/cli-api.d.ts +49 -14
  543. package/dist/cli-api.d.ts.map +1 -1
  544. package/dist/cli-api.js +42 -17
  545. package/dist/cli-api.js.map +1 -1
  546. package/dist/composition/adjudication.js.map +1 -1
  547. package/dist/composition/algebraic-equivalence.d.ts +43 -0
  548. package/dist/composition/algebraic-equivalence.d.ts.map +1 -0
  549. package/dist/composition/algebraic-equivalence.js +115 -0
  550. package/dist/composition/algebraic-equivalence.js.map +1 -0
  551. package/dist/composition/aliases.js.map +1 -1
  552. package/dist/composition/audit-coverage.d.ts +2 -0
  553. package/dist/composition/audit-coverage.d.ts.map +1 -1
  554. package/dist/composition/audit-coverage.js.map +1 -1
  555. package/dist/composition/axes.d.ts +6 -0
  556. package/dist/composition/axes.d.ts.map +1 -1
  557. package/dist/composition/axes.js +18 -6
  558. package/dist/composition/axes.js.map +1 -1
  559. package/dist/composition/axis-audit.d.ts +47 -20
  560. package/dist/composition/axis-audit.d.ts.map +1 -1
  561. package/dist/composition/axis-audit.js +82 -9
  562. package/dist/composition/axis-audit.js.map +1 -1
  563. package/dist/composition/bridge-analysis.d.ts +14 -15
  564. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  565. package/dist/composition/bridge-analysis.js +148 -91
  566. package/dist/composition/bridge-analysis.js.map +1 -1
  567. package/dist/composition/bridge-prediction.d.ts +5 -1
  568. package/dist/composition/bridge-prediction.d.ts.map +1 -1
  569. package/dist/composition/bridge-prediction.js +12 -16
  570. package/dist/composition/bridge-prediction.js.map +1 -1
  571. package/dist/composition/buckingham-filter.js.map +1 -1
  572. package/dist/composition/canonical-compare.d.ts +40 -0
  573. package/dist/composition/canonical-compare.d.ts.map +1 -1
  574. package/dist/composition/canonical-compare.js +134 -26
  575. package/dist/composition/canonical-compare.js.map +1 -1
  576. package/dist/composition/canonical-graph.d.ts +9 -10
  577. package/dist/composition/canonical-graph.d.ts.map +1 -1
  578. package/dist/composition/canonical-graph.js +33 -102
  579. package/dist/composition/canonical-graph.js.map +1 -1
  580. package/dist/composition/canonical-json.js +2 -2
  581. package/dist/composition/canonical-json.js.map +1 -1
  582. package/dist/composition/canonical-prefactors.js.map +1 -1
  583. package/dist/composition/catalog-graph.d.ts.map +1 -1
  584. package/dist/composition/catalog-graph.js +8 -25
  585. package/dist/composition/catalog-graph.js.map +1 -1
  586. package/dist/composition/chain-candidate.d.ts +10 -0
  587. package/dist/composition/chain-candidate.d.ts.map +1 -1
  588. package/dist/composition/chain-candidate.js +11 -2
  589. package/dist/composition/chain-candidate.js.map +1 -1
  590. package/dist/composition/chain-match.d.ts +6 -3
  591. package/dist/composition/chain-match.d.ts.map +1 -1
  592. package/dist/composition/chain-match.js +4 -1
  593. package/dist/composition/chain-match.js.map +1 -1
  594. package/dist/composition/chain-regime.js.map +1 -1
  595. package/dist/composition/chain-result.d.ts.map +1 -1
  596. package/dist/composition/chain-result.js +2 -14
  597. package/dist/composition/chain-result.js.map +1 -1
  598. package/dist/composition/compose-surface.js.map +1 -1
  599. package/dist/composition/compose-symbolic.d.ts.map +1 -1
  600. package/dist/composition/compose-symbolic.js +3 -2
  601. package/dist/composition/compose-symbolic.js.map +1 -1
  602. package/dist/composition/compose.d.ts.map +1 -1
  603. package/dist/composition/compose.js +166 -41
  604. package/dist/composition/compose.js.map +1 -1
  605. package/dist/composition/composition-recovery.d.ts.map +1 -1
  606. package/dist/composition/composition-recovery.js +4 -7
  607. package/dist/composition/composition-recovery.js.map +1 -1
  608. package/dist/composition/consequence.d.ts.map +1 -1
  609. package/dist/composition/consequence.js +15 -6
  610. package/dist/composition/consequence.js.map +1 -1
  611. package/dist/composition/consistency.js.map +1 -1
  612. package/dist/composition/descriptor.d.ts +1 -1
  613. package/dist/composition/descriptor.d.ts.map +1 -1
  614. package/dist/composition/descriptor.js.map +1 -1
  615. package/dist/composition/dimension-adjacency.js.map +1 -1
  616. package/dist/composition/discovery.d.ts +77 -11
  617. package/dist/composition/discovery.d.ts.map +1 -1
  618. package/dist/composition/discovery.js +194 -80
  619. package/dist/composition/discovery.js.map +1 -1
  620. package/dist/composition/edge.d.ts +40 -10
  621. package/dist/composition/edge.d.ts.map +1 -1
  622. package/dist/composition/edge.js +47 -12
  623. package/dist/composition/edge.js.map +1 -1
  624. package/dist/composition/enumerate.d.ts +2 -2
  625. package/dist/composition/enumerate.d.ts.map +1 -1
  626. package/dist/composition/enumerate.js +18 -3
  627. package/dist/composition/enumerate.js.map +1 -1
  628. package/dist/composition/evaluate-relation.d.ts +35 -11
  629. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  630. package/dist/composition/evaluate-relation.js +60 -39
  631. package/dist/composition/evaluate-relation.js.map +1 -1
  632. package/dist/composition/explain.d.ts +5 -9
  633. package/dist/composition/explain.d.ts.map +1 -1
  634. package/dist/composition/explain.js +38 -18
  635. package/dist/composition/explain.js.map +1 -1
  636. package/dist/composition/expr-eval.d.ts.map +1 -1
  637. package/dist/composition/expr-eval.js +2 -11
  638. package/dist/composition/expr-eval.js.map +1 -1
  639. package/dist/composition/expr-simplify.d.ts +16 -0
  640. package/dist/composition/expr-simplify.d.ts.map +1 -1
  641. package/dist/composition/expr-simplify.js +24 -59
  642. package/dist/composition/expr-simplify.js.map +1 -1
  643. package/dist/composition/expr-subst.js.map +1 -1
  644. package/dist/composition/formula-shape.d.ts +28 -0
  645. package/dist/composition/formula-shape.d.ts.map +1 -1
  646. package/dist/composition/formula-shape.js +96 -2
  647. package/dist/composition/formula-shape.js.map +1 -1
  648. package/dist/composition/frontier-account.d.ts +3 -2
  649. package/dist/composition/frontier-account.d.ts.map +1 -1
  650. package/dist/composition/frontier-account.js +7 -3
  651. package/dist/composition/frontier-account.js.map +1 -1
  652. package/dist/composition/graph-structure.d.ts +98 -0
  653. package/dist/composition/graph-structure.d.ts.map +1 -0
  654. package/dist/composition/graph-structure.js +167 -0
  655. package/dist/composition/graph-structure.js.map +1 -0
  656. package/dist/composition/graph-viz-svg.d.ts.map +1 -1
  657. package/dist/composition/graph-viz-svg.js +1 -1
  658. package/dist/composition/graph-viz-svg.js.map +1 -1
  659. package/dist/composition/graph-viz.d.ts.map +1 -1
  660. package/dist/composition/graph-viz.js +8 -37
  661. package/dist/composition/graph-viz.js.map +1 -1
  662. package/dist/composition/grounding.js.map +1 -1
  663. package/dist/composition/identifiability.d.ts +91 -4
  664. package/dist/composition/identifiability.d.ts.map +1 -1
  665. package/dist/composition/identifiability.js +363 -6
  666. package/dist/composition/identifiability.js.map +1 -1
  667. package/dist/composition/index.d.ts +14 -8
  668. package/dist/composition/index.d.ts.map +1 -1
  669. package/dist/composition/index.js +7 -5
  670. package/dist/composition/index.js.map +1 -1
  671. package/dist/composition/mathts-quiet.d.ts +29 -0
  672. package/dist/composition/mathts-quiet.d.ts.map +1 -0
  673. package/dist/composition/mathts-quiet.js +57 -0
  674. package/dist/composition/mathts-quiet.js.map +1 -0
  675. package/dist/composition/mathts-scalar-symbols.d.ts.map +1 -1
  676. package/dist/composition/mathts-scalar-symbols.js +20 -35
  677. package/dist/composition/mathts-scalar-symbols.js.map +1 -1
  678. package/dist/composition/not-composable-seeds.d.ts +3 -1
  679. package/dist/composition/not-composable-seeds.d.ts.map +1 -1
  680. package/dist/composition/not-composable-seeds.js +2 -0
  681. package/dist/composition/not-composable-seeds.js.map +1 -1
  682. package/dist/composition/probe/backend-protocol.js.map +1 -1
  683. package/dist/composition/probe/candidate-store.js.map +1 -1
  684. package/dist/composition/probe/corpus.d.ts +4 -2
  685. package/dist/composition/probe/corpus.d.ts.map +1 -1
  686. package/dist/composition/probe/corpus.js +20 -9
  687. package/dist/composition/probe/corpus.js.map +1 -1
  688. package/dist/composition/probe/dataset.d.ts +17 -0
  689. package/dist/composition/probe/dataset.d.ts.map +1 -1
  690. package/dist/composition/probe/dataset.js +95 -50
  691. package/dist/composition/probe/dataset.js.map +1 -1
  692. package/dist/composition/probe/experiment-design.d.ts +5 -1
  693. package/dist/composition/probe/experiment-design.d.ts.map +1 -1
  694. package/dist/composition/probe/experiment-design.js +44 -24
  695. package/dist/composition/probe/experiment-design.js.map +1 -1
  696. package/dist/composition/probe/expression-gaps.js.map +1 -1
  697. package/dist/composition/probe/falsify.d.ts +14 -3
  698. package/dist/composition/probe/falsify.d.ts.map +1 -1
  699. package/dist/composition/probe/falsify.js +16 -27
  700. package/dist/composition/probe/falsify.js.map +1 -1
  701. package/dist/composition/probe/fingerprint.js.map +1 -1
  702. package/dist/composition/probe/fit.d.ts +7 -1
  703. package/dist/composition/probe/fit.d.ts.map +1 -1
  704. package/dist/composition/probe/fit.js +48 -23
  705. package/dist/composition/probe/fit.js.map +1 -1
  706. package/dist/composition/probe/frontier.d.ts.map +1 -1
  707. package/dist/composition/probe/frontier.js +33 -15
  708. package/dist/composition/probe/frontier.js.map +1 -1
  709. package/dist/composition/probe/generator.d.ts +27 -1
  710. package/dist/composition/probe/generator.d.ts.map +1 -1
  711. package/dist/composition/probe/generator.js +53 -30
  712. package/dist/composition/probe/generator.js.map +1 -1
  713. package/dist/composition/probe/index.d.ts +18 -2
  714. package/dist/composition/probe/index.d.ts.map +1 -1
  715. package/dist/composition/probe/index.js +10 -2
  716. package/dist/composition/probe/index.js.map +1 -1
  717. package/dist/composition/probe/limits.d.ts +24 -1
  718. package/dist/composition/probe/limits.d.ts.map +1 -1
  719. package/dist/composition/probe/limits.js +53 -11
  720. package/dist/composition/probe/limits.js.map +1 -1
  721. package/dist/composition/probe/metadata.js.map +1 -1
  722. package/dist/composition/probe/pipeline.d.ts +5 -0
  723. package/dist/composition/probe/pipeline.d.ts.map +1 -1
  724. package/dist/composition/probe/pipeline.js +22 -9
  725. package/dist/composition/probe/pipeline.js.map +1 -1
  726. package/dist/composition/probe/power-law.d.ts +121 -0
  727. package/dist/composition/probe/power-law.d.ts.map +1 -0
  728. package/dist/composition/probe/power-law.js +255 -0
  729. package/dist/composition/probe/power-law.js.map +1 -0
  730. package/dist/composition/probe/problem.d.ts +12 -1
  731. package/dist/composition/probe/problem.d.ts.map +1 -1
  732. package/dist/composition/probe/problem.js +242 -48
  733. package/dist/composition/probe/problem.js.map +1 -1
  734. package/dist/composition/probe/report.js +1 -1
  735. package/dist/composition/probe/report.js.map +1 -1
  736. package/dist/composition/probe/residual.d.ts +6 -1
  737. package/dist/composition/probe/residual.d.ts.map +1 -1
  738. package/dist/composition/probe/residual.js +9 -7
  739. package/dist/composition/probe/residual.js.map +1 -1
  740. package/dist/composition/probe/run-manifest.js +2 -2
  741. package/dist/composition/probe/run-manifest.js.map +1 -1
  742. package/dist/composition/probe/scoring.d.ts +2 -1
  743. package/dist/composition/probe/scoring.d.ts.map +1 -1
  744. package/dist/composition/probe/scoring.js +21 -7
  745. package/dist/composition/probe/scoring.js.map +1 -1
  746. package/dist/composition/probe/search-budget.js.map +1 -1
  747. package/dist/composition/probe/serialize.js.map +1 -1
  748. package/dist/composition/probe/structure.d.ts +82 -17
  749. package/dist/composition/probe/structure.d.ts.map +1 -1
  750. package/dist/composition/probe/structure.js +129 -55
  751. package/dist/composition/probe/structure.js.map +1 -1
  752. package/dist/composition/probe/study.d.ts +35 -12
  753. package/dist/composition/probe/study.d.ts.map +1 -1
  754. package/dist/composition/probe/study.js +241 -184
  755. package/dist/composition/probe/study.js.map +1 -1
  756. package/dist/composition/probe/t-tail.d.ts +17 -0
  757. package/dist/composition/probe/t-tail.d.ts.map +1 -0
  758. package/dist/composition/probe/t-tail.js +32 -0
  759. package/dist/composition/probe/t-tail.js.map +1 -0
  760. package/dist/composition/probe/types.d.ts +6 -1
  761. package/dist/composition/probe/types.d.ts.map +1 -1
  762. package/dist/composition/probe/types.js +2 -0
  763. package/dist/composition/probe/types.js.map +1 -1
  764. package/dist/composition/proposed-bridges.d.ts +51 -13
  765. package/dist/composition/proposed-bridges.d.ts.map +1 -1
  766. package/dist/composition/proposed-bridges.js +110 -58
  767. package/dist/composition/proposed-bridges.js.map +1 -1
  768. package/dist/composition/quantities.d.ts +0 -4
  769. package/dist/composition/quantities.d.ts.map +1 -1
  770. package/dist/composition/quantities.js +5 -5
  771. package/dist/composition/quantities.js.map +1 -1
  772. package/dist/composition/quantity-clusters.d.ts +48 -0
  773. package/dist/composition/quantity-clusters.d.ts.map +1 -0
  774. package/dist/composition/quantity-clusters.js +98 -0
  775. package/dist/composition/quantity-clusters.js.map +1 -0
  776. package/dist/composition/quantity.d.ts +18 -2
  777. package/dist/composition/quantity.d.ts.map +1 -1
  778. package/dist/composition/quantity.js +35 -6
  779. package/dist/composition/quantity.js.map +1 -1
  780. package/dist/composition/rational-exponent.d.ts +40 -0
  781. package/dist/composition/rational-exponent.d.ts.map +1 -0
  782. package/dist/composition/rational-exponent.js +65 -0
  783. package/dist/composition/rational-exponent.js.map +1 -0
  784. package/dist/composition/representative-values.d.ts +22 -0
  785. package/dist/composition/representative-values.d.ts.map +1 -1
  786. package/dist/composition/representative-values.js +23 -0
  787. package/dist/composition/representative-values.js.map +1 -1
  788. package/dist/composition/retrodiction.d.ts +16 -6
  789. package/dist/composition/retrodiction.d.ts.map +1 -1
  790. package/dist/composition/retrodiction.js +36 -10
  791. package/dist/composition/retrodiction.js.map +1 -1
  792. package/dist/composition/uncertainty.js.map +1 -1
  793. package/dist/composition/user-equation.d.ts.map +1 -1
  794. package/dist/composition/user-equation.js +2 -2
  795. package/dist/composition/user-equation.js.map +1 -1
  796. package/dist/core/assignment.d.ts +19 -0
  797. package/dist/core/assignment.d.ts.map +1 -0
  798. package/dist/core/assignment.js +19 -0
  799. package/dist/core/assignment.js.map +1 -0
  800. package/dist/core/axes-registry.d.ts +8 -5
  801. package/dist/core/axes-registry.d.ts.map +1 -1
  802. package/dist/core/axes-registry.js.map +1 -1
  803. package/dist/core/cell.js.map +1 -1
  804. package/dist/core/compare.d.ts +32 -0
  805. package/dist/core/compare.d.ts.map +1 -0
  806. package/dist/core/compare.js +46 -0
  807. package/dist/core/compare.js.map +1 -0
  808. package/dist/core/constants.d.ts +35 -35
  809. package/dist/core/constants.d.ts.map +1 -1
  810. package/dist/core/constants.js +52 -37
  811. package/dist/core/constants.js.map +1 -1
  812. package/dist/core/data-file.d.ts +7 -0
  813. package/dist/core/data-file.d.ts.map +1 -1
  814. package/dist/core/data-file.js +17 -0
  815. package/dist/core/data-file.js.map +1 -1
  816. package/dist/core/flux-rules.js +1 -1
  817. package/dist/core/flux-rules.js.map +1 -1
  818. package/dist/core/format.d.ts +36 -0
  819. package/dist/core/format.d.ts.map +1 -0
  820. package/dist/core/format.js +39 -0
  821. package/dist/core/format.js.map +1 -0
  822. package/dist/core/hash.d.ts +14 -0
  823. package/dist/core/hash.d.ts.map +1 -0
  824. package/dist/core/hash.js +17 -0
  825. package/dist/core/hash.js.map +1 -0
  826. package/dist/core/json-schema.d.ts +3 -1
  827. package/dist/core/json-schema.d.ts.map +1 -1
  828. package/dist/core/json-schema.js +41 -16
  829. package/dist/core/json-schema.js.map +1 -1
  830. package/dist/core/labeled-tensor.d.ts +6 -1
  831. package/dist/core/labeled-tensor.d.ts.map +1 -1
  832. package/dist/core/labeled-tensor.js +18 -16
  833. package/dist/core/labeled-tensor.js.map +1 -1
  834. package/dist/core/mathts-read.d.ts +25 -0
  835. package/dist/core/mathts-read.d.ts.map +1 -0
  836. package/dist/core/mathts-read.js +51 -0
  837. package/dist/core/mathts-read.js.map +1 -0
  838. package/dist/core/regime-registry.d.ts +6 -2
  839. package/dist/core/regime-registry.d.ts.map +1 -1
  840. package/dist/core/regime-registry.js.map +1 -1
  841. package/dist/core/regime-rule-install.js.map +1 -1
  842. package/dist/core/regimes-builtins.js.map +1 -1
  843. package/dist/core/tensor.d.ts +7 -4
  844. package/dist/core/tensor.d.ts.map +1 -1
  845. package/dist/core/tensor.js +64 -8
  846. package/dist/core/tensor.js.map +1 -1
  847. package/dist/core/types.d.ts +5 -5
  848. package/dist/core/types.js.map +1 -1
  849. package/dist/core/universal-index.js.map +1 -1
  850. package/dist/diff/bridge-ast-gradient.d.ts +4 -5
  851. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  852. package/dist/diff/bridge-ast-gradient.js +10 -6
  853. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  854. package/dist/diff/bridge-gradient.d.ts +43 -86
  855. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  856. package/dist/diff/bridge-gradient.js +40 -109
  857. package/dist/diff/bridge-gradient.js.map +1 -1
  858. package/dist/diff/bridge-specs.d.ts +16 -5
  859. package/dist/diff/bridge-specs.d.ts.map +1 -1
  860. package/dist/diff/bridge-specs.js +19 -4
  861. package/dist/diff/bridge-specs.js.map +1 -1
  862. package/dist/dimensional/algebra.d.ts +18 -0
  863. package/dist/dimensional/algebra.d.ts.map +1 -1
  864. package/dist/dimensional/algebra.js +41 -1
  865. package/dist/dimensional/algebra.js.map +1 -1
  866. package/dist/dimensional/ast-builders.d.ts +12 -4
  867. package/dist/dimensional/ast-builders.d.ts.map +1 -1
  868. package/dist/dimensional/ast-builders.js +17 -5
  869. package/dist/dimensional/ast-builders.js.map +1 -1
  870. package/dist/dimensional/ast-leaves.d.ts +81 -0
  871. package/dist/dimensional/ast-leaves.d.ts.map +1 -0
  872. package/dist/dimensional/ast-leaves.js +146 -0
  873. package/dist/dimensional/ast-leaves.js.map +1 -0
  874. package/dist/dimensional/ast-types.js.map +1 -1
  875. package/dist/dimensional/bridge-check.js.map +1 -1
  876. package/dist/dimensional/buckingham.d.ts.map +1 -1
  877. package/dist/dimensional/buckingham.js +15 -27
  878. package/dist/dimensional/buckingham.js.map +1 -1
  879. package/dist/dimensional/connection-validators.d.ts +2 -1
  880. package/dist/dimensional/connection-validators.d.ts.map +1 -1
  881. package/dist/dimensional/connection-validators.js.map +1 -1
  882. package/dist/dimensional/connection.js.map +1 -1
  883. package/dist/dimensional/constant-rows.d.ts.map +1 -1
  884. package/dist/dimensional/constant-rows.js +17 -13
  885. package/dist/dimensional/constant-rows.js.map +1 -1
  886. package/dist/dimensional/constants.d.ts +5 -6
  887. package/dist/dimensional/constants.d.ts.map +1 -1
  888. package/dist/dimensional/constants.js +5 -6
  889. package/dist/dimensional/constants.js.map +1 -1
  890. package/dist/dimensional/curvature-composite.js.map +1 -1
  891. package/dist/dimensional/curvature-invariants.js.map +1 -1
  892. package/dist/dimensional/curvature.js.map +1 -1
  893. package/dist/dimensional/dimension-inference.d.ts.map +1 -1
  894. package/dist/dimensional/dimension-inference.js +1 -2
  895. package/dist/dimensional/dimension-inference.js.map +1 -1
  896. package/dist/dimensional/dimension-spec.d.ts +13 -7
  897. package/dist/dimensional/dimension-spec.d.ts.map +1 -1
  898. package/dist/dimensional/dimension-spec.js +49 -23
  899. package/dist/dimensional/dimension-spec.js.map +1 -1
  900. package/dist/dimensional/einstein-equation.js.map +1 -1
  901. package/dist/dimensional/errors.d.ts +4 -2
  902. package/dist/dimensional/errors.d.ts.map +1 -1
  903. package/dist/dimensional/errors.js +3 -17
  904. package/dist/dimensional/errors.js.map +1 -1
  905. package/dist/dimensional/exact-scale.d.ts +0 -17
  906. package/dist/dimensional/exact-scale.d.ts.map +1 -1
  907. package/dist/dimensional/exact-scale.js +8 -8
  908. package/dist/dimensional/exact-scale.js.map +1 -1
  909. package/dist/dimensional/field-equation-helpers.js.map +1 -1
  910. package/dist/dimensional/formula-names.js.map +1 -1
  911. package/dist/dimensional/fresh-label.js.map +1 -1
  912. package/dist/dimensional/friedmann-equation.d.ts +3 -3
  913. package/dist/dimensional/friedmann-equation.js +3 -3
  914. package/dist/dimensional/friedmann-equation.js.map +1 -1
  915. package/dist/dimensional/gauge-field.d.ts +2 -3
  916. package/dist/dimensional/gauge-field.d.ts.map +1 -1
  917. package/dist/dimensional/gauge-field.js +2 -3
  918. package/dist/dimensional/gauge-field.js.map +1 -1
  919. package/dist/dimensional/hyphen-names.d.ts +12 -2
  920. package/dist/dimensional/hyphen-names.d.ts.map +1 -1
  921. package/dist/dimensional/hyphen-names.js +45 -12
  922. package/dist/dimensional/hyphen-names.js.map +1 -1
  923. package/dist/dimensional/killing-validators.js.map +1 -1
  924. package/dist/dimensional/klein-gordon-equation.js.map +1 -1
  925. package/dist/dimensional/metric-validators.d.ts +2 -1
  926. package/dist/dimensional/metric-validators.d.ts.map +1 -1
  927. package/dist/dimensional/metric-validators.js.map +1 -1
  928. package/dist/dimensional/metric.d.ts.map +1 -1
  929. package/dist/dimensional/metric.js +0 -1
  930. package/dist/dimensional/metric.js.map +1 -1
  931. package/dist/dimensional/natural-units.js.map +1 -1
  932. package/dist/dimensional/quantity-registry.d.ts +13 -0
  933. package/dist/dimensional/quantity-registry.d.ts.map +1 -1
  934. package/dist/dimensional/quantity-registry.js +14 -6
  935. package/dist/dimensional/quantity-registry.js.map +1 -1
  936. package/dist/dimensional/rg-flow.js.map +1 -1
  937. package/dist/dimensional/stress-energy-validators.js.map +1 -1
  938. package/dist/dimensional/symbolic-constants.d.ts +9 -0
  939. package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
  940. package/dist/dimensional/symbolic-constants.js +20 -3
  941. package/dist/dimensional/symbolic-constants.js.map +1 -1
  942. package/dist/dimensional/tensor-trace.js.map +1 -1
  943. package/dist/dimensional/tensor.js.map +1 -1
  944. package/dist/dimensional/types.d.ts +36 -0
  945. package/dist/dimensional/types.d.ts.map +1 -1
  946. package/dist/dimensional/types.js +45 -7
  947. package/dist/dimensional/types.js.map +1 -1
  948. package/dist/dimensional/unit-convention.d.ts +0 -2
  949. package/dist/dimensional/unit-convention.d.ts.map +1 -1
  950. package/dist/dimensional/unit-convention.js +2 -2
  951. package/dist/dimensional/unit-convention.js.map +1 -1
  952. package/dist/dimensional/unit-data.d.ts.map +1 -1
  953. package/dist/dimensional/unit-data.js +11 -7
  954. package/dist/dimensional/unit-data.js.map +1 -1
  955. package/dist/dimensional/units.d.ts.map +1 -1
  956. package/dist/dimensional/units.js +38 -20
  957. package/dist/dimensional/units.js.map +1 -1
  958. package/dist/dimensional/validator-registry.js.map +1 -1
  959. package/dist/dimensional/validator.d.ts +0 -16
  960. package/dist/dimensional/validator.d.ts.map +1 -1
  961. package/dist/dimensional/validator.js +65 -29
  962. package/dist/dimensional/validator.js.map +1 -1
  963. package/dist/dimensional/weyl-validators.js.map +1 -1
  964. package/dist/index.d.ts +59 -8
  965. package/dist/index.d.ts.map +1 -1
  966. package/dist/index.js +22 -24
  967. package/dist/index.js.map +1 -1
  968. package/dist/numerical/bianchi-residual.js.map +1 -1
  969. package/dist/numerical/binding-value.d.ts +11 -6
  970. package/dist/numerical/binding-value.d.ts.map +1 -1
  971. package/dist/numerical/binding-value.js +126 -122
  972. package/dist/numerical/binding-value.js.map +1 -1
  973. package/dist/numerical/christoffel-flat.d.ts.map +1 -1
  974. package/dist/numerical/christoffel-flat.js +3 -2
  975. package/dist/numerical/christoffel-flat.js.map +1 -1
  976. package/dist/numerical/connection-lowering-helpers.js.map +1 -1
  977. package/dist/numerical/covariant-eikonal.d.ts.map +1 -1
  978. package/dist/numerical/covariant-eikonal.js +36 -13
  979. package/dist/numerical/covariant-eikonal.js.map +1 -1
  980. package/dist/numerical/curvature-lowering-helpers.d.ts +20 -0
  981. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  982. package/dist/numerical/curvature-lowering-helpers.js +9 -5
  983. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  984. package/dist/numerical/derivative-lowering.js.map +1 -1
  985. package/dist/numerical/einstein-equation.js.map +1 -1
  986. package/dist/numerical/engine-registry.js.map +1 -1
  987. package/dist/numerical/errors.d.ts +7 -3
  988. package/dist/numerical/errors.d.ts.map +1 -1
  989. package/dist/numerical/errors.js +5 -8
  990. package/dist/numerical/errors.js.map +1 -1
  991. package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -1
  992. package/dist/numerical/evaluator-uncertainty.js +19 -2
  993. package/dist/numerical/evaluator-uncertainty.js.map +1 -1
  994. package/dist/numerical/finite-difference.d.ts +22 -0
  995. package/dist/numerical/finite-difference.d.ts.map +1 -0
  996. package/dist/numerical/finite-difference.js +27 -0
  997. package/dist/numerical/finite-difference.js.map +1 -0
  998. package/dist/numerical/formula-contract.d.ts +63 -7
  999. package/dist/numerical/formula-contract.d.ts.map +1 -1
  1000. package/dist/numerical/formula-contract.js +61 -42
  1001. package/dist/numerical/formula-contract.js.map +1 -1
  1002. package/dist/numerical/formula-dimension.d.ts +8 -7
  1003. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  1004. package/dist/numerical/formula-dimension.js +58 -36
  1005. package/dist/numerical/formula-dimension.js.map +1 -1
  1006. package/dist/numerical/formula-mathts.d.ts.map +1 -1
  1007. package/dist/numerical/formula-mathts.js +5 -2
  1008. package/dist/numerical/formula-mathts.js.map +1 -1
  1009. package/dist/numerical/formula-registry.d.ts +13 -3
  1010. package/dist/numerical/formula-registry.d.ts.map +1 -1
  1011. package/dist/numerical/formula-registry.js +7 -2
  1012. package/dist/numerical/formula-registry.js.map +1 -1
  1013. package/dist/numerical/geodesic-integrator.d.ts.map +1 -1
  1014. package/dist/numerical/geodesic-integrator.js +22 -14
  1015. package/dist/numerical/geodesic-integrator.js.map +1 -1
  1016. package/dist/numerical/geometrized.d.ts.map +1 -1
  1017. package/dist/numerical/geometrized.js +0 -1
  1018. package/dist/numerical/geometrized.js.map +1 -1
  1019. package/dist/numerical/gl4-integrator.d.ts +28 -27
  1020. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  1021. package/dist/numerical/gl4-integrator.js +41 -42
  1022. package/dist/numerical/gl4-integrator.js.map +1 -1
  1023. package/dist/numerical/grid-field.js.map +1 -1
  1024. package/dist/numerical/index.js.map +1 -1
  1025. package/dist/numerical/input-validation.d.ts +3 -6
  1026. package/dist/numerical/input-validation.d.ts.map +1 -1
  1027. package/dist/numerical/input-validation.js +4 -8
  1028. package/dist/numerical/input-validation.js.map +1 -1
  1029. package/dist/numerical/killing.d.ts +8 -5
  1030. package/dist/numerical/killing.d.ts.map +1 -1
  1031. package/dist/numerical/killing.js.map +1 -1
  1032. package/dist/numerical/klein-gordon.js.map +1 -1
  1033. package/dist/numerical/kretschmann.js.map +1 -1
  1034. package/dist/numerical/lowering-utils.js.map +1 -1
  1035. package/dist/numerical/lowering.d.ts.map +1 -1
  1036. package/dist/numerical/lowering.js +7 -17
  1037. package/dist/numerical/lowering.js.map +1 -1
  1038. package/dist/numerical/mathts-engine.d.ts.map +1 -1
  1039. package/dist/numerical/mathts-engine.js +16 -25
  1040. package/dist/numerical/mathts-engine.js.map +1 -1
  1041. package/dist/numerical/metric-inverse.d.ts.map +1 -1
  1042. package/dist/numerical/metric-inverse.js +83 -46
  1043. package/dist/numerical/metric-inverse.js.map +1 -1
  1044. package/dist/numerical/null-ic.js.map +1 -1
  1045. package/dist/numerical/null-ray-integrator.d.ts +2 -1
  1046. package/dist/numerical/null-ray-integrator.d.ts.map +1 -1
  1047. package/dist/numerical/null-ray-integrator.js +12 -12
  1048. package/dist/numerical/null-ray-integrator.js.map +1 -1
  1049. package/dist/numerical/painleve-gullstrand-metric.js +2 -2
  1050. package/dist/numerical/painleve-gullstrand-metric.js.map +1 -1
  1051. package/dist/numerical/pderiv.d.ts.map +1 -1
  1052. package/dist/numerical/pderiv.js +9 -2
  1053. package/dist/numerical/pderiv.js.map +1 -1
  1054. package/dist/numerical/perihelion-finder.d.ts +0 -36
  1055. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  1056. package/dist/numerical/perihelion-finder.js +41 -87
  1057. package/dist/numerical/perihelion-finder.js.map +1 -1
  1058. package/dist/numerical/quadrature.d.ts +5 -2
  1059. package/dist/numerical/quadrature.d.ts.map +1 -1
  1060. package/dist/numerical/quadrature.js +19 -4
  1061. package/dist/numerical/quadrature.js.map +1 -1
  1062. package/dist/numerical/rk4-trajectory.d.ts +10 -0
  1063. package/dist/numerical/rk4-trajectory.d.ts.map +1 -0
  1064. package/dist/numerical/rk4-trajectory.js +37 -0
  1065. package/dist/numerical/rk4-trajectory.js.map +1 -0
  1066. package/dist/numerical/schwarzschild.d.ts +14 -0
  1067. package/dist/numerical/schwarzschild.d.ts.map +1 -0
  1068. package/dist/numerical/schwarzschild.js +17 -0
  1069. package/dist/numerical/schwarzschild.js.map +1 -0
  1070. package/dist/numerical/spacetime-metrics.d.ts +25 -19
  1071. package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
  1072. package/dist/numerical/spacetime-metrics.js +180 -286
  1073. package/dist/numerical/spacetime-metrics.js.map +1 -1
  1074. package/dist/numerical/statistics.d.ts +24 -0
  1075. package/dist/numerical/statistics.d.ts.map +1 -0
  1076. package/dist/numerical/statistics.js +52 -0
  1077. package/dist/numerical/statistics.js.map +1 -0
  1078. package/dist/numerical/strides.js.map +1 -1
  1079. package/dist/numerical/tensor-engine.d.ts +30 -5
  1080. package/dist/numerical/tensor-engine.d.ts.map +1 -1
  1081. package/dist/numerical/tensor-engine.js +12 -0
  1082. package/dist/numerical/tensor-engine.js.map +1 -1
  1083. package/dist/numerical/types.js.map +1 -1
  1084. package/dist/numerical/weyl-lowering.js.map +1 -1
  1085. package/dist/relations/category.js.map +1 -1
  1086. package/dist/relations/composition-table.d.ts +4 -4
  1087. package/dist/relations/composition-table.js +4 -4
  1088. package/dist/relations/composition-table.js.map +1 -1
  1089. package/dist/relations/conventions.js.map +1 -1
  1090. package/dist/relations/domain-regimes.js.map +1 -1
  1091. package/dist/relations/regime-registration.js.map +1 -1
  1092. package/dist/relations/regime-vocabularies.js.map +1 -1
  1093. package/dist/relations/regime.d.ts +28 -8
  1094. package/dist/relations/regime.d.ts.map +1 -1
  1095. package/dist/relations/regime.js +44 -15
  1096. package/dist/relations/regime.js.map +1 -1
  1097. package/dist/relations/types.d.ts +18 -5
  1098. package/dist/relations/types.d.ts.map +1 -1
  1099. package/dist/relations/types.js +5 -3
  1100. package/dist/relations/types.js.map +1 -1
  1101. package/package.json +16 -20
  1102. package/dist/bridges/registry.d.ts +0 -60
  1103. package/dist/bridges/registry.d.ts.map +0 -1
  1104. package/dist/bridges/registry.js +0 -87
  1105. package/dist/bridges/registry.js.map +0 -1
  1106. package/dist/cli/poster-source.d.ts +0 -154
  1107. package/dist/cli/poster-source.d.ts.map +0 -1
  1108. package/dist/cli/poster-source.js +0 -184
  1109. package/dist/cli/poster-source.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"axes-registry.js","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAkCjD,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;IACtC,UAAU,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAC5C,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IAC1C,YAAY,EAAE,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC;IAClD,eAAe,EAAE,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACtD,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAChC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;IACpC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,YAAY,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAC3C,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;IACrC,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;IAC7C,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAoB,MAAM,CAAC,MAAM,CAAC;IACrD,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC;IAC5C,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,cAAc,EAAE,SAAS,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC3D,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,YAAY;IACtB,WAAW,EAAE,eAAe;CAC7B,CAAC,CAAC"}
1
+ {"version":3,"file":"axes-registry.js","sourceRoot":"","sources":["../../src/core/axes-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAsCjD,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;IACtC,UAAU,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAC5C,SAAS,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;IAC1C,YAAY,EAAE,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC;IAClD,eAAe,EAAE,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACtD,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAChC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC;IACpC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,YAAY,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAC3C,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;IACrC,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;IAC7C,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAoB,MAAM,CAAC,MAAM,CAAC;IACrD,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC;IAC5C,UAAU,EAAE,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC;IAClD,cAAc,EAAE,SAAS,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC3D,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,YAAY;IACtB,WAAW,EAAE,eAAe;CAC7B,CAAC,CAAC","sourcesContent":["/**\n * `Axes` singleton registry — module-load-stable `UniversalIndex`\n * references for every physics-axis value in `src/core/types.ts`.\n *\n * Phase 1 of v0.7 Proposal 1 (Intelligent Index Layer).\n *\n * Per Decision #4 (`docs/planning/v0.7-Proposal-1-Design.md`),\n * `Axes` is computed exactly once per Node process. Both the outer\n * namespace and each per-axis sub-object are `Object.freeze`d:\n * mutation attempts in strict mode throw `TypeError`. The values\n * inside are full `UniversalIndex<Axis>` objects (with stable\n * `id`s assigned at module load); same-object identity across\n * import sites is the load-bearing guarantee.\n *\n * Census basis: `docs/architecture/archive/v0.7-p1-baseline.md` Task 0.1.\n * - 4 scales × 5 forces × 5 symmetries × 4 information measures\n * = 18 stable references total\n * - dimension/topology axes are integer-valued and NOT enumerable\n * from `TensorConfig` — no `Axes.dimension` or `Axes.topology`\n * sub-namespace ships in v0.7.0\n *\n * @module core/axes-registry\n */\n\nimport { makeIndex } from './universal-index.js';\nimport type { UniversalIndex } from './universal-index.js';\nimport type {\n PhysicalScale,\n Force,\n Symmetry,\n InformationMeasure,\n} from './types.js';\n\n// ---------------------------------------------------------------------------\n// Per-namespace records — typed so consumers get autocompletion for\n// `Axes.scale.<quantum|mesoscopic|classical|cosmological>`, etc.\n// ---------------------------------------------------------------------------\n\n/** The scale namespace of {@link AxesRegistry}: one index per `PhysicalScale`. @public */\nexport type ScaleAxes = { readonly [K in PhysicalScale]: UniversalIndex<'scale'> };\n/** The force namespace of {@link AxesRegistry}: one index per `Force`. @public */\nexport type ForceAxes = { readonly [K in Force]: UniversalIndex<'force'> };\n/** The symmetry namespace of {@link AxesRegistry}: one index per `Symmetry`. @public */\nexport type SymmetryAxes = { readonly [K in Symmetry]: UniversalIndex<'symmetry'> };\n/** The information namespace of {@link AxesRegistry}: one index per `InformationMeasure`. @public */\nexport type InformationAxes = {\n readonly [K in InformationMeasure]: UniversalIndex<'information'>;\n};\n\n/**\n * Outer registry shape. Frozen at module load; per-namespace\n * sub-objects also frozen.\n *\n * @public\n */\nexport interface AxesRegistry {\n readonly scale: ScaleAxes;\n readonly force: ForceAxes;\n readonly symmetry: SymmetryAxes;\n readonly information: InformationAxes;\n}\n\n// ---------------------------------------------------------------------------\n// Registry construction — one makeIndex call per member, frozen\n// ---------------------------------------------------------------------------\n\nconst scaleAxes: ScaleAxes = Object.freeze({\n quantum: makeIndex('scale', 'quantum'),\n mesoscopic: makeIndex('scale', 'mesoscopic'),\n classical: makeIndex('scale', 'classical'),\n cosmological: makeIndex('scale', 'cosmological'),\n});\n\nconst forceAxes: ForceAxes = Object.freeze({\n gravitational: makeIndex('force', 'gravitational'),\n electromagnetic: makeIndex('force', 'electromagnetic'),\n weak: makeIndex('force', 'weak'),\n strong: makeIndex('force', 'strong'),\n emergent: makeIndex('force', 'emergent'),\n});\n\nconst symmetryAxes: SymmetryAxes = Object.freeze({\n poincare: makeIndex('symmetry', 'poincare'),\n gauge: makeIndex('symmetry', 'gauge'),\n conformal: makeIndex('symmetry', 'conformal'),\n susy: makeIndex('symmetry', 'susy'),\n emergent: makeIndex('symmetry', 'emergent'),\n});\n\nconst informationAxes: InformationAxes = Object.freeze({\n vonNeumann: makeIndex('information', 'vonNeumann'),\n shannon: makeIndex('information', 'shannon'),\n kolmogorov: makeIndex('information', 'kolmogorov'),\n quantumDiscord: makeIndex('information', 'quantumDiscord'),\n});\n\n/**\n * The canonical `Axes` registry. Same object across all import\n * sites; entry references stable across all reads.\n *\n * Usage:\n * import { Axes } from 'universal-physics-tensor';\n * const myIdx = Axes.scale.quantum; // UniversalIndex<'scale'>\n *\n * Two `LabeledTensor`s contracting on `Axes.scale.quantum` produce\n * a contraction. Two fresh `makeIndex('scale', 'quantum')` calls are\n * different ids: `contract` throws `IndexNameMismatchError` and names\n * both ids. Use the registry for shared identity (Decision #4).\n *\n * @public\n */\nexport const Axes: AxesRegistry = Object.freeze({\n scale: scaleAxes,\n force: forceAxes,\n symmetry: symmetryAxes,\n information: informationAxes,\n});\n"]}
@@ -1 +1 @@
1
- {"version":3,"file":"cell.js","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AA+GH,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,qEAAqE;AACrE,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,CAAS;IACvC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAiB;IAC5C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAqB;IACnD,mEAAmE;IACnE,mEAAmE;IACnE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"cell.js","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AA+GH,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,qEAAqE;AACrE,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,CAAS;IACvC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAiB;IAC5C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAqB;IACnD,mEAAmE;IACnE,mEAAmE;IACnE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Typed `Cell` discriminated union for `UniversalTensor`'s cell storage.\n *\n * Three variants — `LawCell`, `BridgeCell`, `EmergenceCell` — each\n * carrying a `kind` discriminator that lets TypeScript narrow to the\n * specific variant at every consumption site. Mirrors the v0.6.1\n * validator-registry's discriminated-union pattern at\n * `src/dimensional/validator-registry.ts`.\n *\n * Design doc: `docs/planning/v0.7-Proposal-3-Design.md`.\n * Review findings: `docs/planning/v0.7-Proposal-3-Review-Findings.md`.\n *\n * Migration relationship to `src/core/types.ts`:\n * - `PhysicalLaw` ↔ `LawCell` (field-shape faithful; `confidence`\n * flips `number` → string-literal union)\n * - `BridgeEquation` ↔ `BridgeCell` (same migration)\n * - `EmergentPhenomenon` ↔ `EmergenceCell` (same migration)\n *\n * The old interfaces are NOT deleted and NOT `@deprecated`-tagged in\n * this sprint (per Eve-R2 + the Phase 0 consumer-import census:\n * 4 in-repo sites still use them). A future v0.7.x sprint migrates\n * those consumers and then adds `@deprecated`.\n *\n * **No `confidenceToStatus` adapter is shipped** (per Eve-R3). The\n * 42-bridge catalog has BOTH a numeric `confidence` AND a curated\n * string `status` field, set independently; an adapter would\n * produce labels that contradict the catalog curation\n * (e.g. `status: 'established'` + `confidence: 0.7` → adapter\n * returns `'speculative'`). Callers must pass the string explicitly\n * at cell-construction sites.\n *\n * @module core/cell\n */\n\nimport type {\n PhysicalScale,\n Force,\n Symmetry,\n InformationMeasure,\n TensorIndices,\n PhysicalLaw,\n BridgeEquation,\n EmergentPhenomenon,\n} from './types.js';\n\n/**\n * Epistemic confidence vocabulary for `Cell` variants. Matches the\n * `'established' | 'speculative' | 'highly-speculative'` portion of\n * `BridgeEquationStatus` from `src/bridges/index.ts:42-46`, minus\n * `'invalid'` — cells in the tensor are by definition active; invalid\n * catalog entries should not be added.\n *\n * @public\n */\nexport type CellConfidence =\n | 'established'\n | 'speculative'\n | 'highly-speculative';\n\n/**\n * Fields common to every `Cell` variant. Each variant extends this\n * with a `kind` discriminator and variant-specific fields. The\n * `equation` field carries LaTeX-formatted mathematical content\n * (matching the existing `PhysicalLaw.equation` / `BridgeEquation.\n * equation` convention).\n *\n * @public\n */\nexport interface CellBase {\n /** Unique identifier within the parent `UniversalTensor`. */\n readonly id: string;\n\n /** Epistemic confidence vocabulary (see `CellConfidence`). */\n readonly confidence: CellConfidence;\n\n /** Mathematical formulation (LaTeX). */\n readonly equation: string;\n}\n\n/**\n * Cell variant representing a known physical law. 1:1 field-shape\n * correspondence with `PhysicalLaw` from `src/core/types.ts:88`,\n * except `confidence` is the string vocabulary (not `number`) and\n * the discriminator `kind: 'law'` is added.\n *\n * @public\n */\nexport interface LawCell extends CellBase {\n readonly kind: 'law';\n readonly name: string;\n readonly scales: ReadonlyArray<PhysicalScale>;\n readonly forces: ReadonlyArray<Force>;\n readonly symmetries: ReadonlyArray<Symmetry>;\n readonly informationMeasures?: ReadonlyArray<InformationMeasure>;\n readonly dimensions?: ReadonlyArray<number>;\n readonly topologies?: ReadonlyArray<number>;\n readonly references?: ReadonlyArray<string>;\n}\n\n/**\n * Cell variant representing a bridge equation between regimes. 1:1\n * field-shape correspondence with `BridgeEquation` from\n * `src/core/types.ts:126`, except `confidence` is the string\n * vocabulary and the discriminator `kind: 'bridge'` is added.\n *\n * @public\n */\nexport interface BridgeCell extends CellBase {\n readonly kind: 'bridge';\n readonly name: string;\n readonly source: TensorIndices;\n readonly target: TensorIndices;\n readonly validated: boolean;\n readonly description: string;\n}\n\n/**\n * Cell variant representing an emergent phenomenon. 1:1 field-shape\n * correspondence with `EmergentPhenomenon` from `src/core/types.ts:155`,\n * except `confidence` is the string vocabulary and the discriminator\n * `kind: 'emergence'` is added. Note: the old interface uses\n * `description` for the mathematical content; `EmergenceCell` carries\n * it as both `equation` (inherited from `CellBase`, mandatory) and\n * `description` (kept for prose-context fidelity, optional).\n *\n * @public\n */\nexport interface EmergenceCell extends CellBase {\n readonly kind: 'emergence';\n readonly name: string;\n readonly order: number;\n readonly indices: ReadonlyArray<TensorIndices>;\n readonly description?: string;\n}\n\n/**\n * The disjoint union of all `Cell` variants. Consumers narrow via\n * `switch (cell.kind)` with an exhaustive `_exhaustive: never` arm.\n *\n * @public\n */\nexport type Cell = LawCell | BridgeCell | EmergenceCell;\n\n// ---------------------------------------------------------------------------\n// Inverse adapters (legacy interface → Cell variant)\n// ---------------------------------------------------------------------------\n// Used by UniversalTensor.populatedCells() (Phase 2 Task 2.1) to resolve\n// stored cell-IDs back to Cell objects. Counterparts to the forward\n// adapters (cellToLaw / cellToBridge / cellToEmergence) at tensor.ts.\n//\n// The numeric `confidence: number` from the legacy interfaces is bucketed\n// back into the string vocabulary via `numberToCellConfidence`. This is\n// the lossy direction Eve-R3 flagged — but in THIS direction, the call\n// site is \"we have a legacy entry that was already in the tensor; bucket\n// its numeric confidence into the closest string label\". Per Decision #6\n// fan-out semantics, this can only happen for entries that round-tripped\n// through `addCell` (where the original string was authoritative) OR\n// entries added via the legacy `addLaw`/`addBridge`/`addEmergence` paths\n// (where the consumer chose a number directly). The bucketing matches\n// the forward `statusToConfidenceNumber` in tensor.ts: 0.95→established,\n// 0.6→speculative, 0.3→highly-speculative; thresholds chosen to make\n// the standard round-trip exact.\n\n/**\n * Inverse of `statusToConfidenceNumber` at tensor.ts:48-58. Buckets a\n * numeric confidence in [0,1] back to the string vocabulary. Used by\n * the inverse adapters below.\n *\n * @internal\n */\nfunction numberToCellConfidence(n: number): CellConfidence {\n if (n >= 0.8) return 'established';\n if (n >= 0.4) return 'speculative';\n return 'highly-speculative';\n}\n\n/**\n * Adapter: `PhysicalLaw` (legacy) → `LawCell`. Used by\n * `UniversalTensor.populatedCells()`.\n *\n * @internal\n */\nexport function lawToCell(law: PhysicalLaw): LawCell {\n return {\n kind: 'law',\n id: law.id,\n name: law.name,\n equation: law.equation,\n confidence: numberToCellConfidence(law.confidence),\n scales: law.scales,\n forces: law.forces,\n symmetries: law.symmetries,\n ...(law.informationMeasures ? { informationMeasures: law.informationMeasures } : {}),\n ...(law.dimensions ? { dimensions: law.dimensions } : {}),\n ...(law.topologies ? { topologies: law.topologies } : {}),\n ...(law.references ? { references: law.references } : {}),\n };\n}\n\n/**\n * Adapter: `BridgeEquation` (legacy) → `BridgeCell`. Used by\n * `UniversalTensor.populatedCells()`.\n *\n * @internal\n */\nexport function bridgeToCell(b: BridgeEquation): BridgeCell {\n return {\n kind: 'bridge',\n id: b.id,\n name: b.name,\n equation: b.equation,\n confidence: numberToCellConfidence(b.confidence),\n source: b.source,\n target: b.target,\n validated: b.validated,\n description: b.description,\n };\n}\n\n/**\n * Adapter: `EmergentPhenomenon` (legacy) → `EmergenceCell`. The\n * legacy `description` field holds the mathematical content (LaTeX);\n * we surface it as `equation` and leave `description` undefined\n * unless the legacy entry had a \"math\\n\\nprose\" split (per the\n * forward `cellToEmergence` adapter convention).\n *\n * @internal\n */\nexport function emergenceToCell(p: EmergentPhenomenon): EmergenceCell {\n // Split convention: if description contains \"\\n\\n\", treat the part\n // before as equation and after as prose; otherwise the whole field\n // is the equation.\n const splitIdx = p.description.indexOf('\\n\\n');\n const equation = splitIdx === -1 ? p.description : p.description.slice(0, splitIdx);\n const description = splitIdx === -1 ? undefined : p.description.slice(splitIdx + 2);\n\n return {\n kind: 'emergence',\n id: p.id,\n name: p.name,\n equation,\n confidence: numberToCellConfidence(p.confidence),\n order: p.order,\n indices: p.indices,\n ...(description ? { description } : {}),\n };\n}\n"]}
@@ -0,0 +1,32 @@
1
+ /**
2
+ * Numeric and string comparisons the layers above share.
3
+ *
4
+ * Two quotients state how far a value is from a reference; three predicates
5
+ * decide agreement in the product form `|a − b| ≤ tol · scale`, which is the
6
+ * form the sites that migrated here used, so a verdict at a tolerance
7
+ * boundary does not move by an ulp. The codepoint order is the sort that
8
+ * `a < b ? -1 : a > b ? 1 : 0` spelled at ten sites; it is not
9
+ * `localeCompare`, and a sort that used `localeCompare` keeps it.
10
+ *
11
+ * @module core/compare
12
+ */
13
+ /** `|value − ref| / max(|ref|, floor)`: the relative difference against a reference, with a floor for a reference near zero. @internal */
14
+ export declare function relDiff(value: number, ref: number, floor?: number): number;
15
+ /** `|a − b| / max(|a|, |b|, floor)`: the relative difference of two values neither of which is the reference. @internal */
16
+ export declare function symmetricRelDiff(a: number, b: number, floor?: number): number;
17
+ /** `|value − ref| ≤ tol · max(|ref|, floor)`: agreement relative to the reference. @internal */
18
+ export declare function withinRel(value: number, ref: number, tol: number, floor?: number): boolean;
19
+ /**
20
+ * `|value − ref| ≤ tol · max(1, |ref|)`: relative far from one, absolute near
21
+ * zero. The form a stored number written to a few significant digits is
22
+ * checked against the computed one with.
23
+ * @internal
24
+ */
25
+ export declare function withinMixed(value: number, ref: number, tol: number): boolean;
26
+ /** `|a − b| ≤ tol · max(|a|, |b|, floor)`: agreement of two values neither of which is the reference. @internal */
27
+ export declare function withinSymmetric(a: number, b: number, tol: number, floor?: number): boolean;
28
+ /** The UTF-16 code-unit order of two strings: −1, 0 or 1. Not `localeCompare`. @internal */
29
+ export declare function compareCodepoint(a: string, b: string): number;
30
+ /** A comparator over records, by a string key in codepoint order. @internal */
31
+ export declare function byKey<T>(key: (item: T) => string): (a: T, b: T) => number;
32
+ //# sourceMappingURL=compare.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compare.d.ts","sourceRoot":"","sources":["../../src/core/compare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,0IAA0I;AAC1I,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,MAAM,CAErE;AAED,2HAA2H;AAC3H,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,MAAM,CAExE;AAED,gGAAgG;AAChG,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,OAAO,CAErF;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAE5E;AAED,mHAAmH;AACnH,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,OAAO,CAErF;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7D;AAED,+EAA+E;AAC/E,wBAAgB,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAEzE"}
@@ -0,0 +1,46 @@
1
+ /**
2
+ * Numeric and string comparisons the layers above share.
3
+ *
4
+ * Two quotients state how far a value is from a reference; three predicates
5
+ * decide agreement in the product form `|a − b| ≤ tol · scale`, which is the
6
+ * form the sites that migrated here used, so a verdict at a tolerance
7
+ * boundary does not move by an ulp. The codepoint order is the sort that
8
+ * `a < b ? -1 : a > b ? 1 : 0` spelled at ten sites; it is not
9
+ * `localeCompare`, and a sort that used `localeCompare` keeps it.
10
+ *
11
+ * @module core/compare
12
+ */
13
+ /** `|value − ref| / max(|ref|, floor)`: the relative difference against a reference, with a floor for a reference near zero. @internal */
14
+ export function relDiff(value, ref, floor = 0) {
15
+ return Math.abs(value - ref) / Math.max(Math.abs(ref), floor);
16
+ }
17
+ /** `|a − b| / max(|a|, |b|, floor)`: the relative difference of two values neither of which is the reference. @internal */
18
+ export function symmetricRelDiff(a, b, floor = 0) {
19
+ return Math.abs(a - b) / Math.max(Math.abs(a), Math.abs(b), floor);
20
+ }
21
+ /** `|value − ref| ≤ tol · max(|ref|, floor)`: agreement relative to the reference. @internal */
22
+ export function withinRel(value, ref, tol, floor = 0) {
23
+ return Math.abs(value - ref) <= tol * Math.max(Math.abs(ref), floor);
24
+ }
25
+ /**
26
+ * `|value − ref| ≤ tol · max(1, |ref|)`: relative far from one, absolute near
27
+ * zero. The form a stored number written to a few significant digits is
28
+ * checked against the computed one with.
29
+ * @internal
30
+ */
31
+ export function withinMixed(value, ref, tol) {
32
+ return Math.abs(value - ref) <= tol * Math.max(1, Math.abs(ref));
33
+ }
34
+ /** `|a − b| ≤ tol · max(|a|, |b|, floor)`: agreement of two values neither of which is the reference. @internal */
35
+ export function withinSymmetric(a, b, tol, floor = 1) {
36
+ return Math.abs(a - b) <= tol * Math.max(Math.abs(a), Math.abs(b), floor);
37
+ }
38
+ /** The UTF-16 code-unit order of two strings: −1, 0 or 1. Not `localeCompare`. @internal */
39
+ export function compareCodepoint(a, b) {
40
+ return a < b ? -1 : a > b ? 1 : 0;
41
+ }
42
+ /** A comparator over records, by a string key in codepoint order. @internal */
43
+ export function byKey(key) {
44
+ return (a, b) => compareCodepoint(key(a), key(b));
45
+ }
46
+ //# sourceMappingURL=compare.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compare.js","sourceRoot":"","sources":["../../src/core/compare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,0IAA0I;AAC1I,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,GAAW,EAAE,KAAK,GAAG,CAAC;IAC3D,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,2HAA2H;AAC3H,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS,EAAE,KAAK,GAAG,CAAC;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,SAAS,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW,EAAE,KAAK,GAAG,CAAC;IAC1E,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW;IACjE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,eAAe,CAAC,CAAS,EAAE,CAAS,EAAE,GAAW,EAAE,KAAK,GAAG,CAAC;IAC1E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS;IACnD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK,CAAI,GAAwB;IAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC","sourcesContent":["/**\n * Numeric and string comparisons the layers above share.\n *\n * Two quotients state how far a value is from a reference; three predicates\n * decide agreement in the product form `|a − b| ≤ tol · scale`, which is the\n * form the sites that migrated here used, so a verdict at a tolerance\n * boundary does not move by an ulp. The codepoint order is the sort that\n * `a < b ? -1 : a > b ? 1 : 0` spelled at ten sites; it is not\n * `localeCompare`, and a sort that used `localeCompare` keeps it.\n *\n * @module core/compare\n */\n\n/** `|value − ref| / max(|ref|, floor)`: the relative difference against a reference, with a floor for a reference near zero. @internal */\nexport function relDiff(value: number, ref: number, floor = 0): number {\n return Math.abs(value - ref) / Math.max(Math.abs(ref), floor);\n}\n\n/** `|a − b| / max(|a|, |b|, floor)`: the relative difference of two values neither of which is the reference. @internal */\nexport function symmetricRelDiff(a: number, b: number, floor = 0): number {\n return Math.abs(a - b) / Math.max(Math.abs(a), Math.abs(b), floor);\n}\n\n/** `|value − ref| ≤ tol · max(|ref|, floor)`: agreement relative to the reference. @internal */\nexport function withinRel(value: number, ref: number, tol: number, floor = 0): boolean {\n return Math.abs(value - ref) <= tol * Math.max(Math.abs(ref), floor);\n}\n\n/**\n * `|value − ref| ≤ tol · max(1, |ref|)`: relative far from one, absolute near\n * zero. The form a stored number written to a few significant digits is\n * checked against the computed one with.\n * @internal\n */\nexport function withinMixed(value: number, ref: number, tol: number): boolean {\n return Math.abs(value - ref) <= tol * Math.max(1, Math.abs(ref));\n}\n\n/** `|a − b| ≤ tol · max(|a|, |b|, floor)`: agreement of two values neither of which is the reference. @internal */\nexport function withinSymmetric(a: number, b: number, tol: number, floor = 1): boolean {\n return Math.abs(a - b) <= tol * Math.max(Math.abs(a), Math.abs(b), floor);\n}\n\n/** The UTF-16 code-unit order of two strings: −1, 0 or 1. Not `localeCompare`. @internal */\nexport function compareCodepoint(a: string, b: string): number {\n return a < b ? -1 : a > b ? 1 : 0;\n}\n\n/** A comparator over records, by a string key in codepoint order. @internal */\nexport function byKey<T>(key: (item: T) => string): (a: T, b: T) => number {\n return (a, b) => compareCodepoint(key(a), key(b));\n}\n"]}
@@ -1,17 +1,15 @@
1
1
  /**
2
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
2
+ * Canonical CODATA 2022 + SI-defined physical constants for UPT.
3
3
  *
4
- * Single source of truth for fundamental physical constants used across the
5
- * numerical, dimensional, and bridge layers. Replaces the truncated local
6
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
7
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
8
- * `docs/architecture/archive/v0.5.1-audit.md`.
4
+ * The one owner of every fundamental physical constant used across the
5
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
6
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
9
7
  *
10
8
  * Values use:
11
9
  * • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
12
10
  * 2019 SI redefinition fixed their values exactly.
13
11
  * • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.
14
- * • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
12
+ * • CODATA 2022 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
15
13
  * • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.
16
14
  *
17
15
  * This file is the one owner of every value. `PhysicalConstants` in
@@ -27,37 +25,39 @@
27
25
  */
28
26
  /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
29
27
  export declare const C_SI = 299792458;
30
- /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
31
- export declare const G_SI = 6.6743e-11;
28
+ /** Rydberg constant R∞ (infinite nuclear mass), CODATA 2022 (m⁻¹), read from MathTS. */
29
+ export declare const R_INF_SI: number;
30
+ /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2022. */
31
+ export declare const G_SI: number;
32
32
  /** Planck constant (J·s). Exact SI definition since 2019. */
33
33
  export declare const H_SI = 6.62607015e-34;
34
34
  /**
35
35
  * Reduced Planck constant h/(2π) (J·s). Exact, from the 2019 SI definition of
36
36
  * h. The CODATA display `1.054571817e-34` is that quotient truncated; it is
37
- * smaller by a relative `6.127e-10`. Planck units below stay the published
38
- * CODATA 2018 values, which were computed from the truncated display.
37
+ * smaller by a relative `6.127e-10`. The Planck units below are
38
+ * MathTS's CODATA 2022 values, not recomputed here from {@link HBAR_SI}.
39
39
  */
40
40
  export declare const HBAR_SI: number;
41
- /** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
41
+ /** The CODATA display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
42
42
  export declare const HBAR_CODATA_DISPLAY = 1.054571817e-34;
43
43
  /** Boltzmann constant (J/K). Exact SI definition since 2019. */
44
44
  export declare const K_B_SI = 1.380649e-23;
45
45
  /** Elementary charge (C). Exact SI definition since 2019. */
46
46
  export declare const E_SI = 1.602176634e-19;
47
- /** Fine-structure constant α (dimensionless). CODATA 2018. */
48
- export declare const ALPHA = 0.0072973525693;
49
- /** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */
50
- export declare const EPS0_SI = 8.8541878128e-12;
47
+ /** Fine-structure constant α (dimensionless). CODATA 2022. */
48
+ export declare const ALPHA: number;
49
+ /** Vacuum permittivity ε₀ (F/m). CODATA 2022. @internal */
50
+ export declare const EPS0_SI: number;
51
51
  /** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */
52
52
  export declare const MU0_SI: number;
53
- /** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */
54
- export declare const SIGMA_SB_SI = 5.670374419e-8;
55
- /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
56
- export declare const M_P_SI = 2.176434e-8;
57
- /** Planck length √(ℏG/c³) (m). CODATA 2018. */
58
- export declare const L_P_SI = 1.616255e-35;
59
- /** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
60
- export declare const T_P_SI = 5.391247e-44;
53
+ /** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2022. @internal */
54
+ export declare const SIGMA_SB_SI: number;
55
+ /** Planck mass √(ℏc/G) (kg). CODATA 2022. */
56
+ export declare const M_P_SI: number;
57
+ /** Planck length √(ℏG/c³) (m). CODATA 2022. */
58
+ export declare const L_P_SI: number;
59
+ /** Planck time √(ℏG/c⁵) (s). CODATA 2022. */
60
+ export declare const T_P_SI: number;
61
61
  /**
62
62
  * Hubble parameter H₀ (s⁻¹).
63
63
  *
@@ -83,12 +83,14 @@ export declare const VON_KLITZING_SI: number;
83
83
  export declare const JOSEPHSON_CONSTANT_SI: number;
84
84
  /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
85
85
  export declare const LORENZ_NUMBER_SI: number;
86
+ /** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
87
+ export declare const EULER_GAMMA = 0.5772156649015329;
86
88
  /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
87
89
  export declare const BCS_GAP_RATIO: number;
88
90
  /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
89
91
  export declare const LANE_EMDEN_OMEGA3 = 2.01824;
90
92
  /** Thomson cross section (m²). */
91
- export declare const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;
93
+ export declare const THOMSON_CROSS_SECTION_SI: number;
92
94
  /**
93
95
  * Nominal solar gravitational parameter (GM)☉ (m³ s⁻²), IAU 2015 Resolution B3.
94
96
  *
@@ -107,21 +109,19 @@ export declare const GM_SUN_SI = 132712440000000000000;
107
109
  * @internal
108
110
  */
109
111
  export declare const M_SUN_IAU_SI: number;
110
- /** Where {@link GM_SUN_SI} comes from. @internal */
111
- export declare const GM_SUN_SOURCE = "IAU 2015 Resolution B3, nominal solar mass parameter (GM)\u2609 = 1.3271244e20 m\u00B3 s\u207B\u00B2";
112
112
  /**
113
- * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
113
+ * Electron mass (kg), CODATA 2022. Added for the v0.11 namespacing
114
114
  * gate's criterion-3 pin (λ_T of an electron at the Hawking
115
115
  * temperature — see the Adam vet A-5).
116
116
  * @public
117
117
  */
118
- export declare const M_E_SI = 9.1093837015e-31;
118
+ export declare const M_E_SI: number;
119
119
  /**
120
- * Proton mass (kg). CODATA 2018. Shared by the Eddington evaluator and
120
+ * Proton mass (kg). CODATA 2022. Shared by the Eddington evaluator and
121
121
  * `upt eval` (`m_p`, `m_proton`). Not the Planck mass `M_P_SI`.
122
122
  * @internal
123
123
  */
124
- export declare const M_PROTON_SI = 1.67262192369e-27;
124
+ export declare const M_PROTON_SI: number;
125
125
  /**
126
126
  * Avogadro constant (mol⁻¹). Exact in the 2019 SI.
127
127
  * @internal
@@ -133,16 +133,16 @@ export declare const N_A_SI = 6.02214076e+23;
133
133
  */
134
134
  export declare const FARADAY_SI: number;
135
135
  /**
136
- * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2018.
136
+ * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2022.
137
137
  *
138
138
  * @public
139
139
  */
140
- export declare const B_WIEN_SI = 0.002897771955;
140
+ export declare const B_WIEN_SI: number;
141
141
  /**
142
- * Unified atomic mass unit (kg). CODATA 2018 atomic mass constant.
142
+ * Unified atomic mass unit (kg). CODATA 2022 atomic mass constant.
143
143
  * One value for the Chandrasekhar evaluator and the symbolic constant `m_u`.
144
144
  * Kept off the package barrel: callers use `m_u` in the symbolic registry.
145
145
  * @internal
146
146
  */
147
- export declare const M_U_SI = 1.6605390666e-27;
147
+ export declare const M_U_SI: number;
148
148
  //# sourceMappingURL=constants.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAE9B,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,8HAA8H;AAC9H,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,2DAA2D;AAC3D,eAAO,MAAM,OAAO,mBAAmB,CAAC;AAExC,mFAAmF;AACnF,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,sEAAsE;AACtE,eAAO,MAAM,WAAW,iBAAiB,CAAC;AAE1C,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAWnC;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,QAA0C,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAK1E,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAmB,CAAC;AAE7C,oDAAoD;AACpD,eAAO,MAAM,aAAa,yGAAqF,CAAC;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAmB,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,WAAW,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,mBAAoB,CAAC"}
1
+ {"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAoBH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAC9B,wFAAwF;AACxF,eAAO,MAAM,QAAQ,QAAoB,CAAC;AAE1C,mEAAmE;AACnE,eAAO,MAAM,IAAI,QAAgC,CAAC;AAElD,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAAuB,CAAC;AAE5C,yHAAyH;AACzH,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,QAA0B,CAAC;AAE7C,2DAA2D;AAC3D,eAAO,MAAM,OAAO,QAA6B,CAAC;AAElD,mFAAmF;AACnF,eAAO,MAAM,MAAM,QAA8B,CAAC;AAElD,sEAAsE;AACtE,eAAO,MAAM,WAAW,QAA4B,CAAC;AAErD,6CAA6C;AAC7C,eAAO,MAAM,MAAM,QAAuB,CAAC;AAE3C,+CAA+C;AAC/C,eAAO,MAAM,MAAM,QAAyB,CAAC;AAE7C,6CAA6C;AAC7C,eAAO,MAAM,MAAM,QAAuB,CAAC;AAW3C;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,QAA0C,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,mEAAmE;AACnE,eAAO,MAAM,QAAQ,YAAW,CAAC;AAEjC,8CAA8C;AAC9C,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,QAAoB,CAAC;AAEvD,mDAAmD;AACnD,eAAO,MAAM,gBAAgB,QAA4C,CAAC;AAE1E,sGAAsG;AACtG,eAAO,MAAM,WAAW,qBAAqB,CAAC;AAE9C,+DAA+D;AAC/D,eAAO,MAAM,aAAa,QAAwC,CAAC;AAEnE,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kCAAkC;AAClC,eAAO,MAAM,wBAAwB,QAAgC,CAAC;AAEtE;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,wBAAe,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,QAAmB,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,MAAM,QAAyB,CAAC;AAE7C;;;;GAIG;AACH,eAAO,MAAM,WAAW,QAAuB,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,MAAM,iBAAgB,CAAC;AAEpC;;;GAGG;AACH,eAAO,MAAM,UAAU,QAAgB,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,SAAS,QAA6B,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,MAAM,QAAuB,CAAC"}
@@ -1,17 +1,15 @@
1
1
  /**
2
- * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
2
+ * Canonical CODATA 2022 + SI-defined physical constants for UPT.
3
3
  *
4
- * Single source of truth for fundamental physical constants used across the
5
- * numerical, dimensional, and bridge layers. Replaces the truncated local
6
- * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
7
- * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
8
- * `docs/architecture/archive/v0.5.1-audit.md`.
4
+ * The one owner of every fundamental physical constant used across the
5
+ * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`
6
+ * fails on a second copy of any of these decimals elsewhere under `src/`.
9
7
  *
10
8
  * Values use:
11
9
  * • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
12
10
  * 2019 SI redefinition fixed their values exactly.
13
11
  * • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.
14
- * • CODATA 2018 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
12
+ * • CODATA 2022 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).
15
13
  * • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.
16
14
  *
17
15
  * This file is the one owner of every value. `PhysicalConstants` in
@@ -25,40 +23,59 @@
25
23
  * @module core/constants
26
24
  * @public
27
25
  */
26
+ import * as mathtsConstants from '@danielsimonjr/mathts-functions';
28
27
  import { checkedDataFile } from './data-file.js';
28
+ /**
29
+ * A measured constant's SI value, read from MathTS (CODATA 2022). MathTS is the
30
+ * one source of measured constants; UPT keeps no copy of their decimals. A
31
+ * constant MathTS lacks is a MathTS issue, not a local value.
32
+ */
33
+ function codata(name) {
34
+ const value = mathtsConstants[name];
35
+ if (typeof value === 'number')
36
+ return value;
37
+ if (typeof value === 'object' && value !== null && typeof value.toNumeric === 'function') {
38
+ const n = value.toNumeric();
39
+ if (typeof n === 'number' && Number.isFinite(n))
40
+ return n;
41
+ }
42
+ throw new Error(`MathTS has no numeric constant ${name}`);
43
+ }
29
44
  /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
30
45
  export const C_SI = 299792458;
31
- /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
32
- export const G_SI = 6.67430e-11;
46
+ /** Rydberg constant R∞ (infinite nuclear mass), CODATA 2022 (m⁻¹), read from MathTS. */
47
+ export const R_INF_SI = codata('rydberg');
48
+ /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2022. */
49
+ export const G_SI = codata('gravitationConstant');
33
50
  /** Planck constant (J·s). Exact SI definition since 2019. */
34
51
  export const H_SI = 6.62607015e-34;
35
52
  /**
36
53
  * Reduced Planck constant h/(2π) (J·s). Exact, from the 2019 SI definition of
37
54
  * h. The CODATA display `1.054571817e-34` is that quotient truncated; it is
38
- * smaller by a relative `6.127e-10`. Planck units below stay the published
39
- * CODATA 2018 values, which were computed from the truncated display.
55
+ * smaller by a relative `6.127e-10`. The Planck units below are
56
+ * MathTS's CODATA 2022 values, not recomputed here from {@link HBAR_SI}.
40
57
  */
41
58
  export const HBAR_SI = H_SI / (2 * Math.PI);
42
- /** The CODATA 2018 display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
59
+ /** The CODATA display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */
43
60
  export const HBAR_CODATA_DISPLAY = 1.054571817e-34;
44
61
  /** Boltzmann constant (J/K). Exact SI definition since 2019. */
45
62
  export const K_B_SI = 1.380649e-23;
46
63
  /** Elementary charge (C). Exact SI definition since 2019. */
47
64
  export const E_SI = 1.602176634e-19;
48
- /** Fine-structure constant α (dimensionless). CODATA 2018. */
49
- export const ALPHA = 7.2973525693e-3;
50
- /** Vacuum permittivity ε₀ (F/m). CODATA 2018. @internal */
51
- export const EPS0_SI = 8.8541878128e-12;
65
+ /** Fine-structure constant α (dimensionless). CODATA 2022. */
66
+ export const ALPHA = codata('fineStructure');
67
+ /** Vacuum permittivity ε₀ (F/m). CODATA 2022. @internal */
68
+ export const EPS0_SI = codata('electricConstant');
52
69
  /** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */
53
70
  export const MU0_SI = 1 / (EPS0_SI * C_SI * C_SI);
54
- /** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2018. @internal */
55
- export const SIGMA_SB_SI = 5.670374419e-8;
56
- /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
57
- export const M_P_SI = 2.176434e-8;
58
- /** Planck length √(ℏG/c³) (m). CODATA 2018. */
59
- export const L_P_SI = 1.616255e-35;
60
- /** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
61
- export const T_P_SI = 5.391247e-44;
71
+ /** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2022. @internal */
72
+ export const SIGMA_SB_SI = codata('stefanBoltzmann');
73
+ /** Planck mass √(ℏc/G) (kg). CODATA 2022. */
74
+ export const M_P_SI = codata('planckMass');
75
+ /** Planck length √(ℏG/c³) (m). CODATA 2022. */
76
+ export const L_P_SI = codata('planckLength');
77
+ /** Planck time √(ℏG/c⁵) (s). CODATA 2022. */
78
+ export const T_P_SI = codata('planckTime');
62
79
  /** The `scale` of the `symbol` row in `data/units.json`, which must be a plain decimal (metres for a length). */
63
80
  function unitTableDecimal(symbol) {
64
81
  const file = checkedDataFile('units.json');
@@ -93,14 +110,14 @@ export const VON_KLITZING_SI = H_SI / (E_SI * E_SI);
93
110
  export const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;
94
111
  /** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */
95
112
  export const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;
96
- /** Euler-Mascheroni constant γ. */
97
- const EULER_GAMMA = 0.5772156649015329;
113
+ /** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */
114
+ export const EULER_GAMMA = 0.5772156649015329;
98
115
  /** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */
99
116
  export const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);
100
117
  /** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */
101
118
  export const LANE_EMDEN_OMEGA3 = 2.01824;
102
119
  /** Thomson cross section (m²). */
103
- export const THOMSON_CROSS_SECTION_SI = 6.6524587321e-29;
120
+ export const THOMSON_CROSS_SECTION_SI = codata('thomsonCrossSection');
104
121
  /**
105
122
  * Nominal solar gravitational parameter (GM)☉ (m³ s⁻²), IAU 2015 Resolution B3.
106
123
  *
@@ -119,21 +136,19 @@ export const GM_SUN_SI = 1.3271244e20;
119
136
  * @internal
120
137
  */
121
138
  export const M_SUN_IAU_SI = GM_SUN_SI / G_SI;
122
- /** Where {@link GM_SUN_SI} comes from. @internal */
123
- export const GM_SUN_SOURCE = 'IAU 2015 Resolution B3, nominal solar mass parameter (GM)☉ = 1.3271244e20 m³ s⁻²';
124
139
  /**
125
- * Electron mass (kg), CODATA 2018. Added for the v0.11 namespacing
140
+ * Electron mass (kg), CODATA 2022. Added for the v0.11 namespacing
126
141
  * gate's criterion-3 pin (λ_T of an electron at the Hawking
127
142
  * temperature — see the Adam vet A-5).
128
143
  * @public
129
144
  */
130
- export const M_E_SI = 9.1093837015e-31;
145
+ export const M_E_SI = codata('electronMass');
131
146
  /**
132
- * Proton mass (kg). CODATA 2018. Shared by the Eddington evaluator and
147
+ * Proton mass (kg). CODATA 2022. Shared by the Eddington evaluator and
133
148
  * `upt eval` (`m_p`, `m_proton`). Not the Planck mass `M_P_SI`.
134
149
  * @internal
135
150
  */
136
- export const M_PROTON_SI = 1.67262192369e-27;
151
+ export const M_PROTON_SI = codata('protonMass');
137
152
  /**
138
153
  * Avogadro constant (mol⁻¹). Exact in the 2019 SI.
139
154
  * @internal
@@ -145,16 +160,16 @@ export const N_A_SI = 6.02214076e23;
145
160
  */
146
161
  export const FARADAY_SI = N_A_SI * E_SI;
147
162
  /**
148
- * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2018.
163
+ * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2022.
149
164
  *
150
165
  * @public
151
166
  */
152
- export const B_WIEN_SI = 2.897771955e-3;
167
+ export const B_WIEN_SI = codata('wienDisplacement');
153
168
  /**
154
- * Unified atomic mass unit (kg). CODATA 2018 atomic mass constant.
169
+ * Unified atomic mass unit (kg). CODATA 2022 atomic mass constant.
155
170
  * One value for the Chandrasekhar evaluator and the symbolic constant `m_u`.
156
171
  * Kept off the package barrel: callers use `m_u` in the symbolic registry.
157
172
  * @internal
158
173
  */
159
- export const M_U_SI = 1.66053906660e-27;
174
+ export const M_U_SI = codata('atomicMass');
160
175
  //# sourceMappingURL=constants.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAE9B,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,8HAA8H;AAC9H,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAExC,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AAElD,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAG,cAAc,CAAC;AAE1C,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,iHAAiH;AACjH,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAmG,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,yCAAyC,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,mCAAmC;AACnC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAEvC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,gBAAgB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,GAAG,IAAI,CAAC;AAE7C,oDAAoD;AACpD,MAAM,CAAC,MAAM,aAAa,GAAG,kFAAkF,CAAC;AAEhH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,iBAAiB,CAAC"}
1
+ {"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,eAAe,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD;;;;GAIG;AACH,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,KAAK,GAAa,eAA2C,CAAC,IAAI,CAAC,CAAC;IAC1E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAQ,KAAiC,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACtH,MAAM,CAAC,GAAI,KAAsC,CAAC,SAAS,EAAE,CAAC;QAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAC9B,wFAAwF;AACxF,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;AAE1C,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAElD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAE5C,yHAAyH;AACzH,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;AAE7C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAElD,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AAElD,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAErD,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AAE3C,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;AAE7C,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AAE3C,iHAAiH;AACjH,SAAS,gBAAgB,CAAC,MAAc;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,CAAmG,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,yCAAyC,KAAK,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvD,mDAAmD;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAG,kBAAkB,CAAC;AAE9C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAEnE,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kCAAkC;AAClC,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;AAEtE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,GAAG,IAAI,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;AAE7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;AAEhD;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC","sourcesContent":["/**\n * Canonical CODATA 2022 + SI-defined physical constants for UPT.\n *\n * The one owner of every fundamental physical constant used across the\n * numerical, dimensional, and bridge layers; `tests/core/constants-owner.test.ts`\n * fails on a second copy of any of these decimals elsewhere under `src/`.\n *\n * Values use:\n * • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the\n * 2019 SI redefinition fixed their values exactly.\n * • `HBAR_SI` is the exact quotient `H_SI / (2π)`, not the truncated CODATA display.\n * • CODATA 2022 best estimates for measured constants (`G_SI`, `ALPHA`, Planck units).\n * • Planck 2018 best estimate for `H0_SI`, in SI through the unit table's parsec.\n *\n * This file is the one owner of every value. `PhysicalConstants` in\n * `src/core/types.ts` and the constant registry in\n * `src/dimensional/symbolic-constants.ts` are projections of it, and a test\n * refuses a CODATA literal anywhere else under `src/`. A unit is the unit\n * table's: `H0_SI` reads the parsec from `data/units.json` rather than\n * restating it, so the Hubble rate here and `67.4 km/s/Mpc` read through the\n * unit table are one number.\n *\n * @module core/constants\n * @public\n */\n\nimport * as mathtsConstants from '@danielsimonjr/mathts-functions';\nimport { checkedDataFile } from './data-file.js';\n\n/**\n * A measured constant's SI value, read from MathTS (CODATA 2022). MathTS is the\n * one source of measured constants; UPT keeps no copy of their decimals. A\n * constant MathTS lacks is a MathTS issue, not a local value.\n */\nfunction codata(name: string): number {\n const value: unknown = (mathtsConstants as Record<string, unknown>)[name];\n if (typeof value === 'number') return value;\n if (typeof value === 'object' && value !== null && typeof (value as { toNumeric?: unknown }).toNumeric === 'function') {\n const n = (value as { toNumeric: () => unknown }).toNumeric();\n if (typeof n === 'number' && Number.isFinite(n)) return n;\n }\n throw new Error(`MathTS has no numeric constant ${name}`);\n}\n\n/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */\nexport const C_SI = 299792458;\n/** Rydberg constant R∞ (infinite nuclear mass), CODATA 2022 (m⁻¹), read from MathTS. */\nexport const R_INF_SI = codata('rydberg');\n\n/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2022. */\nexport const G_SI = codata('gravitationConstant');\n\n/** Planck constant (J·s). Exact SI definition since 2019. */\nexport const H_SI = 6.62607015e-34;\n\n/**\n * Reduced Planck constant h/(2π) (J·s). Exact, from the 2019 SI definition of\n * h. The CODATA display `1.054571817e-34` is that quotient truncated; it is\n * smaller by a relative `6.127e-10`. The Planck units below are\n * MathTS's CODATA 2022 values, not recomputed here from {@link HBAR_SI}.\n */\nexport const HBAR_SI = H_SI / (2 * Math.PI);\n\n/** The CODATA display value of ħ: {@link HBAR_SI} truncated. Kept so the difference is computed, not typed. @internal */\nexport const HBAR_CODATA_DISPLAY = 1.054571817e-34;\n\n/** Boltzmann constant (J/K). Exact SI definition since 2019. */\nexport const K_B_SI = 1.380649e-23;\n\n/** Elementary charge (C). Exact SI definition since 2019. */\nexport const E_SI = 1.602176634e-19;\n\n/** Fine-structure constant α (dimensionless). CODATA 2022. */\nexport const ALPHA = codata('fineStructure');\n\n/** Vacuum permittivity ε₀ (F/m). CODATA 2022. @internal */\nexport const EPS0_SI = codata('electricConstant');\n\n/** Vacuum permeability μ₀ = 1/(ε₀ c²) (H/m), from ε₀ and the exact c. @internal */\nexport const MU0_SI = 1 / (EPS0_SI * C_SI * C_SI);\n\n/** Stefan–Boltzmann constant σ (W m⁻² K⁻⁴). CODATA 2022. @internal */\nexport const SIGMA_SB_SI = codata('stefanBoltzmann');\n\n/** Planck mass √(ℏc/G) (kg). CODATA 2022. */\nexport const M_P_SI = codata('planckMass');\n\n/** Planck length √(ℏG/c³) (m). CODATA 2022. */\nexport const L_P_SI = codata('planckLength');\n\n/** Planck time √(ℏG/c⁵) (s). CODATA 2022. */\nexport const T_P_SI = codata('planckTime');\n\n/** The `scale` of the `symbol` row in `data/units.json`, which must be a plain decimal (metres for a length). */\nfunction unitTableDecimal(symbol: string): number {\n const file = checkedDataFile('units.json') as { readonly units: readonly { readonly symbols: readonly string[]; readonly scale: string }[] };\n const scale = file.units.find((row) => row.symbols.includes(symbol))?.scale;\n const value = scale === undefined ? Number.NaN : Number(scale);\n if (!Number.isFinite(value)) throw new Error(`data/units.json: the '${symbol}' row must state a decimal scale (got ${scale ?? 'no row'})`);\n return value;\n}\n\n/**\n * Hubble parameter H₀ (s⁻¹).\n *\n * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted\n * with the parsec of the unit table (`data/units.json`, 648000/π au), so it is\n * the value `convertValue('67.4km/s/Mpc', 'Hz')` reads: one Hubble rate,\n * 2.1842852410855023e-18 s⁻¹. The unit table is the one place the parsec is\n * written; this module reads it rather than restating it.\n */\nexport const H0_SI = 67.4e3 / (1e6 * unitTableDecimal('pc'));\n\n/**\n * Solar mass (kg). IAU 2015 nominal value rounded to the\n * repo-conventional literal (used by the BE-42 docstring, the\n * bridge-gradient tests, and the v0.8.0 calibration edges).\n * @public\n */\nexport const M_SUN_SI = 1.989e30;\n\n/** Solar mass in kilograms. The same value as {@link M_SUN_SI}. */\nexport const M_SUN_KG = M_SUN_SI;\n\n/** von Klitzing constant R_K = h/e² (ohm). */\nexport const VON_KLITZING_SI = H_SI / (E_SI * E_SI);\n\n/** Josephson constant K_J = 2e/h (Hz/V). */\nexport const JOSEPHSON_CONSTANT_SI = (2 * E_SI) / H_SI;\n\n/** Lorenz number L = (π²/3) (k_B/e)² (W Ω K⁻²). */\nexport const LORENZ_NUMBER_SI = (Math.PI ** 2 / 3) * (K_B_SI / E_SI) ** 2;\n\n/** Euler–Mascheroni constant γ. The BCS gap is π k_B T_c / e^γ; the formula name is `euler_gamma`. */\nexport const EULER_GAMMA = 0.5772156649015329;\n\n/** Weak-coupling BCS gap ratio 2Δ(0)/(k_B T_c) = 2π e^{−γ}. */\nexport const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);\n\n/** Lane-Emden n=3 dimensionless radius used by the white-dwarf mass. */\nexport const LANE_EMDEN_OMEGA3 = 2.01824;\n\n/** Thomson cross section (m²). */\nexport const THOMSON_CROSS_SECTION_SI = codata('thomsonCrossSection');\n\n/**\n * Nominal solar gravitational parameter (GM)☉ (m³ s⁻²), IAU 2015 Resolution B3.\n *\n * The product GM☉ is known to about 10 significant digits, while G alone is\n * known to about 5, so a confrontation that needs GM☉ takes this value rather\n * than `G_SI × M_SUN_SI`: that product is 3.0e-4 too high, five times the VLBI\n * 1σ on the solar-limb deflection. A mass that some evaluator requires in kg\n * is `GM_SUN_SI / G_SI`, which reproduces G·M = GM☉ exactly.\n * @public\n */\nexport const GM_SUN_SI = 1.3271244e20;\n\n/**\n * The solar mass (kg) that reproduces {@link GM_SUN_SI} with {@link G_SI}:\n * the double `GM_SUN_SI / G_SI`. The unit `Msun_iau` and the registry name\n * `Msun_iau` both read this one value.\n * @internal\n */\nexport const M_SUN_IAU_SI = GM_SUN_SI / G_SI;\n\n/**\n * Electron mass (kg), CODATA 2022. Added for the v0.11 namespacing\n * gate's criterion-3 pin (λ_T of an electron at the Hawking\n * temperature — see the Adam vet A-5).\n * @public\n */\nexport const M_E_SI = codata('electronMass');\n\n/**\n * Proton mass (kg). CODATA 2022. Shared by the Eddington evaluator and\n * `upt eval` (`m_p`, `m_proton`). Not the Planck mass `M_P_SI`.\n * @internal\n */\nexport const M_PROTON_SI = codata('protonMass');\n\n/**\n * Avogadro constant (mol⁻¹). Exact in the 2019 SI.\n * @internal\n */\nexport const N_A_SI = 6.02214076e23;\n\n/**\n * Faraday constant (C·mol⁻¹), `N_A * e`.\n * @internal\n */\nexport const FARADAY_SI = N_A_SI * E_SI;\n\n/**\n * Wien displacement-law constant b = λ_max·T (m·K). CODATA 2022.\n *\n * @public\n */\nexport const B_WIEN_SI = codata('wienDisplacement');\n\n/**\n * Unified atomic mass unit (kg). CODATA 2022 atomic mass constant.\n * One value for the Chandrasekhar evaluator and the symbolic constant `m_u`.\n * Kept off the package barrel: callers use `m_u` in the symbolic registry.\n * @internal\n */\nexport const M_U_SI = codata('atomicMass');\n"]}
@@ -10,6 +10,13 @@
10
10
  * @module core/data-file
11
11
  */
12
12
  import { type JsonSchema } from './json-schema.js';
13
+ /**
14
+ * The JSON value in the file at `path`. A file that is not JSON throws a
15
+ * `SyntaxError` whose message starts with `path`, so a bad file is found by
16
+ * its name; a file that cannot be read throws the file-system error as is.
17
+ * @internal
18
+ */
19
+ export declare function readJsonFile(path: string): unknown;
13
20
  /** The schema file of `file`: `units.json` → `units.schema.json`. @internal */
14
21
  export declare function schemaFileOf(file: string): string;
15
22
  /** The text of `data/<file>`. @internal */
@@ -1 +1 @@
1
- {"version":3,"file":"data-file.d.ts","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInE,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,2CAA2C;AAC3C,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,qDAAqD;AACrD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAKrF;AAID,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGrD"}
1
+ {"version":3,"file":"data-file.d.ts","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInE;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAQlD;AAED,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,2CAA2C;AAC3C,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,qDAAqD;AACrD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAKrF;AAID,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGrD"}
@@ -14,6 +14,23 @@ import { dirname, join } from 'node:path';
14
14
  import { fileURLToPath } from 'node:url';
15
15
  import { schemaProblems } from './json-schema.js';
16
16
  const DATA_DIR = join(dirname(fileURLToPath(import.meta.url)), '../../data');
17
+ /**
18
+ * The JSON value in the file at `path`. A file that is not JSON throws a
19
+ * `SyntaxError` whose message starts with `path`, so a bad file is found by
20
+ * its name; a file that cannot be read throws the file-system error as is.
21
+ * @internal
22
+ */
23
+ export function readJsonFile(path) {
24
+ const text = readFileSync(path, 'utf8');
25
+ try {
26
+ return JSON.parse(text);
27
+ }
28
+ catch (error) {
29
+ if (error instanceof SyntaxError)
30
+ throw new SyntaxError(`${path}: ${error.message}`, { cause: error });
31
+ throw error;
32
+ }
33
+ }
17
34
  /** The schema file of `file`: `units.json` → `units.schema.json`. @internal */
18
35
  export function schemaFileOf(file) {
19
36
  return file.replace(/\.json$/, '.schema.json');
@@ -1 +1 @@
1
- {"version":3,"file":"data-file.js","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAmB,MAAM,kBAAkB,CAAC;AAEnE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;AAE7E,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AACjD,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY,EAAE,MAAkB;IAC1E,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,wBAAwB,YAAY,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;AAE3C,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC"}
1
+ {"version":3,"file":"data-file.js","sourceRoot":"","sources":["../../src/core/data-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAmB,MAAM,kBAAkB,CAAC;AAEnE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,WAAW;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACvG,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AACjD,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY,EAAE,MAAkB;IAC1E,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,wBAAwB,YAAY,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5H,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;AAE3C,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC","sourcesContent":["/**\n * The packaged data files under `data/`, read and checked against their schemas.\n *\n * Every data file the library loads has a schema beside it, named by one\n * convention (`units.json` → `units.schema.json`), and is checked against it\n * with {@link schemaProblems} when it loads, so a malformed file fails at load\n * with every problem listed instead of failing later where a field is read.\n * A file two modules read is parsed and checked once per process.\n *\n * @module core/data-file\n */\n\nimport { readFileSync } from 'node:fs';\nimport { dirname, join } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport { schemaProblems, type JsonSchema } from './json-schema.js';\n\nconst DATA_DIR = join(dirname(fileURLToPath(import.meta.url)), '../../data');\n\n/**\n * The JSON value in the file at `path`. A file that is not JSON throws a\n * `SyntaxError` whose message starts with `path`, so a bad file is found by\n * its name; a file that cannot be read throws the file-system error as is.\n * @internal\n */\nexport function readJsonFile(path: string): unknown {\n const text = readFileSync(path, 'utf8');\n try {\n return JSON.parse(text) as unknown;\n } catch (error) {\n if (error instanceof SyntaxError) throw new SyntaxError(`${path}: ${error.message}`, { cause: error });\n throw error;\n }\n}\n\n/** The schema file of `file`: `units.json` → `units.schema.json`. @internal */\nexport function schemaFileOf(file: string): string {\n return file.replace(/\\.json$/, '.schema.json');\n}\n\n/** The text of `data/<file>`. @internal */\nexport function dataText(file: string): string {\n return readFileSync(join(DATA_DIR, file), 'utf8');\n}\n\n/** The schema of `data/<file>`, parsed. @internal */\nexport function dataSchema(file: string): JsonSchema {\n return JSON.parse(dataText(schemaFileOf(file))) as JsonSchema;\n}\n\n/**\n * `text`, the contents of `data/<file>`, parsed and checked against `schema`.\n * Throws listing every problem. A test passes a broken copy.\n * @internal\n */\nexport function parseDataFile(file: string, text: string, schema: JsonSchema): unknown {\n const value: unknown = JSON.parse(text);\n const problems = schemaProblems(schema, value);\n if (problems.length > 0) throw new Error(`data/${file} does not match data/${schemaFileOf(file)}:\\n${problems.join('\\n')}`);\n return value;\n}\n\nconst checked = new Map<string, unknown>();\n\n/** `data/<file>`, parsed and checked against its schema, once per process. @internal */\nexport function checkedDataFile(file: string): unknown {\n if (!checked.has(file)) checked.set(file, parseDataFile(file, dataText(file), dataSchema(file)));\n return checked.get(file);\n}\n"]}
@@ -175,7 +175,7 @@ function checkEmergenceCoordinate(cell) {
175
175
  return { ok: true };
176
176
  }
177
177
  // ---------------------------------------------------------------------------
178
- // Rule 3 — Causality (WARNING tier in v0.7)
178
+ // Rule 3 — Causality (ERROR tier)
179
179
  // ---------------------------------------------------------------------------
180
180
  /**
181
181
  * Pure dispatcher for Rule 3 over the `Cell` discriminated union.