universal-physics-tensor 8.0.0 → 10.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 (916) hide show
  1. package/README.md +26 -21
  2. package/data/atlas/atlas.json +75 -64
  3. package/data/atlas/atlas.jsonld +1 -1
  4. package/data/atlas/diffusion.json +23 -22
  5. package/data/atlas/oscillators.json +21 -16
  6. package/data/atlas/waves.json +33 -28
  7. package/data/bridge-catalog.json +1356 -1791
  8. package/data/bridge-catalog.schema.json +789 -46
  9. package/data/quantities.json +280 -234
  10. package/data/quantities.schema.json +52 -0
  11. package/data/schemas/atlas-record.v0.json +184 -46
  12. package/data/units.json +1178 -0
  13. package/data/units.schema.json +124 -0
  14. package/dist/atlas/applicability.d.ts.map +1 -1
  15. package/dist/atlas/applicability.js +14 -3
  16. package/dist/atlas/applicability.js.map +1 -1
  17. package/dist/atlas/association.d.ts +1 -1
  18. package/dist/atlas/association.js.map +1 -1
  19. package/dist/atlas/benchmark/backend-shapes.d.ts.map +1 -1
  20. package/dist/atlas/benchmark/backend-shapes.js +5 -1
  21. package/dist/atlas/benchmark/backend-shapes.js.map +1 -1
  22. package/dist/atlas/benchmark/baselines.d.ts.map +1 -1
  23. package/dist/atlas/benchmark/baselines.js +8 -0
  24. package/dist/atlas/benchmark/baselines.js.map +1 -1
  25. package/dist/atlas/benchmark/hybrid-retrieval.d.ts +3 -2
  26. package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
  27. package/dist/atlas/benchmark/hybrid-retrieval.js +16 -12
  28. package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
  29. package/dist/atlas/benchmark/leakage.js.map +1 -1
  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 +1 -1
  35. package/dist/atlas/benchmark/stats.d.ts.map +1 -1
  36. package/dist/atlas/benchmark/stats.js +1 -1
  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.js.map +1 -1
  45. package/dist/atlas/chain-pipeline.d.ts +0 -11
  46. package/dist/atlas/chain-pipeline.d.ts.map +1 -1
  47. package/dist/atlas/chain-pipeline.js +5 -16
  48. package/dist/atlas/chain-pipeline.js.map +1 -1
  49. package/dist/atlas/composition-table.js.map +1 -1
  50. package/dist/atlas/conventions.js.map +1 -1
  51. package/dist/atlas/coverage.d.ts +2 -2
  52. package/dist/atlas/coverage.js.map +1 -1
  53. package/dist/atlas/derivation.js.map +1 -1
  54. package/dist/atlas/derive-evidence.d.ts +6 -4
  55. package/dist/atlas/derive-evidence.d.ts.map +1 -1
  56. package/dist/atlas/derive-evidence.js +7 -2
  57. package/dist/atlas/derive-evidence.js.map +1 -1
  58. package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -1
  59. package/dist/atlas/diffusion/bridges-closure.js +0 -5
  60. package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
  61. package/dist/atlas/diffusion/bridges.d.ts.map +1 -1
  62. package/dist/atlas/diffusion/bridges.js +0 -3
  63. package/dist/atlas/diffusion/bridges.js.map +1 -1
  64. package/dist/atlas/diffusion/dimensions.js.map +1 -1
  65. package/dist/atlas/diffusion/index.d.ts +1 -1
  66. package/dist/atlas/diffusion/index.d.ts.map +1 -1
  67. package/dist/atlas/diffusion/index.js.map +1 -1
  68. package/dist/atlas/diffusion/models.js.map +1 -1
  69. package/dist/atlas/diffusion/numerics.js.map +1 -1
  70. package/dist/atlas/error-algebra.d.ts +6 -0
  71. package/dist/atlas/error-algebra.d.ts.map +1 -1
  72. package/dist/atlas/error-algebra.js +26 -0
  73. package/dist/atlas/error-algebra.js.map +1 -1
  74. package/dist/atlas/export.d.ts +18 -2
  75. package/dist/atlas/export.d.ts.map +1 -1
  76. package/dist/atlas/export.js +9 -3
  77. package/dist/atlas/export.js.map +1 -1
  78. package/dist/atlas/families.d.ts +19 -2
  79. package/dist/atlas/families.d.ts.map +1 -1
  80. package/dist/atlas/families.js +26 -3
  81. package/dist/atlas/families.js.map +1 -1
  82. package/dist/atlas/family.d.ts +27 -0
  83. package/dist/atlas/family.d.ts.map +1 -0
  84. package/dist/atlas/family.js +12 -0
  85. package/dist/atlas/family.js.map +1 -0
  86. package/dist/atlas/index.d.ts +3 -2
  87. package/dist/atlas/index.d.ts.map +1 -1
  88. package/dist/atlas/index.js +2 -1
  89. package/dist/atlas/index.js.map +1 -1
  90. package/dist/atlas/link-prediction.d.ts +1 -1
  91. package/dist/atlas/link-prediction.d.ts.map +1 -1
  92. package/dist/atlas/link-prediction.js.map +1 -1
  93. package/dist/atlas/model.js.map +1 -1
  94. package/dist/atlas/oscillators/bridges-coarse.d.ts.map +1 -1
  95. package/dist/atlas/oscillators/bridges-coarse.js +0 -1
  96. package/dist/atlas/oscillators/bridges-coarse.js.map +1 -1
  97. package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
  98. package/dist/atlas/oscillators/bridges-exact.js +0 -3
  99. package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
  100. package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
  101. package/dist/atlas/oscillators/bridges-limits.js +0 -2
  102. package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
  103. package/dist/atlas/oscillators/dimensions.js.map +1 -1
  104. package/dist/atlas/oscillators/index.d.ts +1 -16
  105. package/dist/atlas/oscillators/index.d.ts.map +1 -1
  106. package/dist/atlas/oscillators/index.js.map +1 -1
  107. package/dist/atlas/oscillators/limit-witnesses.js.map +1 -1
  108. package/dist/atlas/oscillators/models.js.map +1 -1
  109. package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -1
  110. package/dist/atlas/oscillators/norm-transport.js.map +1 -1
  111. package/dist/atlas/oscillators/norms.js.map +1 -1
  112. package/dist/atlas/oscillators/pendulum-motion.js.map +1 -1
  113. package/dist/atlas/oscillators/phase-carriage.js.map +1 -1
  114. package/dist/atlas/oscillators/phase-translation.js.map +1 -1
  115. package/dist/atlas/oscillators/position-translation.js.map +1 -1
  116. package/dist/atlas/oscillators/rejections.js.map +1 -1
  117. package/dist/atlas/path-bound.js.map +1 -1
  118. package/dist/atlas/physjs-entries.generated.d.ts +1601 -220
  119. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  120. package/dist/atlas/physjs-entries.generated.js +1854 -345
  121. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  122. package/dist/atlas/physjs-ref.d.ts +151 -117
  123. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  124. package/dist/atlas/physjs-ref.js +244 -211
  125. package/dist/atlas/physjs-ref.js.map +1 -1
  126. package/dist/atlas/physjs-reviewed.d.ts +31 -0
  127. package/dist/atlas/physjs-reviewed.d.ts.map +1 -0
  128. package/dist/atlas/physjs-reviewed.js +194 -0
  129. package/dist/atlas/physjs-reviewed.js.map +1 -0
  130. package/dist/atlas/poster/associations.js.map +1 -1
  131. package/dist/atlas/poster/derivations.js.map +1 -1
  132. package/dist/atlas/poster/statements.js.map +1 -1
  133. package/dist/atlas/proof-target.d.ts +16 -8
  134. package/dist/atlas/proof-target.d.ts.map +1 -1
  135. package/dist/atlas/proof-target.js +34 -31
  136. package/dist/atlas/proof-target.js.map +1 -1
  137. package/dist/atlas/public.d.ts +2 -1
  138. package/dist/atlas/public.d.ts.map +1 -1
  139. package/dist/atlas/public.js +2 -1
  140. package/dist/atlas/public.js.map +1 -1
  141. package/dist/atlas/regime.js.map +1 -1
  142. package/dist/atlas/serialize.d.ts +18 -12
  143. package/dist/atlas/serialize.d.ts.map +1 -1
  144. package/dist/atlas/serialize.js +28 -18
  145. package/dist/atlas/serialize.js.map +1 -1
  146. package/dist/atlas/statement.js.map +1 -1
  147. package/dist/atlas/translation-registry.js.map +1 -1
  148. package/dist/atlas/translation.js.map +1 -1
  149. package/dist/atlas/types.d.ts +9 -2
  150. package/dist/atlas/types.d.ts.map +1 -1
  151. package/dist/atlas/types.js +1 -1
  152. package/dist/atlas/types.js.map +1 -1
  153. package/dist/atlas/waves/bridges-closure.d.ts.map +1 -1
  154. package/dist/atlas/waves/bridges-closure.js +0 -3
  155. package/dist/atlas/waves/bridges-closure.js.map +1 -1
  156. package/dist/atlas/waves/bridges.d.ts.map +1 -1
  157. package/dist/atlas/waves/bridges.js +0 -4
  158. package/dist/atlas/waves/bridges.js.map +1 -1
  159. package/dist/atlas/waves/index.d.ts +1 -1
  160. package/dist/atlas/waves/index.d.ts.map +1 -1
  161. package/dist/atlas/waves/index.js.map +1 -1
  162. package/dist/atlas/waves/models.js.map +1 -1
  163. package/dist/atlas/waves/numerics.js.map +1 -1
  164. package/dist/atlas/witness-artifact.js.map +1 -1
  165. package/dist/atlas/witness-dominance.d.ts +4 -3
  166. package/dist/atlas/witness-dominance.d.ts.map +1 -1
  167. package/dist/atlas/witness-dominance.js +15 -5
  168. package/dist/atlas/witness-dominance.js.map +1 -1
  169. package/dist/atlas/witness-numeric.d.ts +8 -4
  170. package/dist/atlas/witness-numeric.d.ts.map +1 -1
  171. package/dist/atlas/witness-numeric.js +27 -2
  172. package/dist/atlas/witness-numeric.js.map +1 -1
  173. package/dist/atlas/witness-result.d.ts +7 -1
  174. package/dist/atlas/witness-result.d.ts.map +1 -1
  175. package/dist/atlas/witness-result.js.map +1 -1
  176. package/dist/atlas/witness-specs.js.map +1 -1
  177. package/dist/atlas/witness-symbolic.js.map +1 -1
  178. package/dist/atlas/witnesses/quantum-support.js.map +1 -1
  179. package/dist/bridges/caller-table.d.ts +1 -1
  180. package/dist/bridges/caller-table.d.ts.map +1 -1
  181. package/dist/bridges/caller-table.js.map +1 -1
  182. package/dist/bridges/carrier-sign.d.ts.map +1 -1
  183. package/dist/bridges/carrier-sign.js +8 -3
  184. package/dist/bridges/carrier-sign.js.map +1 -1
  185. package/dist/bridges/catalog-adapter.d.ts +12 -3
  186. package/dist/bridges/catalog-adapter.d.ts.map +1 -1
  187. package/dist/bridges/catalog-adapter.js +22 -14
  188. package/dist/bridges/catalog-adapter.js.map +1 -1
  189. package/dist/bridges/catalog-load.d.ts +19 -2
  190. package/dist/bridges/catalog-load.d.ts.map +1 -1
  191. package/dist/bridges/catalog-load.js +233 -14
  192. package/dist/bridges/catalog-load.js.map +1 -1
  193. package/dist/bridges/catalog-types.d.ts +96 -27
  194. package/dist/bridges/catalog-types.d.ts.map +1 -1
  195. package/dist/bridges/catalog-types.js.map +1 -1
  196. package/dist/bridges/coefficient-statement.js +1 -5
  197. package/dist/bridges/coefficient-statement.js.map +1 -1
  198. package/dist/bridges/confrontation-coverage.js.map +1 -1
  199. package/dist/bridges/confrontations.d.ts +1 -1
  200. package/dist/bridges/confrontations.d.ts.map +1 -1
  201. package/dist/bridges/confrontations.js +1 -1
  202. package/dist/bridges/confrontations.js.map +1 -1
  203. package/dist/bridges/evaluation-errors.d.ts +89 -0
  204. package/dist/bridges/evaluation-errors.d.ts.map +1 -0
  205. package/dist/bridges/evaluation-errors.js +136 -0
  206. package/dist/bridges/evaluation-errors.js.map +1 -0
  207. package/dist/bridges/evaluator-inputs.d.ts +5 -3
  208. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  209. package/dist/bridges/evaluator-inputs.js +24 -24
  210. package/dist/bridges/evaluator-inputs.js.map +1 -1
  211. package/dist/bridges/evaluators.d.ts +48 -8
  212. package/dist/bridges/evaluators.d.ts.map +1 -1
  213. package/dist/bridges/evaluators.js +173 -38
  214. package/dist/bridges/evaluators.js.map +1 -1
  215. package/dist/bridges/expr-parse.d.ts +38 -7
  216. package/dist/bridges/expr-parse.d.ts.map +1 -1
  217. package/dist/bridges/expr-parse.js +129 -156
  218. package/dist/bridges/expr-parse.js.map +1 -1
  219. package/dist/bridges/holds.d.ts +16 -8
  220. package/dist/bridges/holds.d.ts.map +1 -1
  221. package/dist/bridges/holds.js +130 -236
  222. package/dist/bridges/holds.js.map +1 -1
  223. package/dist/bridges/index.d.ts +15 -14
  224. package/dist/bridges/index.d.ts.map +1 -1
  225. package/dist/bridges/index.js +14 -15
  226. package/dist/bridges/index.js.map +1 -1
  227. package/dist/bridges/input-contract.d.ts +65 -0
  228. package/dist/bridges/input-contract.d.ts.map +1 -0
  229. package/dist/bridges/input-contract.js +97 -0
  230. package/dist/bridges/input-contract.js.map +1 -0
  231. package/dist/bridges/membership.d.ts +5 -3
  232. package/dist/bridges/membership.d.ts.map +1 -1
  233. package/dist/bridges/membership.js +5 -6
  234. package/dist/bridges/membership.js.map +1 -1
  235. package/dist/bridges/notices.d.ts +11 -0
  236. package/dist/bridges/notices.d.ts.map +1 -0
  237. package/dist/bridges/notices.js +22 -0
  238. package/dist/bridges/notices.js.map +1 -0
  239. package/dist/bridges/observations/types.js.map +1 -1
  240. package/dist/bridges/rejected.d.ts +11 -17
  241. package/dist/bridges/rejected.d.ts.map +1 -1
  242. package/dist/bridges/rejected.js +13 -68
  243. package/dist/bridges/rejected.js.map +1 -1
  244. package/dist/bridges/relation-eval.d.ts +5 -6
  245. package/dist/bridges/relation-eval.d.ts.map +1 -1
  246. package/dist/bridges/relation-eval.js +9 -38
  247. package/dist/bridges/relation-eval.js.map +1 -1
  248. package/dist/bridges/rhs-registry.js.map +1 -1
  249. package/dist/bridges/sensitivity.d.ts +11 -3
  250. package/dist/bridges/sensitivity.d.ts.map +1 -1
  251. package/dist/bridges/sensitivity.js +24 -10
  252. package/dist/bridges/sensitivity.js.map +1 -1
  253. package/dist/bridges/tensor-index.js.map +1 -1
  254. package/dist/bridges/types.d.ts +1 -7
  255. package/dist/bridges/types.d.ts.map +1 -1
  256. package/dist/bridges/types.js +1 -4
  257. package/dist/bridges/types.js.map +1 -1
  258. package/dist/canonical/canonical-equation.d.ts +31 -0
  259. package/dist/canonical/canonical-equation.d.ts.map +1 -1
  260. package/dist/canonical/canonical-equation.js.map +1 -1
  261. package/dist/canonical/dimensional-fields.js.map +1 -1
  262. package/dist/canonical/entries/_l1-build.js.map +1 -1
  263. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  264. package/dist/canonical/entries/atomic.js +11 -1
  265. package/dist/canonical/entries/atomic.js.map +1 -1
  266. package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
  267. package/dist/canonical/entries/condensed-matter.js +7 -4
  268. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  269. package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
  270. package/dist/canonical/entries/dimensional-classics.js +50 -2
  271. package/dist/canonical/entries/dimensional-classics.js.map +1 -1
  272. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  273. package/dist/canonical/entries/electromagnetism.js +32 -2
  274. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  275. package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
  276. package/dist/canonical/entries/fluids-waves.js +34 -0
  277. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  278. package/dist/canonical/entries/mechanics.d.ts.map +1 -1
  279. package/dist/canonical/entries/mechanics.js +24 -0
  280. package/dist/canonical/entries/mechanics.js.map +1 -1
  281. package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
  282. package/dist/canonical/entries/nonmonomial.js +42 -24
  283. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  284. package/dist/canonical/entries/relativity.d.ts.map +1 -1
  285. package/dist/canonical/entries/relativity.js +6 -0
  286. package/dist/canonical/entries/relativity.js.map +1 -1
  287. package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
  288. package/dist/canonical/entries/statistical-mechanics.js +24 -5
  289. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  290. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
  291. package/dist/canonical/entries/thermo-nuclear-cosmo.js +15 -0
  292. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  293. package/dist/canonical/linkage.d.ts +29 -4
  294. package/dist/canonical/linkage.d.ts.map +1 -1
  295. package/dist/canonical/linkage.js +31 -29
  296. package/dist/canonical/linkage.js.map +1 -1
  297. package/dist/canonical/normal-form.d.ts +0 -8
  298. package/dist/canonical/normal-form.d.ts.map +1 -1
  299. package/dist/canonical/normal-form.js +17 -12
  300. package/dist/canonical/normal-form.js.map +1 -1
  301. package/dist/canonical/registry.js.map +1 -1
  302. package/dist/canonical/residual.js.map +1 -1
  303. package/dist/canonical/seed-l-layer.d.ts +7 -1
  304. package/dist/canonical/seed-l-layer.d.ts.map +1 -1
  305. package/dist/canonical/seed-l-layer.js +7 -1
  306. package/dist/canonical/seed-l-layer.js.map +1 -1
  307. package/dist/canonical/structural.d.ts +21 -0
  308. package/dist/canonical/structural.d.ts.map +1 -1
  309. package/dist/canonical/structural.js +24 -4
  310. package/dist/canonical/structural.js.map +1 -1
  311. package/dist/cases/brownian-sphere.js +4 -4
  312. package/dist/cases/brownian-sphere.js.map +1 -1
  313. package/dist/cases/damped-resonator.js +2 -2
  314. package/dist/cases/damped-resonator.js.map +1 -1
  315. package/dist/cases/index.d.ts +9 -2
  316. package/dist/cases/index.d.ts.map +1 -1
  317. package/dist/cases/index.js +26 -7
  318. package/dist/cases/index.js.map +1 -1
  319. package/dist/cases/kepler-rv.js +6 -6
  320. package/dist/cases/kepler-rv.js.map +1 -1
  321. package/dist/cases/lumped-cooling.js +1 -1
  322. package/dist/cases/lumped-cooling.js.map +1 -1
  323. package/dist/cases/quadrature.js.map +1 -1
  324. package/dist/cases/resistor-noise.js +3 -3
  325. package/dist/cases/resistor-noise.js.map +1 -1
  326. package/dist/cases/skin-depth.js.map +1 -1
  327. package/dist/cases/types.js.map +1 -1
  328. package/dist/cli/args.d.ts +7 -2
  329. package/dist/cli/args.d.ts.map +1 -1
  330. package/dist/cli/args.js +18 -2
  331. package/dist/cli/args.js.map +1 -1
  332. package/dist/cli/bindings.d.ts +13 -0
  333. package/dist/cli/bindings.d.ts.map +1 -0
  334. package/dist/cli/bindings.js +32 -0
  335. package/dist/cli/bindings.js.map +1 -0
  336. package/dist/cli/closed-form-range.js.map +1 -1
  337. package/dist/cli/command.js.map +1 -1
  338. package/dist/cli/commands/_atlas-map.d.ts +3 -3
  339. package/dist/cli/commands/_atlas-map.d.ts.map +1 -1
  340. package/dist/cli/commands/_atlas-map.js +43 -18
  341. package/dist/cli/commands/_atlas-map.js.map +1 -1
  342. package/dist/cli/commands/_atlas-route.js.map +1 -1
  343. package/dist/cli/commands/_discovery-opts.d.ts +2 -1
  344. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  345. package/dist/cli/commands/_discovery-opts.js +48 -18
  346. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  347. package/dist/cli/commands/atlas.d.ts.map +1 -1
  348. package/dist/cli/commands/atlas.js +7 -12
  349. package/dist/cli/commands/atlas.js.map +1 -1
  350. package/dist/cli/commands/audit.d.ts.map +1 -1
  351. package/dist/cli/commands/audit.js +13 -21
  352. package/dist/cli/commands/audit.js.map +1 -1
  353. package/dist/cli/commands/axes.js.map +1 -1
  354. package/dist/cli/commands/candidates.d.ts.map +1 -1
  355. package/dist/cli/commands/candidates.js +16 -8
  356. package/dist/cli/commands/candidates.js.map +1 -1
  357. package/dist/cli/commands/canonical.js.map +1 -1
  358. package/dist/cli/commands/chain.js +1 -1
  359. package/dist/cli/commands/chain.js.map +1 -1
  360. package/dist/cli/commands/confront.d.ts.map +1 -1
  361. package/dist/cli/commands/confront.js +22 -14
  362. package/dist/cli/commands/confront.js.map +1 -1
  363. package/dist/cli/commands/connectors.d.ts.map +1 -1
  364. package/dist/cli/commands/connectors.js +8 -9
  365. package/dist/cli/commands/connectors.js.map +1 -1
  366. package/dist/cli/commands/coverage.js.map +1 -1
  367. package/dist/cli/commands/derive.d.ts.map +1 -1
  368. package/dist/cli/commands/derive.js +50 -26
  369. package/dist/cli/commands/derive.js.map +1 -1
  370. package/dist/cli/commands/discover.d.ts.map +1 -1
  371. package/dist/cli/commands/discover.js +18 -13
  372. package/dist/cli/commands/discover.js.map +1 -1
  373. package/dist/cli/commands/eval.d.ts.map +1 -1
  374. package/dist/cli/commands/eval.js +29 -26
  375. package/dist/cli/commands/eval.js.map +1 -1
  376. package/dist/cli/commands/evaluate.d.ts +1 -35
  377. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  378. package/dist/cli/commands/evaluate.js +99 -208
  379. package/dist/cli/commands/evaluate.js.map +1 -1
  380. package/dist/cli/commands/explain.d.ts.map +1 -1
  381. package/dist/cli/commands/explain.js +57 -45
  382. package/dist/cli/commands/explain.js.map +1 -1
  383. package/dist/cli/commands/frontier.js.map +1 -1
  384. package/dist/cli/commands/ground.d.ts.map +1 -1
  385. package/dist/cli/commands/ground.js +41 -11
  386. package/dist/cli/commands/ground.js.map +1 -1
  387. package/dist/cli/commands/index.js.map +1 -1
  388. package/dist/cli/commands/map.d.ts.map +1 -1
  389. package/dist/cli/commands/map.js +84 -92
  390. package/dist/cli/commands/map.js.map +1 -1
  391. package/dist/cli/commands/metric.d.ts.map +1 -1
  392. package/dist/cli/commands/metric.js +53 -15
  393. package/dist/cli/commands/metric.js.map +1 -1
  394. package/dist/cli/commands/path.js +4 -4
  395. package/dist/cli/commands/path.js.map +1 -1
  396. package/dist/cli/commands/predict.js.map +1 -1
  397. package/dist/cli/commands/priority.js.map +1 -1
  398. package/dist/cli/commands/probe.d.ts.map +1 -1
  399. package/dist/cli/commands/probe.js +50 -26
  400. package/dist/cli/commands/probe.js.map +1 -1
  401. package/dist/cli/commands/recover.js +1 -1
  402. package/dist/cli/commands/recover.js.map +1 -1
  403. package/dist/cli/commands/regime.d.ts +5 -4
  404. package/dist/cli/commands/regime.d.ts.map +1 -1
  405. package/dist/cli/commands/regime.js +25 -27
  406. package/dist/cli/commands/regime.js.map +1 -1
  407. package/dist/cli/commands/retrieve.d.ts.map +1 -1
  408. package/dist/cli/commands/retrieve.js +22 -14
  409. package/dist/cli/commands/retrieve.js.map +1 -1
  410. package/dist/cli/commands/search.d.ts.map +1 -1
  411. package/dist/cli/commands/search.js +8 -4
  412. package/dist/cli/commands/search.js.map +1 -1
  413. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  414. package/dist/cli/commands/symbolic.js +14 -7
  415. package/dist/cli/commands/symbolic.js.map +1 -1
  416. package/dist/cli/commands/testplan.js +4 -4
  417. package/dist/cli/commands/testplan.js.map +1 -1
  418. package/dist/cli/conventions.d.ts +6 -7
  419. package/dist/cli/conventions.d.ts.map +1 -1
  420. package/dist/cli/conventions.js +19 -28
  421. package/dist/cli/conventions.js.map +1 -1
  422. package/dist/cli/determination.js.map +1 -1
  423. package/dist/cli/errors.js.map +1 -1
  424. package/dist/cli/euler-guard.d.ts +13 -2
  425. package/dist/cli/euler-guard.d.ts.map +1 -1
  426. package/dist/cli/euler-guard.js +17 -3
  427. package/dist/cli/euler-guard.js.map +1 -1
  428. package/dist/cli/eval-numbers.d.ts +4 -9
  429. package/dist/cli/eval-numbers.d.ts.map +1 -1
  430. package/dist/cli/eval-numbers.js +11 -41
  431. package/dist/cli/eval-numbers.js.map +1 -1
  432. package/dist/cli/expr-print.d.ts +29 -2
  433. package/dist/cli/expr-print.d.ts.map +1 -1
  434. package/dist/cli/expr-print.js +46 -2
  435. package/dist/cli/expr-print.js.map +1 -1
  436. package/dist/cli/flag-help.js.map +1 -1
  437. package/dist/cli/graphs.js.map +1 -1
  438. package/dist/cli/library-defaults.d.ts +19 -0
  439. package/dist/cli/library-defaults.d.ts.map +1 -0
  440. package/dist/cli/library-defaults.js +22 -0
  441. package/dist/cli/library-defaults.js.map +1 -0
  442. package/dist/cli/main.js +7 -3
  443. package/dist/cli/main.js.map +1 -1
  444. package/dist/cli/map-evidence.js.map +1 -1
  445. package/dist/cli/output.d.ts +3 -6
  446. package/dist/cli/output.d.ts.map +1 -1
  447. package/dist/cli/output.js.map +1 -1
  448. package/dist/cli/published-url.d.ts +2 -0
  449. package/dist/cli/published-url.d.ts.map +1 -1
  450. package/dist/cli/published-url.js +5 -0
  451. package/dist/cli/published-url.js.map +1 -1
  452. package/dist/cli/record-reach.d.ts +6 -0
  453. package/dist/cli/record-reach.d.ts.map +1 -1
  454. package/dist/cli/record-reach.js +16 -10
  455. package/dist/cli/record-reach.js.map +1 -1
  456. package/dist/cli/record-tables.d.ts +2 -1
  457. package/dist/cli/record-tables.d.ts.map +1 -1
  458. package/dist/cli/record-tables.js +8 -3
  459. package/dist/cli/record-tables.js.map +1 -1
  460. package/dist/cli/record.d.ts.map +1 -1
  461. package/dist/cli/record.js +31 -12
  462. package/dist/cli/record.js.map +1 -1
  463. package/dist/cli/search-index.d.ts +5 -0
  464. package/dist/cli/search-index.d.ts.map +1 -1
  465. package/dist/cli/search-index.js +12 -1
  466. package/dist/cli/search-index.js.map +1 -1
  467. package/dist/cli/statuses.js.map +1 -1
  468. package/dist/cli/top-level-help.js.map +1 -1
  469. package/dist/cli/version.js.map +1 -1
  470. package/dist/cli-api.d.ts +57 -18
  471. package/dist/cli-api.d.ts.map +1 -1
  472. package/dist/cli-api.js +49 -21
  473. package/dist/cli-api.js.map +1 -1
  474. package/dist/composition/adjudication.d.ts +8 -30
  475. package/dist/composition/adjudication.d.ts.map +1 -1
  476. package/dist/composition/adjudication.js +15 -67
  477. package/dist/composition/adjudication.js.map +1 -1
  478. package/dist/composition/aliases.d.ts +1 -1
  479. package/dist/composition/aliases.d.ts.map +1 -1
  480. package/dist/composition/aliases.js +10 -20
  481. package/dist/composition/aliases.js.map +1 -1
  482. package/dist/composition/audit-coverage.d.ts +2 -0
  483. package/dist/composition/audit-coverage.d.ts.map +1 -1
  484. package/dist/composition/audit-coverage.js.map +1 -1
  485. package/dist/composition/axes.d.ts +12 -0
  486. package/dist/composition/axes.d.ts.map +1 -1
  487. package/dist/composition/axes.js +18 -6
  488. package/dist/composition/axes.js.map +1 -1
  489. package/dist/composition/axis-audit.js.map +1 -1
  490. package/dist/composition/bridge-analysis.d.ts +0 -14
  491. package/dist/composition/bridge-analysis.d.ts.map +1 -1
  492. package/dist/composition/bridge-analysis.js +66 -57
  493. package/dist/composition/bridge-analysis.js.map +1 -1
  494. package/dist/composition/bridge-prediction.d.ts +5 -1
  495. package/dist/composition/bridge-prediction.d.ts.map +1 -1
  496. package/dist/composition/bridge-prediction.js +12 -16
  497. package/dist/composition/bridge-prediction.js.map +1 -1
  498. package/dist/composition/buckingham-filter.js.map +1 -1
  499. package/dist/composition/canonical-compare.d.ts.map +1 -1
  500. package/dist/composition/canonical-compare.js +12 -2
  501. package/dist/composition/canonical-compare.js.map +1 -1
  502. package/dist/composition/canonical-graph.d.ts +15 -18
  503. package/dist/composition/canonical-graph.d.ts.map +1 -1
  504. package/dist/composition/canonical-graph.js +59 -85
  505. package/dist/composition/canonical-graph.js.map +1 -1
  506. package/dist/composition/canonical-json.js.map +1 -1
  507. package/dist/composition/canonical-prefactors.d.ts +10 -29
  508. package/dist/composition/canonical-prefactors.d.ts.map +1 -1
  509. package/dist/composition/canonical-prefactors.js +15 -202
  510. package/dist/composition/canonical-prefactors.js.map +1 -1
  511. package/dist/composition/catalog-graph.d.ts.map +1 -1
  512. package/dist/composition/catalog-graph.js +6 -20
  513. package/dist/composition/catalog-graph.js.map +1 -1
  514. package/dist/composition/chain-candidate.d.ts +2 -0
  515. package/dist/composition/chain-candidate.d.ts.map +1 -1
  516. package/dist/composition/chain-candidate.js +2 -0
  517. package/dist/composition/chain-candidate.js.map +1 -1
  518. package/dist/composition/chain-match.js.map +1 -1
  519. package/dist/composition/chain-regime.js.map +1 -1
  520. package/dist/composition/chain-result.js.map +1 -1
  521. package/dist/composition/compose-surface.js.map +1 -1
  522. package/dist/composition/compose-symbolic.js.map +1 -1
  523. package/dist/composition/compose.d.ts.map +1 -1
  524. package/dist/composition/compose.js +154 -36
  525. package/dist/composition/compose.js.map +1 -1
  526. package/dist/composition/composition-recovery.js.map +1 -1
  527. package/dist/composition/consequence.d.ts.map +1 -1
  528. package/dist/composition/consequence.js +15 -6
  529. package/dist/composition/consequence.js.map +1 -1
  530. package/dist/composition/consistency.js.map +1 -1
  531. package/dist/composition/descriptor.d.ts +1 -1
  532. package/dist/composition/descriptor.d.ts.map +1 -1
  533. package/dist/composition/descriptor.js.map +1 -1
  534. package/dist/composition/dimension-adjacency.js.map +1 -1
  535. package/dist/composition/discovery.d.ts +67 -7
  536. package/dist/composition/discovery.d.ts.map +1 -1
  537. package/dist/composition/discovery.js +83 -23
  538. package/dist/composition/discovery.js.map +1 -1
  539. package/dist/composition/edge.d.ts +19 -22
  540. package/dist/composition/edge.d.ts.map +1 -1
  541. package/dist/composition/edge.js +25 -28
  542. package/dist/composition/edge.js.map +1 -1
  543. package/dist/composition/enumerate.d.ts +2 -2
  544. package/dist/composition/enumerate.d.ts.map +1 -1
  545. package/dist/composition/enumerate.js.map +1 -1
  546. package/dist/composition/evaluate-relation.d.ts +29 -5
  547. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  548. package/dist/composition/evaluate-relation.js +100 -72
  549. package/dist/composition/evaluate-relation.js.map +1 -1
  550. package/dist/composition/explain.d.ts +14 -4
  551. package/dist/composition/explain.d.ts.map +1 -1
  552. package/dist/composition/explain.js +53 -19
  553. package/dist/composition/explain.js.map +1 -1
  554. package/dist/composition/expr-eval.d.ts.map +1 -1
  555. package/dist/composition/expr-eval.js +2 -1
  556. package/dist/composition/expr-eval.js.map +1 -1
  557. package/dist/composition/expr-simplify.d.ts.map +1 -1
  558. package/dist/composition/expr-simplify.js +9 -39
  559. package/dist/composition/expr-simplify.js.map +1 -1
  560. package/dist/composition/expr-subst.js.map +1 -1
  561. package/dist/composition/formula-shape.d.ts +9 -0
  562. package/dist/composition/formula-shape.d.ts.map +1 -1
  563. package/dist/composition/formula-shape.js +54 -0
  564. package/dist/composition/formula-shape.js.map +1 -1
  565. package/dist/composition/frontier-account.d.ts +3 -2
  566. package/dist/composition/frontier-account.d.ts.map +1 -1
  567. package/dist/composition/frontier-account.js +7 -3
  568. package/dist/composition/frontier-account.js.map +1 -1
  569. package/dist/composition/graph-viz-svg.js.map +1 -1
  570. package/dist/composition/graph-viz.js.map +1 -1
  571. package/dist/composition/grounding.js.map +1 -1
  572. package/dist/composition/identifiability.js.map +1 -1
  573. package/dist/composition/index.d.ts +9 -5
  574. package/dist/composition/index.d.ts.map +1 -1
  575. package/dist/composition/index.js +7 -4
  576. package/dist/composition/index.js.map +1 -1
  577. package/dist/composition/mathts-quiet.d.ts +28 -0
  578. package/dist/composition/mathts-quiet.d.ts.map +1 -0
  579. package/dist/composition/mathts-quiet.js +56 -0
  580. package/dist/composition/mathts-quiet.js.map +1 -0
  581. package/dist/composition/mathts-scalar-symbols.d.ts.map +1 -1
  582. package/dist/composition/mathts-scalar-symbols.js +18 -34
  583. package/dist/composition/mathts-scalar-symbols.js.map +1 -1
  584. package/dist/composition/not-composable-seeds.d.ts +3 -1
  585. package/dist/composition/not-composable-seeds.d.ts.map +1 -1
  586. package/dist/composition/not-composable-seeds.js +2 -0
  587. package/dist/composition/not-composable-seeds.js.map +1 -1
  588. package/dist/composition/probe/backend-protocol.js.map +1 -1
  589. package/dist/composition/probe/candidate-store.js.map +1 -1
  590. package/dist/composition/probe/corpus.js.map +1 -1
  591. package/dist/composition/probe/dataset.js.map +1 -1
  592. package/dist/composition/probe/experiment-design.js.map +1 -1
  593. package/dist/composition/probe/expression-gaps.js.map +1 -1
  594. package/dist/composition/probe/falsify.d.ts +14 -3
  595. package/dist/composition/probe/falsify.d.ts.map +1 -1
  596. package/dist/composition/probe/falsify.js +14 -27
  597. package/dist/composition/probe/falsify.js.map +1 -1
  598. package/dist/composition/probe/fingerprint.js.map +1 -1
  599. package/dist/composition/probe/fit.d.ts +1 -1
  600. package/dist/composition/probe/fit.d.ts.map +1 -1
  601. package/dist/composition/probe/fit.js +2 -1
  602. package/dist/composition/probe/fit.js.map +1 -1
  603. package/dist/composition/probe/frontier.js.map +1 -1
  604. package/dist/composition/probe/generator.js.map +1 -1
  605. package/dist/composition/probe/index.d.ts +4 -2
  606. package/dist/composition/probe/index.d.ts.map +1 -1
  607. package/dist/composition/probe/index.js +4 -2
  608. package/dist/composition/probe/index.js.map +1 -1
  609. package/dist/composition/probe/limits.js.map +1 -1
  610. package/dist/composition/probe/metadata.js.map +1 -1
  611. package/dist/composition/probe/pipeline.d.ts +5 -0
  612. package/dist/composition/probe/pipeline.d.ts.map +1 -1
  613. package/dist/composition/probe/pipeline.js +13 -6
  614. package/dist/composition/probe/pipeline.js.map +1 -1
  615. package/dist/composition/probe/problem.d.ts +8 -0
  616. package/dist/composition/probe/problem.d.ts.map +1 -1
  617. package/dist/composition/probe/problem.js +78 -12
  618. package/dist/composition/probe/problem.js.map +1 -1
  619. package/dist/composition/probe/report.js.map +1 -1
  620. package/dist/composition/probe/residual.js.map +1 -1
  621. package/dist/composition/probe/run-manifest.js +2 -2
  622. package/dist/composition/probe/run-manifest.js.map +1 -1
  623. package/dist/composition/probe/scoring.d.ts +2 -1
  624. package/dist/composition/probe/scoring.d.ts.map +1 -1
  625. package/dist/composition/probe/scoring.js +21 -7
  626. package/dist/composition/probe/scoring.js.map +1 -1
  627. package/dist/composition/probe/search-budget.js.map +1 -1
  628. package/dist/composition/probe/serialize.js.map +1 -1
  629. package/dist/composition/probe/structure.js.map +1 -1
  630. package/dist/composition/probe/study.d.ts +4 -3
  631. package/dist/composition/probe/study.d.ts.map +1 -1
  632. package/dist/composition/probe/study.js +5 -3
  633. package/dist/composition/probe/study.js.map +1 -1
  634. package/dist/composition/probe/types.d.ts +3 -1
  635. package/dist/composition/probe/types.d.ts.map +1 -1
  636. package/dist/composition/probe/types.js +2 -0
  637. package/dist/composition/probe/types.js.map +1 -1
  638. package/dist/composition/proposed-bridges.d.ts +11 -4
  639. package/dist/composition/proposed-bridges.d.ts.map +1 -1
  640. package/dist/composition/proposed-bridges.js +14 -6
  641. package/dist/composition/proposed-bridges.js.map +1 -1
  642. package/dist/composition/quantities.d.ts +0 -4
  643. package/dist/composition/quantities.d.ts.map +1 -1
  644. package/dist/composition/quantities.js +5 -5
  645. package/dist/composition/quantities.js.map +1 -1
  646. package/dist/composition/quantity.d.ts +18 -2
  647. package/dist/composition/quantity.d.ts.map +1 -1
  648. package/dist/composition/quantity.js +35 -6
  649. package/dist/composition/quantity.js.map +1 -1
  650. package/dist/composition/representative-values.js.map +1 -1
  651. package/dist/composition/retrodiction.d.ts +18 -0
  652. package/dist/composition/retrodiction.d.ts.map +1 -1
  653. package/dist/composition/retrodiction.js +37 -7
  654. package/dist/composition/retrodiction.js.map +1 -1
  655. package/dist/composition/uncertainty.js.map +1 -1
  656. package/dist/composition/user-equation.d.ts +11 -7
  657. package/dist/composition/user-equation.d.ts.map +1 -1
  658. package/dist/composition/user-equation.js +24 -26
  659. package/dist/composition/user-equation.js.map +1 -1
  660. package/dist/core/axes-registry.d.ts +8 -5
  661. package/dist/core/axes-registry.d.ts.map +1 -1
  662. package/dist/core/axes-registry.js.map +1 -1
  663. package/dist/core/cell.js.map +1 -1
  664. package/dist/core/constants.d.ts +35 -12
  665. package/dist/core/constants.d.ts.map +1 -1
  666. package/dist/core/constants.js +46 -15
  667. package/dist/core/constants.js.map +1 -1
  668. package/dist/core/data-file.d.ts +27 -0
  669. package/dist/core/data-file.d.ts.map +1 -0
  670. package/dist/core/data-file.js +48 -0
  671. package/dist/core/data-file.js.map +1 -0
  672. package/dist/core/flux-rules.js +1 -1
  673. package/dist/core/flux-rules.js.map +1 -1
  674. package/dist/core/json-schema.d.ts +27 -0
  675. package/dist/core/json-schema.d.ts.map +1 -0
  676. package/dist/core/json-schema.js +177 -0
  677. package/dist/core/json-schema.js.map +1 -0
  678. package/dist/core/labeled-tensor.d.ts +6 -1
  679. package/dist/core/labeled-tensor.d.ts.map +1 -1
  680. package/dist/core/labeled-tensor.js +18 -8
  681. package/dist/core/labeled-tensor.js.map +1 -1
  682. package/dist/core/regime-registry.d.ts +6 -2
  683. package/dist/core/regime-registry.d.ts.map +1 -1
  684. package/dist/core/regime-registry.js.map +1 -1
  685. package/dist/core/regime-rule-install.js.map +1 -1
  686. package/dist/core/regimes-builtins.js.map +1 -1
  687. package/dist/core/tensor.d.ts +7 -4
  688. package/dist/core/tensor.d.ts.map +1 -1
  689. package/dist/core/tensor.js +40 -8
  690. package/dist/core/tensor.js.map +1 -1
  691. package/dist/core/types.d.ts +3 -2
  692. package/dist/core/types.d.ts.map +1 -1
  693. package/dist/core/types.js +16 -14
  694. package/dist/core/types.js.map +1 -1
  695. package/dist/core/universal-index.js.map +1 -1
  696. package/dist/diff/bridge-ast-gradient.d.ts +4 -5
  697. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  698. package/dist/diff/bridge-ast-gradient.js +16 -23
  699. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  700. package/dist/diff/bridge-gradient.d.ts +24 -80
  701. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  702. package/dist/diff/bridge-gradient.js +21 -98
  703. package/dist/diff/bridge-gradient.js.map +1 -1
  704. package/dist/diff/bridge-specs.d.ts +18 -6
  705. package/dist/diff/bridge-specs.d.ts.map +1 -1
  706. package/dist/diff/bridge-specs.js +17 -5
  707. package/dist/diff/bridge-specs.js.map +1 -1
  708. package/dist/dimensional/algebra.js.map +1 -1
  709. package/dist/dimensional/ast-builders.d.ts +5 -4
  710. package/dist/dimensional/ast-builders.d.ts.map +1 -1
  711. package/dist/dimensional/ast-builders.js +6 -5
  712. package/dist/dimensional/ast-builders.js.map +1 -1
  713. package/dist/dimensional/ast-types.js.map +1 -1
  714. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  715. package/dist/dimensional/bridge-check.js +3 -5
  716. package/dist/dimensional/bridge-check.js.map +1 -1
  717. package/dist/dimensional/buckingham.js.map +1 -1
  718. package/dist/dimensional/connection-validators.d.ts +2 -1
  719. package/dist/dimensional/connection-validators.d.ts.map +1 -1
  720. package/dist/dimensional/connection-validators.js.map +1 -1
  721. package/dist/dimensional/connection.js.map +1 -1
  722. package/dist/dimensional/constant-rows.d.ts +54 -0
  723. package/dist/dimensional/constant-rows.d.ts.map +1 -0
  724. package/dist/dimensional/constant-rows.js +115 -0
  725. package/dist/dimensional/constant-rows.js.map +1 -0
  726. package/dist/dimensional/constants.d.ts +7 -17
  727. package/dist/dimensional/constants.d.ts.map +1 -1
  728. package/dist/dimensional/constants.js +12 -21
  729. package/dist/dimensional/constants.js.map +1 -1
  730. package/dist/dimensional/curvature-composite.js.map +1 -1
  731. package/dist/dimensional/curvature-invariants.js.map +1 -1
  732. package/dist/dimensional/curvature.js.map +1 -1
  733. package/dist/dimensional/dimension-inference.js.map +1 -1
  734. package/dist/dimensional/dimension-spec.d.ts +21 -6
  735. package/dist/dimensional/dimension-spec.d.ts.map +1 -1
  736. package/dist/dimensional/dimension-spec.js +150 -160
  737. package/dist/dimensional/dimension-spec.js.map +1 -1
  738. package/dist/dimensional/einstein-equation.js.map +1 -1
  739. package/dist/dimensional/errors.d.ts +3 -1
  740. package/dist/dimensional/errors.d.ts.map +1 -1
  741. package/dist/dimensional/errors.js +2 -2
  742. package/dist/dimensional/errors.js.map +1 -1
  743. package/dist/dimensional/exact-scale.d.ts +79 -0
  744. package/dist/dimensional/exact-scale.d.ts.map +1 -0
  745. package/dist/dimensional/exact-scale.js +222 -0
  746. package/dist/dimensional/exact-scale.js.map +1 -0
  747. package/dist/dimensional/field-equation-helpers.js.map +1 -1
  748. package/dist/dimensional/formula-names.d.ts +13 -12
  749. package/dist/dimensional/formula-names.d.ts.map +1 -1
  750. package/dist/dimensional/formula-names.js +28 -51
  751. package/dist/dimensional/formula-names.js.map +1 -1
  752. package/dist/dimensional/fresh-label.js.map +1 -1
  753. package/dist/dimensional/friedmann-equation.d.ts +3 -3
  754. package/dist/dimensional/friedmann-equation.js +3 -3
  755. package/dist/dimensional/friedmann-equation.js.map +1 -1
  756. package/dist/dimensional/gauge-field.d.ts +2 -3
  757. package/dist/dimensional/gauge-field.d.ts.map +1 -1
  758. package/dist/dimensional/gauge-field.js +0 -1
  759. package/dist/dimensional/gauge-field.js.map +1 -1
  760. package/dist/dimensional/hyphen-names.d.ts.map +1 -1
  761. package/dist/dimensional/hyphen-names.js +8 -0
  762. package/dist/dimensional/hyphen-names.js.map +1 -1
  763. package/dist/dimensional/killing-validators.js.map +1 -1
  764. package/dist/dimensional/klein-gordon-equation.js.map +1 -1
  765. package/dist/dimensional/metric-validators.d.ts +2 -1
  766. package/dist/dimensional/metric-validators.d.ts.map +1 -1
  767. package/dist/dimensional/metric-validators.js.map +1 -1
  768. package/dist/dimensional/metric.js.map +1 -1
  769. package/dist/dimensional/natural-units.js.map +1 -1
  770. package/dist/dimensional/quantity-registry.d.ts +23 -1
  771. package/dist/dimensional/quantity-registry.d.ts.map +1 -1
  772. package/dist/dimensional/quantity-registry.js +55 -18
  773. package/dist/dimensional/quantity-registry.js.map +1 -1
  774. package/dist/dimensional/rg-flow.js.map +1 -1
  775. package/dist/dimensional/stress-energy-validators.js.map +1 -1
  776. package/dist/dimensional/symbolic-constants.d.ts +63 -19
  777. package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
  778. package/dist/dimensional/symbolic-constants.js +114 -92
  779. package/dist/dimensional/symbolic-constants.js.map +1 -1
  780. package/dist/dimensional/tensor-trace.js.map +1 -1
  781. package/dist/dimensional/tensor.js.map +1 -1
  782. package/dist/dimensional/types.js.map +1 -1
  783. package/dist/dimensional/unit-convention.d.ts +0 -2
  784. package/dist/dimensional/unit-convention.d.ts.map +1 -1
  785. package/dist/dimensional/unit-convention.js +2 -2
  786. package/dist/dimensional/unit-convention.js.map +1 -1
  787. package/dist/dimensional/unit-data.d.ts +70 -0
  788. package/dist/dimensional/unit-data.d.ts.map +1 -0
  789. package/dist/dimensional/unit-data.js +139 -0
  790. package/dist/dimensional/unit-data.js.map +1 -0
  791. package/dist/dimensional/units.d.ts +87 -24
  792. package/dist/dimensional/units.d.ts.map +1 -1
  793. package/dist/dimensional/units.js +290 -295
  794. package/dist/dimensional/units.js.map +1 -1
  795. package/dist/dimensional/validator-registry.js.map +1 -1
  796. package/dist/dimensional/validator.d.ts +0 -16
  797. package/dist/dimensional/validator.d.ts.map +1 -1
  798. package/dist/dimensional/validator.js +65 -29
  799. package/dist/dimensional/validator.js.map +1 -1
  800. package/dist/dimensional/weyl-validators.js.map +1 -1
  801. package/dist/index.d.ts +65 -18
  802. package/dist/index.d.ts.map +1 -1
  803. package/dist/index.js +19 -24
  804. package/dist/index.js.map +1 -1
  805. package/dist/numerical/bianchi-residual.js.map +1 -1
  806. package/dist/numerical/binding-value.d.ts +32 -7
  807. package/dist/numerical/binding-value.d.ts.map +1 -1
  808. package/dist/numerical/binding-value.js +218 -209
  809. package/dist/numerical/binding-value.js.map +1 -1
  810. package/dist/numerical/christoffel-flat.js.map +1 -1
  811. package/dist/numerical/connection-lowering-helpers.js.map +1 -1
  812. package/dist/numerical/covariant-eikonal.d.ts.map +1 -1
  813. package/dist/numerical/covariant-eikonal.js +2 -2
  814. package/dist/numerical/covariant-eikonal.js.map +1 -1
  815. package/dist/numerical/curvature-lowering-helpers.d.ts +20 -0
  816. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  817. package/dist/numerical/curvature-lowering-helpers.js +6 -3
  818. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  819. package/dist/numerical/derivative-lowering.js.map +1 -1
  820. package/dist/numerical/einstein-equation.js.map +1 -1
  821. package/dist/numerical/engine-registry.js.map +1 -1
  822. package/dist/numerical/errors.d.ts +7 -3
  823. package/dist/numerical/errors.d.ts.map +1 -1
  824. package/dist/numerical/errors.js +5 -5
  825. package/dist/numerical/errors.js.map +1 -1
  826. package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
  827. package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
  828. package/dist/numerical/evaluator-uncertainty.js +134 -0
  829. package/dist/numerical/evaluator-uncertainty.js.map +1 -0
  830. package/dist/numerical/formula-contract.d.ts +67 -7
  831. package/dist/numerical/formula-contract.d.ts.map +1 -1
  832. package/dist/numerical/formula-contract.js +68 -42
  833. package/dist/numerical/formula-contract.js.map +1 -1
  834. package/dist/numerical/formula-dimension.d.ts +17 -7
  835. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  836. package/dist/numerical/formula-dimension.js +120 -44
  837. package/dist/numerical/formula-dimension.js.map +1 -1
  838. package/dist/numerical/formula-mathts.d.ts.map +1 -1
  839. package/dist/numerical/formula-mathts.js +10 -3
  840. package/dist/numerical/formula-mathts.js.map +1 -1
  841. package/dist/numerical/formula-registry.d.ts +13 -3
  842. package/dist/numerical/formula-registry.d.ts.map +1 -1
  843. package/dist/numerical/formula-registry.js +7 -2
  844. package/dist/numerical/formula-registry.js.map +1 -1
  845. package/dist/numerical/geodesic-integrator.js.map +1 -1
  846. package/dist/numerical/geometrized.js.map +1 -1
  847. package/dist/numerical/gl4-integrator.d.ts +28 -27
  848. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  849. package/dist/numerical/gl4-integrator.js +44 -45
  850. package/dist/numerical/gl4-integrator.js.map +1 -1
  851. package/dist/numerical/grid-field.js.map +1 -1
  852. package/dist/numerical/index.js.map +1 -1
  853. package/dist/numerical/input-validation.d.ts +3 -6
  854. package/dist/numerical/input-validation.d.ts.map +1 -1
  855. package/dist/numerical/input-validation.js +4 -8
  856. package/dist/numerical/input-validation.js.map +1 -1
  857. package/dist/numerical/killing.d.ts +8 -5
  858. package/dist/numerical/killing.d.ts.map +1 -1
  859. package/dist/numerical/killing.js.map +1 -1
  860. package/dist/numerical/klein-gordon.js.map +1 -1
  861. package/dist/numerical/kretschmann.js.map +1 -1
  862. package/dist/numerical/lowering-utils.js.map +1 -1
  863. package/dist/numerical/lowering.d.ts.map +1 -1
  864. package/dist/numerical/lowering.js +7 -17
  865. package/dist/numerical/lowering.js.map +1 -1
  866. package/dist/numerical/mathts-engine.d.ts.map +1 -1
  867. package/dist/numerical/mathts-engine.js +11 -6
  868. package/dist/numerical/mathts-engine.js.map +1 -1
  869. package/dist/numerical/metric-inverse.js.map +1 -1
  870. package/dist/numerical/null-ic.js.map +1 -1
  871. package/dist/numerical/null-ray-integrator.js +4 -4
  872. package/dist/numerical/null-ray-integrator.js.map +1 -1
  873. package/dist/numerical/painleve-gullstrand-metric.js.map +1 -1
  874. package/dist/numerical/pderiv.d.ts.map +1 -1
  875. package/dist/numerical/pderiv.js +9 -2
  876. package/dist/numerical/pderiv.js.map +1 -1
  877. package/dist/numerical/perihelion-finder.js.map +1 -1
  878. package/dist/numerical/quadrature.d.ts +5 -2
  879. package/dist/numerical/quadrature.d.ts.map +1 -1
  880. package/dist/numerical/quadrature.js +20 -3
  881. package/dist/numerical/quadrature.js.map +1 -1
  882. package/dist/numerical/spacetime-metrics.d.ts +17 -19
  883. package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
  884. package/dist/numerical/spacetime-metrics.js +158 -250
  885. package/dist/numerical/spacetime-metrics.js.map +1 -1
  886. package/dist/numerical/strides.js.map +1 -1
  887. package/dist/numerical/tensor-engine.d.ts +9 -5
  888. package/dist/numerical/tensor-engine.d.ts.map +1 -1
  889. package/dist/numerical/tensor-engine.js.map +1 -1
  890. package/dist/numerical/types.js.map +1 -1
  891. package/dist/numerical/weyl-lowering.js.map +1 -1
  892. package/dist/relations/category.js.map +1 -1
  893. package/dist/relations/composition-table.d.ts +4 -4
  894. package/dist/relations/composition-table.js +4 -4
  895. package/dist/relations/composition-table.js.map +1 -1
  896. package/dist/relations/conventions.js.map +1 -1
  897. package/dist/relations/domain-regimes.js.map +1 -1
  898. package/dist/relations/regime-registration.js.map +1 -1
  899. package/dist/relations/regime-vocabularies.js.map +1 -1
  900. package/dist/relations/regime.d.ts +18 -8
  901. package/dist/relations/regime.d.ts.map +1 -1
  902. package/dist/relations/regime.js +26 -14
  903. package/dist/relations/regime.js.map +1 -1
  904. package/dist/relations/types.d.ts +26 -6
  905. package/dist/relations/types.d.ts.map +1 -1
  906. package/dist/relations/types.js +15 -3
  907. package/dist/relations/types.js.map +1 -1
  908. package/package.json +10 -14
  909. package/dist/bridges/registry.d.ts +0 -60
  910. package/dist/bridges/registry.d.ts.map +0 -1
  911. package/dist/bridges/registry.js +0 -87
  912. package/dist/bridges/registry.js.map +0 -1
  913. package/dist/cli/poster-source.d.ts +0 -154
  914. package/dist/cli/poster-source.d.ts.map +0 -1
  915. package/dist/cli/poster-source.js +0 -184
  916. package/dist/cli/poster-source.js.map +0 -1
package/dist/cli-api.d.ts CHANGED
@@ -15,7 +15,8 @@
15
15
  * @module cli-api
16
16
  */
17
17
  import './relations/domain-regimes.js';
18
- export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
18
+ /** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
19
+ export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
19
20
  /** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
20
21
  export { composeEdges } from './index.js';
21
22
  export { formatConnectedSummary } from './composition/user-equation.js';
@@ -30,8 +31,8 @@ export { auditCoverage } from './composition/audit-coverage.js';
30
31
  export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
31
32
  /** Ask for a caller-table confrontation. The catalog status does not change. */
32
33
  export { requestCallerTableConfrontation } from './bridges/caller-table.js';
33
- /** The catalog row, the id parser, and the relation a numeric id evaluates. */
34
- export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
34
+ /** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
35
+ export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
35
36
  /** The two composition demonstrations the CLI prints. */
36
37
  export { demonstrationEdges } from './composition/catalog-graph.js';
37
38
  export type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';
@@ -39,11 +40,17 @@ export { consistencyComparison } from './bridges/observations/types.js';
39
40
  export type { ConfrontationOutcome } from './bridges/observations/types.js';
40
41
  export { decidingMeasurement } from './bridges/sensitivity.js';
41
42
  export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
43
+ /**
44
+ * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
45
+ * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
46
+ */
47
+ export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
42
48
  export type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';
43
49
  export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
44
50
  export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
45
51
  export type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';
46
- export { convertValue, UnitError } from './dimensional/units.js';
52
+ /** The unit reader's conversion, its refusal and the rows of the unit table. */
53
+ export { convertValue, UnitError, unitRows } from './dimensional/units.js';
47
54
  export { auditAxisDiscrimination } from './composition/axis-audit.js';
48
55
  export type { AxisDiscrimination } from './composition/axis-audit.js';
49
56
  export { AXES } from './composition/axes.js';
@@ -55,11 +62,15 @@ export { deriveProposedBridges } from './composition/proposed-bridges.js';
55
62
  export { describeDerivedClaim } from './composition/consequence.js';
56
63
  export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
57
64
  export { deriveEdgeEvidence } from './cli/map-evidence.js';
58
- export { POSTER_GRAPH, posterJunctions, validatePoster, describePosterSource, } from './cli/poster-source.js';
59
- export type { PosterGraph, PosterValidation } from './cli/poster-source.js';
60
- export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
65
+ /**
66
+ * Experimental Product B (expression / residual search). Not the identification
67
+ * funnel (`rankDiscoveries`). CLI `upt probe` only.
68
+ */
69
+ export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
61
70
  export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
62
- export type { AnnotatedCandidate, CandidateAdjudication } from './composition/adjudication.js';
71
+ export type { AnnotatedCandidate } from './composition/adjudication.js';
72
+ /** One record of the adjudication ledger, exported from its owner, the catalog file's types. */
73
+ export type { CatalogAdjudication } from './bridges/catalog-types.js';
63
74
  export { annotateConsequences } from './composition/consequence.js';
64
75
  export type { ConsequenceAnnotatedCandidate, ConsequenceSignal, ConsequenceEvidence, } from './composition/consequence.js';
65
76
  export { checkConventions, unknownConventionKeys } from './atlas/conventions.js';
@@ -79,7 +90,7 @@ export { WITNESS_REGISTRY } from './atlas/witness-specs.js';
79
90
  export { runNumericWitness } from './atlas/witness-numeric.js';
80
91
  export { OBSERVABLE_CARRIAGES, OBSERVABLE_TRANSLATIONS, carriageOf, runTranslationCheck, translationsOf, } from './atlas/translation-registry.js';
81
92
  export type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';
82
- export type { AtlasFamily } from './atlas/oscillators/index.js';
93
+ export type { AtlasFamily } from './atlas/family.js';
83
94
  export { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';
84
95
  export { domainRegimeRegistrations } from './relations/regime-registration.js';
85
96
  export type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';
@@ -106,19 +117,49 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
106
117
  *
107
118
  * @internal
108
119
  */
109
- export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
120
+ export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
110
121
  /**
111
122
  * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
112
123
  *
113
124
  * @internal
114
125
  */
115
- export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
126
+ export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
127
+ /** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
128
+ export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
129
+ /** One propagated output, and one input's share of it. */
130
+ export type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';
131
+ /** A stated constant checked against the registry; a disagreement is its own error. */
132
+ export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
133
+ /** Thrown when a formula string does not parse or names an unbound symbol. */
134
+ export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
135
+ /** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
136
+ export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
137
+ /** Synonym agreement and expansion of a binding set. */
138
+ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
139
+ /** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
140
+ export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
141
+ /** The one number formatter of explain text. */
142
+ export { formatQuantity, formatExact } from './composition/explain.js';
143
+ /** A monomial odd in both carrier charge and mobility with opposite signs. */
144
+ export { CarrierSignError } from './bridges/carrier-sign.js';
145
+ /** The constant values a natural-unit mode overrides. */
146
+ export { naturalConstantOverrides } from './dimensional/natural-units.js';
147
+ /** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */
148
+ export type { UnitMode } from './dimensional/natural-units.js';
149
+ /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
150
+ export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
151
+ /** The ledger id of an orphan-connector pair, when both names are slugs. */
152
+ export { candidateIdIfSlug } from './composition/adjudication.js';
116
153
  /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
117
154
  export { resolveQuantityName } from './index.js';
118
155
  /** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
119
- export { resolveEvaluable } from './composition/evaluate-relation.js';
156
+ export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
157
+ /** The required inputs of an evaluator that no relation source reads. They do not change the value. */
158
+ export { unusedInputKeys } from './bridges/evaluators.js';
120
159
  /** Two spellings of one quantity were given different numbers. The formula is not run. */
121
160
  export { SynonymDisagreementError } from './dimensional/formula-names.js';
161
+ /** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
162
+ export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
122
163
  /**
123
164
  * Builtin dimension checker for `upt eval`.
124
165
  *
@@ -131,12 +172,10 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
131
172
  * @internal
132
173
  */
133
174
  export { missingEvaluatorMessage } from './bridges/evaluators.js';
134
- /**
135
- * SI constants the evaluate command uses in the weak-field note.
136
- *
137
- * @internal
138
- */
139
- export { C_SI, G_SI } from './core/constants.js';
175
+ /** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
176
+ export { relationNotices } from './bridges/notices.js';
177
+ /** The notes of the registered constants a formula names. */
178
+ export { constantNotes } from './dimensional/symbolic-constants.js';
140
179
  /** Quantity-graph edge type for `upt map`. @internal */
141
180
  export type { BridgeEdge } from './composition/edge.js';
142
181
  /** Visual map types for `upt map`. @internal */
@@ -1 +1 @@
1
- {"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAGvC,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,+EAA+E;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACzF,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAI3D,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI5E,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAK/F,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAC5F,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE;;;;GAIG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAEjD,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
1
+ {"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
package/dist/cli-api.js CHANGED
@@ -16,8 +16,8 @@
16
16
  */
17
17
  // Domain names register when this barrel loads. The command reads the list.
18
18
  import './relations/domain-regimes.js';
19
- // Public-API symbols (already on the root surface).
20
- export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
19
+ /** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
20
+ export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
21
21
  /** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
22
22
  export { composeEdges } from './index.js';
23
23
  // Landing-report summariser (persona W3) — internal, not on the public barrel.
@@ -35,17 +35,23 @@ export { auditCoverage } from './composition/audit-coverage.js';
35
35
  export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
36
36
  /** Ask for a caller-table confrontation. The catalog status does not change. */
37
37
  export { requestCallerTableConfrontation } from './bridges/caller-table.js';
38
- /** The catalog row, the id parser, and the relation a numeric id evaluates. */
39
- export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
38
+ /** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
39
+ export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
40
40
  /** The two composition demonstrations the CLI prints. */
41
41
  export { demonstrationEdges } from './composition/catalog-graph.js';
42
42
  export { consistencyComparison } from './bridges/observations/types.js';
43
43
  export { decidingMeasurement } from './bridges/sensitivity.js';
44
44
  // Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).
45
45
  export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
46
+ /**
47
+ * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
48
+ * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
49
+ */
50
+ export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
46
51
  export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
47
52
  export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
48
- export { convertValue, UnitError } from './dimensional/units.js';
53
+ /** The unit reader's conversion, its refusal and the rows of the unit table. */
54
+ export { convertValue, UnitError, unitRows } from './dimensional/units.js';
49
55
  export { auditAxisDiscrimination } from './composition/axis-audit.js';
50
56
  export { AXES } from './composition/axes.js';
51
57
  export { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';
@@ -59,13 +65,11 @@ export { describeDerivedClaim } from './composition/consequence.js';
59
65
  // derivation lives in cli/map-evidence.ts, which is what calls it.
60
66
  export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
61
67
  export { deriveEdgeEvidence } from './cli/map-evidence.js';
62
- // `upt map --source=poster` (S3.4) — the Atlas Phase 3 poster index as viz
63
- // junctions, plus its dangling-premise check. Internal, CLI only. Not on
64
- // src/index.ts, which is the published v0.4.0 surface.
65
- export { POSTER_GRAPH, posterJunctions, validatePoster, describePosterSource, } from './cli/poster-source.js';
66
- // Experimental Product B (expression / residual search). Not the identification
67
- // funnel (`rankDiscoveries`). CLI `upt probe` only.
68
- export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
68
+ /**
69
+ * Experimental Product B (expression / residual search). Not the identification
70
+ * funnel (`rankDiscoveries`). CLI `upt probe` only.
71
+ */
72
+ export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
69
73
  // Adjudication ledger (composition/adjudication.ts) — annotates discovery
70
74
  // candidates with recorded human verdicts; never mutates the funnel.
71
75
  export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
@@ -117,19 +121,45 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
117
121
  *
118
122
  * @internal
119
123
  */
120
- export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
124
+ export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
121
125
  /**
122
126
  * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
123
127
  *
124
128
  * @internal
125
129
  */
126
- export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
130
+ export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
131
+ /** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
132
+ export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
133
+ /** A stated constant checked against the registry; a disagreement is its own error. */
134
+ export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
135
+ /** Thrown when a formula string does not parse or names an unbound symbol. */
136
+ export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
137
+ /** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
138
+ export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
139
+ /** Synonym agreement and expansion of a binding set. */
140
+ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
141
+ /** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
142
+ export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
143
+ /** The one number formatter of explain text. */
144
+ export { formatQuantity, formatExact } from './composition/explain.js';
145
+ /** A monomial odd in both carrier charge and mobility with opposite signs. */
146
+ export { CarrierSignError } from './bridges/carrier-sign.js';
147
+ /** The constant values a natural-unit mode overrides. */
148
+ export { naturalConstantOverrides } from './dimensional/natural-units.js';
149
+ /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
150
+ export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
151
+ /** The ledger id of an orphan-connector pair, when both names are slugs. */
152
+ export { candidateIdIfSlug } from './composition/adjudication.js';
127
153
  /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
128
154
  export { resolveQuantityName } from './index.js';
129
155
  /** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
130
- export { resolveEvaluable } from './composition/evaluate-relation.js';
156
+ export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
157
+ /** The required inputs of an evaluator that no relation source reads. They do not change the value. */
158
+ export { unusedInputKeys } from './bridges/evaluators.js';
131
159
  /** Two spellings of one quantity were given different numbers. The formula is not run. */
132
160
  export { SynonymDisagreementError } from './dimensional/formula-names.js';
161
+ /** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
162
+ export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
133
163
  /**
134
164
  * Builtin dimension checker for `upt eval`.
135
165
  *
@@ -142,10 +172,8 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
142
172
  * @internal
143
173
  */
144
174
  export { missingEvaluatorMessage } from './bridges/evaluators.js';
145
- /**
146
- * SI constants the evaluate command uses in the weak-field note.
147
- *
148
- * @internal
149
- */
150
- export { C_SI, G_SI } from './core/constants.js';
175
+ /** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
176
+ export { relationNotices } from './bridges/notices.js';
177
+ /** The notes of the registered constants a formula names. */
178
+ export { constantNotes } from './dimensional/symbolic-constants.js';
151
179
  //# sourceMappingURL=cli-api.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,+EAA+E;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACzF,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,2EAA2E;AAC3E,yEAAyE;AACzE,uDAAuD;AACvD,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAGhC,gFAAgF;AAChF,oDAAoD;AACpD,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAGvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAC5F,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE;;;;GAIG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC"}
1
+ {"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC","sourcesContent":["/**\n * CLI-facing barrel — the single stable entrypoint `bin/upt.mjs` imports.\n *\n * The CLI needs a handful of `@internal` analysis/composition/canonical\n * functions that are deliberately NOT on the public surface (so they are not in\n * the root `index.ts`). Previously `bin/upt.mjs` reached into ~10 deep `dist/`\n * module paths to get them, coupling the CLI to the internal file layout — any\n * module move silently broke the CLI. This barrel re-exports everything the CLI\n * uses from one place, so layout changes touch only this file and `bin/upt.mjs`\n * imports a single `dist/cli-api.js`.\n *\n * @internal — a CLI-support barrel; NOT re-exported from the root index, so it\n * stays off the consumer-facing public surface.\n *\n * @module cli-api\n */\n\n// Domain names register when this barrel loads. The command reads the list.\nimport './relations/domain-regimes.js';\n\n/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */\nexport {\n explainQuantity,\n CATALOG_GRAPH,\n CANONICAL_GRAPH,\n M_SUN_KG,\n composeSymbolic,\n format,\n equals as dimensionsEqual,\n buildVizModel,\n renderDotToSvg,\n equationLanding,\n analyzeUserEquation,\n suggestQuantities,\n buckinghamPi,\n dimensionallyDetermines,\n} from './index.js';\n/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */\nexport { composeEdges } from './index.js';\n// Landing-report summariser (persona W3) — internal, not on the public barrel.\nexport { formatConnectedSummary } from './composition/user-equation.js';\n\n// Internal analysis surface (bridge-analysis.ts).\nexport {\n bridgePriority,\n attemptDerivation,\n dimensionalFreedom,\n linkageMap,\n proposeLinkCandidates,\n proposeOrphanConnectors,\n} from './composition/bridge-analysis.js';\n\n// Other internal modules the CLI drives.\nexport {\n getFormulaParser,\n getFormulaParserKind,\n getFormulaDimensionChecker,\n} from './numerical/formula-registry.js';\nexport { parseDimensionSpec } from './dimensional/dimension-spec.js';\nexport { predictMissingBridges } from './composition/bridge-prediction.js';\nexport { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';\nexport { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\nexport { auditCoverage } from './composition/audit-coverage.js';\nexport {\n CONFRONTATIONS,\n listConfrontations,\n runConfrontation,\n confrontationRigor,\n rigorDistribution,\n} from './bridges/confrontations.js';\n/** Ask for a caller-table confrontation. The catalog status does not change. */\nexport { requestCallerTableConfrontation } from './bridges/caller-table.js';\n/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */\nexport { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';\n/** The two composition demonstrations the CLI prints. */\nexport { demonstrationEdges } from './composition/catalog-graph.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\nexport { consistencyComparison } from './bridges/observations/types.js';\nexport type { ConfrontationOutcome } from './bridges/observations/types.js';\nexport { decidingMeasurement } from './bridges/sensitivity.js';\n// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).\nexport { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';\n/**\n * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.\n * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.\n */\nexport {\n DuplicateInputError,\n InputTypeError,\n isInputContractError,\n MissingInputError,\n NonFiniteInputError,\n UnknownInputError,\n} from './bridges/evaluation-errors.js';\nexport type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';\nexport { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';\nexport { APPLIED_CASES, runAppliedCase } from './cases/index.js';\nexport type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';\n/** The unit reader's conversion, its refusal and the rows of the unit table. */\nexport { convertValue, UnitError, unitRows } from './dimensional/units.js';\nexport { auditAxisDiscrimination } from './composition/axis-audit.js';\nexport type { AxisDiscrimination } from './composition/axis-audit.js';\nexport { AXES } from './composition/axes.js';\nexport type { AxisSpec } from './composition/axes.js';\nexport { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';\nexport {\n CANONICAL_EQUATIONS,\n bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport { scanLinkages } from './canonical/linkage.js';\nexport { deriveProposedBridges } from './composition/proposed-bridges.js';\nexport { describeDerivedClaim } from './composition/consequence.js';\n// `upt map --relation= --evidence=` overlay filtering (S2.4). Internal: the\n// published surface is pinned by tests/api/public-surface.test.ts.\n// Relation filtering and the legend stay in graph-viz. Catalog evidence\n// derivation lives in cli/map-evidence.ts, which is what calls it.\nexport { filterEdges, formatFilterLegend } from './composition/graph-viz.js';\nexport { deriveEdgeEvidence } from './cli/map-evidence.js';\n\n/**\n * Experimental Product B (expression / residual search). Not the identification\n * funnel (`rankDiscoveries`). CLI `upt probe` only.\n */\nexport {\n DEFAULT_SEARCH_BUDGET,\n scanFrontier,\n findFrontierGap,\n expressionSearchGaps,\n scanWithExpressionGaps,\n problemFromResidualGap,\n makeResidualGap,\n loadSearchProblemFromJson,\n resolveObservationsPath,\n parseExprJson,\n ProblemFileError,\n runProbeSearch,\n nodeWorkerArgv,\n formatProbeReport,\n loadStudyFromJson,\n loadStudyFile,\n runProbeStudy,\n formatProbeStudy,\n formatFrontierScan,\n formatFrontierGap,\n suggestDiscriminatingPoint,\n parseDesignBounds,\n runFalsification,\n rankPareto,\n} from './composition/probe/index.js';\n\n// Adjudication ledger (composition/adjudication.ts) — annotates discovery\n// candidates with recorded human verdicts; never mutates the funnel.\nexport {\n annotateAdjudications,\n adjudicationFor,\n candidateId,\n ADJUDICATIONS,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */\nexport type { CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation (composition/consequence.ts) — annotates discovery\n// candidates with the entailed/novel-consequence/inconclusive signal; never\n// mutates the catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences } from './composition/consequence.js';\nexport type {\n ConsequenceAnnotatedCandidate,\n ConsequenceSignal,\n ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (composition/grounding.ts) — a pure, derived view\n// over each candidate's falsifier results: which gates passed vs abstained, plus\n// the honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\n// Atlas Phase 1 convention comparison — `upt recover` uses it to flag a\n// bridge↔canonical pair whose DECLARED sign/unit choices disagree. Advisory\n// only: it changes no classification and no exit code.\nexport { checkConventions, unknownConventionKeys } from './atlas/conventions.js';\nexport type { ConventionKey } from './atlas/conventions.js';\n\nexport { describeGrounding, describeReadiness } from './composition/grounding.js';\nexport { REPRESENTATIVE_VALUES } from './composition/representative-values.js';\n// User formula vs the canonical equation it restates (persona finding L2).\nexport {\n compareWithCanonical,\n compareUserEquation,\n describeComparison,\n describeComparisons,\n describeKnownRelation,\n matchingCatalogEdges,\n} from './composition/canonical-compare.js';\nexport type { CanonicalComparison, CatalogEdgeMatch } from './composition/canonical-compare.js';\nexport { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';\nexport type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';\n\n// Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and\n// route bounds are `@internal`; the CLI is their only consumer today.\nexport { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';\nexport { ATLAS_FAMILIES } from './atlas/families.js';\nexport { deriveEvidence, deriveCompositeEvidence, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './atlas/derive-evidence.js';\nexport { summarizeEvidence, ALL_EVIDENCE_TAGS } from './atlas/coverage.js';\nexport { runWitnessRegistry } from './atlas/witness-artifact.js';\nexport { WITNESS_REGISTRY } from './atlas/witness-specs.js';\nexport { runNumericWitness } from './atlas/witness-numeric.js';\nexport {\n OBSERVABLE_CARRIAGES,\n OBSERVABLE_TRANSLATIONS,\n carriageOf,\n runTranslationCheck,\n translationsOf,\n} from './atlas/translation-registry.js';\nexport type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';\nexport type { AtlasFamily } from './atlas/family.js';\nexport { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';\nexport { domainRegimeRegistrations } from './relations/regime-registration.js';\nexport type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';\nexport { familyChangeBlocksHorizon, findPath, findAtlasPath, enumerateAtlasRoutes, boundPath, horizonOnRoute, routeEntryModels } from './atlas/path-bound.js';\nexport { composeRelation } from './atlas/composition-table.js';\nexport type { PathBoundResult, PathBoundClaim, PathNoClaim, AppliedTransport } from './atlas/path-bound.js';\nexport type { AtlasBridge, RegimeInequality, Witness } from './atlas/types.js';\nexport { MissingLipschitzError } from './atlas/types.js';\nexport type { AtlasModel, ModelId } from './atlas/model.js';\n\n/**\n * Catalog formal reference for `upt atlas`.\n *\n * @internal\n */\nexport { catalogFormalRef } from './atlas/catalog-formal-ref.js';\n\n/**\n * Composition recovery scan for `upt recover`.\n *\n * @internal\n */\nexport { scanCompositionRecovery } from './composition/composition-recovery.js';\n\n/**\n * Exact metrics and geodesic integrators for `upt metric`.\n *\n * @internal\n */\nexport {\n curvatureReport,\n kerrEquatorialCircular,\n kerrGeodesic,\n kerrTurningPointOrbit,\n MetricMassError,\n schwarzschildCircularOrbit,\n type MetricId,\n} from './numerical/spacetime-metrics.js';\n\n/**\n * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.\n *\n * @internal\n */\nexport { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';\n/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */\nexport { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';\n/** One propagated output, and one input's share of it. */\nexport type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';\n/** A stated constant checked against the registry; a disagreement is its own error. */\nexport { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';\n/** Thrown when a formula string does not parse or names an unbound symbol. */\nexport { FormulaError, FormulaValueError } from './numerical/formula-contract.js';\n/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */\nexport { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';\n/** Synonym agreement and expansion of a binding set. */\nexport { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';\n/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */\nexport { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';\n/** The one number formatter of explain text. */\nexport { formatQuantity, formatExact } from './composition/explain.js';\n/** A monomial odd in both carrier charge and mobility with opposite signs. */\nexport { CarrierSignError } from './bridges/carrier-sign.js';\n/** The constant values a natural-unit mode overrides. */\nexport { naturalConstantOverrides } from './dimensional/natural-units.js';\n/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */\nexport { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';\n/** The ledger id of an orphan-connector pair, when both names are slugs. */\nexport { candidateIdIfSlug } from './composition/adjudication.js';\n/** The catalog or parameter name a spelling means. The commands call this, not a second table. */\nexport { resolveQuantityName } from './index.js';\n/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */\nexport { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';\n/** The required inputs of an evaluator that no relation source reads. They do not change the value. */\nexport { unusedInputKeys } from './bridges/evaluators.js';\n/** Two spellings of one quantity were given different numbers. The formula is not run. */\nexport { SynonymDisagreementError } from './dimensional/formula-names.js';\n/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */\nexport { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';\n\n/**\n * Builtin dimension checker for `upt eval`.\n *\n * @internal\n */\nexport { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js';\n\n/**\n * Missing-evaluator message for `upt evaluate`.\n *\n * @internal\n */\nexport { missingEvaluatorMessage } from './bridges/evaluators.js';\n\n/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */\nexport { relationNotices } from './bridges/notices.js';\n/** The notes of the registered constants a formula names. */\nexport { constantNotes } from './dimensional/symbolic-constants.js';\n\n/** Quantity-graph edge type for `upt map`. @internal */\nexport type { BridgeEdge } from './composition/edge.js';\n\n/** Visual map types for `upt map`. @internal */\nexport type { VizJunction, VizModel } from './composition/graph-viz.js';\n\n/** Relation vocabulary types for `upt map`. @internal */\nexport type { EvidenceTag, RelationType } from './atlas/types.js';\n\n/** User-equation analysis type for `upt map`. @internal */\nexport type { EquationAnalysis } from './composition/user-equation.js';\n"]}
@@ -13,6 +13,7 @@
13
13
  * @module composition/adjudication
14
14
  */
15
15
  import type { VettedCandidate } from './discovery.js';
16
+ import type { CatalogAdjudication } from '../bridges/catalog-types.js';
16
17
  /**
17
18
  * Stable identity for an identification hypothesis: the two quantity names,
18
19
  * sorted, joined with `~`. Deliberately excludes score/verdict/dimension so
@@ -33,39 +34,16 @@ export declare function candidateId(a: string, b: string): string;
33
34
  */
34
35
  export declare function candidateIdIfSlug(a: string, b: string): string | undefined;
35
36
  /**
36
- * Verdict of a human adjudication OF THE IDENTIFICATION `a ≡ b` (never of a
37
- * specific derived equation — derived equations inherit this as context):
38
- * - `genuine` — real physics AND a new link (nothing seeded qualifies yet).
39
- * - `entailed` — real physics already carried by the L-layer; not a new link.
40
- * - `decoy` — dimensional coincidence / no mechanism; includes trivial and
41
- * definitional identifications.
42
- * - `deferred` — reviewed and consciously parked (≠ absent entry, which means
43
- * never reviewed).
37
+ * The ledger: the `adjudications` block of `data/bridge-catalog.json`, read
38
+ * once. Append-only by convention; a record is corrected there, never
39
+ * silently removed. A record whose verdict is not one of the four, or whose
40
+ * id is not a slug pair, is a defect in the file and refuses to load.
44
41
  *
45
42
  * @public
46
43
  */
47
- export type AdjudicationVerdict = 'genuine' | 'decoy' | 'entailed' | 'deferred';
48
- /** One adjudicated identification hypothesis. @public */
49
- export interface CandidateAdjudication {
50
- /** `candidateId(a, b)` of the identification. */
51
- readonly id: string;
52
- readonly verdict: AdjudicationVerdict;
53
- /** Why — condensed from the adjudication record; never machine-generated. */
54
- readonly grounds: string;
55
- /** Repo-relative path of the adjudication document. */
56
- readonly source: string;
57
- /** ISO date the verdict was recorded. */
58
- readonly date: string;
59
- }
60
- /**
61
- * The seeded ledger — 2026-06 Adam+Eve adjudication rounds (8 → 0 genuine).
62
- * Append-only by convention; entries are corrected, never silently removed.
63
- *
64
- * @public
65
- */
66
- export declare const ADJUDICATIONS: readonly CandidateAdjudication[];
44
+ export declare const ADJUDICATIONS: readonly CatalogAdjudication[];
67
45
  /** Look up the verdict for an identification, order-insensitive. @public */
68
- export declare function adjudicationFor(a: string, b: string): CandidateAdjudication | undefined;
46
+ export declare function adjudicationFor(a: string, b: string): CatalogAdjudication | undefined;
69
47
  /**
70
48
  * A `VettedCandidate` with its recorded verdict attached, when the ledger has
71
49
  * one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees
@@ -74,7 +52,7 @@ export declare function adjudicationFor(a: string, b: string): CandidateAdjudica
74
52
  * @public
75
53
  */
76
54
  export type AnnotatedCandidate = VettedCandidate & {
77
- readonly adjudication?: CandidateAdjudication;
55
+ readonly adjudication?: CatalogAdjudication;
78
56
  };
79
57
  /**
80
58
  * Attach each candidate's recorded verdict, if any. A pure map: preserves
@@ -1 +1 @@
1
- {"version":3,"file":"adjudication.d.ts","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAMtD;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAG1E;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAEhF,yDAAyD;AACzD,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,qBAAqB,EAwEzD,CAAC;AAMF,4EAA4E;AAC5E,wBAAgB,eAAe,CAC7B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,qBAAqB,GAAG,SAAS,CAEnC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,SAAS,kBAAkB,EAAE,CAM/B"}
1
+ {"version":3,"file":"adjudication.d.ts","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAMvE;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAG1E;AAID;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,mBAAmB,EAOtD,CAAC;AAMH,4EAA4E;AAC5E,wBAAgB,eAAe,CAC7B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,mBAAmB,GAAG,SAAS,CAEjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,mBAAmB,CAAC;CAC7C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,SAAS,kBAAkB,EAAE,CAM/B"}
@@ -12,6 +12,7 @@
12
12
  *
13
13
  * @module composition/adjudication
14
14
  */
15
+ import { bridgeCatalog } from '../bridges/catalog-load.js';
15
16
  /** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide
16
17
  * (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */
17
18
  const SLUG = /^[a-z0-9][a-z0-9-]*$/u;
@@ -43,77 +44,24 @@ export function candidateIdIfSlug(a, b) {
43
44
  return undefined;
44
45
  return candidateId(a, b);
45
46
  }
47
+ const VERDICTS = new Set(['genuine', 'decoy', 'entailed', 'deferred']);
46
48
  /**
47
- * The seeded ledger — 2026-06 Adam+Eve adjudication rounds (8 → 0 genuine).
48
- * Append-only by convention; entries are corrected, never silently removed.
49
+ * The ledger: the `adjudications` block of `data/bridge-catalog.json`, read
50
+ * once. Append-only by convention; a record is corrected there, never
51
+ * silently removed. A record whose verdict is not one of the four, or whose
52
+ * id is not a slug pair, is a defect in the file and refuses to load.
49
53
  *
50
54
  * @public
51
55
  */
52
- export const ADJUDICATIONS = [
53
- {
54
- id: candidateId('erasure-energy', 'photon-energy'),
55
- verdict: 'decoy',
56
- grounds: "Dimensional coincidence; no mechanism. Landauer's k_B·T·ln2 is a statistical lower bound on heat dissipated to a reservoir; equating it to a single photon's hν has no universal mechanism — it rewrites thermal energy in frequency units.",
57
- source: 'docs/research/proposed-equations-adjudication.md',
58
- date: '2026-06-21',
59
- },
60
- {
61
- id: candidateId('dark-fermion-mass', 'erasure-energy'),
62
- verdict: 'decoy',
63
- grounds: 'Dimensional coincidence; no mechanism. A speculative hidden-sector mass m = gv set equal to a context-dependent erasure energy — no model links a particle mass to an arbitrary processor\'s temperature.',
64
- source: 'docs/research/proposed-equations-adjudication.md',
65
- date: '2026-06-21',
66
- },
67
- {
68
- id: candidateId('photon-energy', 'rest-energy'),
69
- verdict: 'entailed',
70
- grounds: 'Real physics, already entailed by the L-layer via CE-planck-einstein (E=hν) and CE-mass-energy (E=mc²); not a new link. Both Adam and Eve agree it is not a new discovery.',
71
- source: 'docs/research/proposed-equations-adjudication.md',
72
- date: '2026-06-21',
73
- },
74
- {
75
- id: candidateId('dark-fermion-mass', 'rest-energy'),
76
- verdict: 'decoy',
77
- grounds: 'Trivial/definitional. m = vg/c² re-expresses the dark-fermion mass via E=mc² instead of via Landauer (cf. PE-2) — a definitional application, not a new bridge.',
78
- source: 'docs/research/proposed-equations-adjudication.md',
79
- date: '2026-06-21',
80
- },
81
- {
82
- id: candidateId('hubble-distance', 'peak-wavelength'),
83
- verdict: 'decoy',
84
- grounds: 'Dimensional coincidence; no mechanism. A blackbody peak wavelength equated with the cosmological horizon — disparate domains, no mechanism; numerically off by ~10²⁹ for the CMB. The clearest "coincidence, not physics" case.',
85
- source: 'docs/research/proposed-equations-adjudication.md',
86
- date: '2026-06-21',
87
- },
88
- {
89
- id: candidateId('coarsening-length', 'quantum-correlation-length'),
90
- verdict: 'decoy',
91
- grounds: 'Non-equilibrium vs equilibrium length; unanimous. A coarsening length is a non-equilibrium domain size formed by quenching through a critical point; the quantum correlation length ξ is an equilibrium static property at it. Different processes — not the same length.',
92
- source: 'docs/research/orphan-connector-adjudication.md',
93
- date: '2026-06-21',
94
- },
95
- {
96
- id: candidateId('effective-mass', 'tunneling-mass'),
97
- verdict: 'decoy',
98
- grounds: 'Different particles/Hamiltonians; unanimous. A proton\'s inertia in a specific biomolecular potential vs. an emergent electronic quasiparticle\'s effective mass in a strongly-correlated metal. Different particles, different Hamiltonians, unrelated scales.',
99
- source: 'docs/research/orphan-connector-adjudication.md',
100
- date: '2026-06-21',
101
- },
102
- {
103
- id: candidateId('decoherence-rate', 'mutation-rate'),
104
- verdict: 'decoy',
105
- grounds: 'Same units, no shared meaning; unanimous. A decoherence rate (loss of quantum phase to the environment) vs. a mutation rate (frequency of a permanent, classical change to a DNA sequence). Same units, no shared physical meaning — decoherence may precede a mutation, but they are not one quantity.',
106
- source: 'docs/research/orphan-connector-adjudication.md',
107
- date: '2026-06-21',
108
- },
109
- {
110
- id: candidateId('foerster-radius', 'schwarzschild-radius'),
111
- verdict: 'decoy',
112
- grounds: 'a Förster radius is not a Schwarzschild radius',
113
- source: 'docs/research/Orphan-Connector-Analysis.md',
114
- date: '2026-06-15',
115
- },
116
- ];
56
+ export const ADJUDICATIONS = bridgeCatalog().adjudications.map((row) => {
57
+ if (!VERDICTS.has(row.verdict))
58
+ throw new Error(`adjudication ${row.id}: verdict '${row.verdict}' is not genuine, decoy, entailed or deferred`);
59
+ const [a, b, extra] = row.id.split('~');
60
+ if (a === undefined || b === undefined || extra !== undefined || candidateId(a, b) !== row.id) {
61
+ throw new Error(`adjudication ${row.id}: id is not a sorted slug pair`);
62
+ }
63
+ return row;
64
+ });
117
65
  const BY_ID = new Map(ADJUDICATIONS.map((a) => [a.id, a]));
118
66
  /** Look up the verdict for an identification, order-insensitive. @public */
119
67
  export function adjudicationFor(a, b) {
@@ -1 +1 @@
1
- {"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AA6BD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAqC;IAC7D;QACE,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAClD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,6OAA6O;QAC/O,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QACtD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,2MAA2M;QAC7M,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,eAAe,EAAE,aAAa,CAAC;QAC/C,OAAO,EAAE,UAAU;QACnB,OAAO,EACL,4KAA4K;QAC9K,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC;QACnD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iKAAiK;QACnK,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QACrD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iOAAiO;QACnO,MAAM,EAAE,kDAAkD;QAC1D,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAClE,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,2QAA2Q;QAC7Q,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QACnD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,iQAAiQ;QACnQ,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,kBAAkB,EAAE,eAAe,CAAC;QACpD,OAAO,EAAE,OAAO;QAChB,OAAO,EACL,ySAAyS;QAC3S,MAAM,EAAE,gDAAgD;QACxD,IAAI,EAAE,YAAY;KACnB;IACD;QACE,EAAE,EAAE,WAAW,CAAC,iBAAiB,EAAE,sBAAsB,CAAC;QAC1D,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,4CAA4C;QACpD,IAAI,EAAE,YAAY;KACnB;CACF,CAAC;AAEF,MAAM,KAAK,GAA+C,IAAI,GAAG,CAC/D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}
1
+ {"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAmC,aAAa,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;IACrG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,+CAA+C,CAAC,CAAC;IAChJ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAA6C,IAAI,GAAG,CAC7D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Adjudication ledger for machine-surfaced discovery candidates.\n *\n * Human verdicts on identification hypotheses (`a ≟ b`) are REVIEW MEMORY:\n * once a physicist has disposed of a candidate, the funnel must not\n * re-surface it as fresh. Verdicts NEVER mutate the catalog or graphs\n * (the epistemic firewall) — they annotate discovery output only.\n *\n * Keyed by the order-normalized quantity-name pair. Proposed equations\n * (`upt discover --derive`) inherit the verdict of the identification they\n * were derived from (`derivedFrom.identification`).\n *\n * @module composition/adjudication\n */\n\nimport type { VettedCandidate } from './discovery.js';\nimport { bridgeCatalog } from '../bridges/catalog-load.js';\nimport type { CatalogAdjudication } from '../bridges/catalog-types.js';\n\n/** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide\n * (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */\nconst SLUG = /^[a-z0-9][a-z0-9-]*$/u;\n\n/**\n * Stable identity for an identification hypothesis: the two quantity names,\n * sorted, joined with `~`. Deliberately excludes score/verdict/dimension so\n * ids survive funnel-internal changes. NOT rename-proof: a quantity rename\n * (alias disposition) must update `ADJUDICATIONS` in the SAME commit — the\n * calibration benchmark's seed-resolution test enforces this.\n *\n * @public\n */\nexport function candidateId(a: string, b: string): string {\n if (!SLUG.test(a) || !SLUG.test(b)) {\n throw new Error(\n `candidateId: quantity names must be kebab-case slugs (got '${a}', '${b}')`,\n );\n }\n return a <= b ? `${a}~${b}` : `${b}~${a}`;\n}\n\n/**\n * `candidateId` when both names are kebab-case slugs; otherwise `undefined`.\n * Graphs carry symbols that are not slugs (`A`, `impact_parameter`). Those\n * names are not ledger keys, and routing them through `candidateId` throws.\n * The ledger path keeps the throw. Callers that only need an id skip it.\n *\n * @internal\n */\nexport function candidateIdIfSlug(a: string, b: string): string | undefined {\n if (!SLUG.test(a) || !SLUG.test(b)) return undefined;\n return candidateId(a, b);\n}\n\nconst VERDICTS: ReadonlySet<string> = new Set(['genuine', 'decoy', 'entailed', 'deferred']);\n\n/**\n * The ledger: the `adjudications` block of `data/bridge-catalog.json`, read\n * once. Append-only by convention; a record is corrected there, never\n * silently removed. A record whose verdict is not one of the four, or whose\n * id is not a slug pair, is a defect in the file and refuses to load.\n *\n * @public\n */\nexport const ADJUDICATIONS: readonly CatalogAdjudication[] = bridgeCatalog().adjudications.map((row) => {\n if (!VERDICTS.has(row.verdict)) throw new Error(`adjudication ${row.id}: verdict '${row.verdict}' is not genuine, decoy, entailed or deferred`);\n const [a, b, extra] = row.id.split('~');\n if (a === undefined || b === undefined || extra !== undefined || candidateId(a, b) !== row.id) {\n throw new Error(`adjudication ${row.id}: id is not a sorted slug pair`);\n }\n return row;\n});\n\nconst BY_ID: ReadonlyMap<string, CatalogAdjudication> = new Map(\n ADJUDICATIONS.map((a) => [a.id, a]),\n);\n\n/** Look up the verdict for an identification, order-insensitive. @public */\nexport function adjudicationFor(\n a: string,\n b: string,\n): CatalogAdjudication | undefined {\n return BY_ID.get(candidateId(a, b));\n}\n\n/**\n * A `VettedCandidate` with its recorded verdict attached, when the ledger has\n * one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees\n * this — annotation is a command-layer concern (the epistemic firewall).\n *\n * @public\n */\nexport type AnnotatedCandidate = VettedCandidate & {\n readonly adjudication?: CatalogAdjudication;\n};\n\n/**\n * Attach each candidate's recorded verdict, if any. A pure map: preserves\n * order and length, and leaves candidates without a ledger entry untouched\n * (no `adjudication` key added).\n *\n * The discovery funnel's candidate pool is NOT guaranteed to be kebab-case\n * slugs (`candidates` command sources plain quantity names like `A` or\n * `impact_parameter` straight off `BridgeEdge`/canonical governing sets) —\n * `candidateId` intentionally THROWS on those (the `~`-collision guard, see\n * its docstring). A non-slug name can never be a ledger key (every\n * `ADJUDICATIONS` entry is a valid slug), so such candidates are\n * pre-filtered out of lookup rather than routed through the throwing path.\n *\n * @public\n */\nexport function annotateAdjudications(\n candidates: readonly VettedCandidate[],\n): readonly AnnotatedCandidate[] {\n return candidates.map((c) => {\n if (!SLUG.test(c.a) || !SLUG.test(c.b)) return c;\n const adjudication = adjudicationFor(c.a, c.b);\n return adjudication ? { ...c, adjudication } : c;\n });\n}\n"]}
@@ -15,7 +15,7 @@ import { type DimensionRename } from '../dimensional/formula-names.js';
15
15
  *
16
16
  * Synonym groups are {@link SYNONYM_GROUPS}: the same array, not a copy.
17
17
  * A comparison target is a name an entry answers to besides its frozen
18
- * target word. `speed` answers for the sound-speed equation in a comparison
18
+ * target word, projected from each entry's `targetAliases`. `speed` answers for the sound-speed equation in a comparison
19
19
  * and is not a synonym of `sound-speed`. A dimension rename applies only
20
20
  * for that dimension, so a time coordinate named `T` stays `T`.
21
21
  * Spelling resolution is `resolveQuantityName`, not a second table.
@@ -1 +1 @@
1
- {"version":3,"file":"aliases.d.ts","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,iCAAiC,CAAC;AAEzC;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,eAAe,EAAE,CAAC;CAcvD,CAAC;AAEF,+FAA+F;AAC/F,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,GACb,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAe7B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBzD;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAQlF;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAyBnC;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,GAC9C,MAAM,EAAE,CAqBV"}
1
+ {"version":3,"file":"aliases.d.ts","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,iCAAiC,CAAC;AAIzC;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,eAAe,EAAE,CAAC;CAQvD,CAAC;AAEF,+FAA+F;AAC/F,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,GACb,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAe7B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBzD;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAQlF;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAyBnC;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,GAC9C,MAAM,EAAE,CAeV"}