@proposit/proposit-core 0.8.9

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 (429) hide show
  1. package/README.md +1032 -0
  2. package/dist/cli/commands/analysis.d.ts +3 -0
  3. package/dist/cli/commands/analysis.d.ts.map +1 -0
  4. package/dist/cli/commands/analysis.js +504 -0
  5. package/dist/cli/commands/analysis.js.map +1 -0
  6. package/dist/cli/commands/arguments.d.ts +3 -0
  7. package/dist/cli/commands/arguments.d.ts.map +1 -0
  8. package/dist/cli/commands/arguments.js +187 -0
  9. package/dist/cli/commands/arguments.js.map +1 -0
  10. package/dist/cli/commands/claims.d.ts +3 -0
  11. package/dist/cli/commands/claims.d.ts.map +1 -0
  12. package/dist/cli/commands/claims.js +120 -0
  13. package/dist/cli/commands/claims.js.map +1 -0
  14. package/dist/cli/commands/diff.d.ts +3 -0
  15. package/dist/cli/commands/diff.d.ts.map +1 -0
  16. package/dist/cli/commands/diff.js +61 -0
  17. package/dist/cli/commands/diff.js.map +1 -0
  18. package/dist/cli/commands/expressions.d.ts +3 -0
  19. package/dist/cli/commands/expressions.d.ts.map +1 -0
  20. package/dist/cli/commands/expressions.js +344 -0
  21. package/dist/cli/commands/expressions.js.map +1 -0
  22. package/dist/cli/commands/graph.d.ts +13 -0
  23. package/dist/cli/commands/graph.d.ts.map +1 -0
  24. package/dist/cli/commands/graph.js +382 -0
  25. package/dist/cli/commands/graph.js.map +1 -0
  26. package/dist/cli/commands/meta.d.ts +3 -0
  27. package/dist/cli/commands/meta.d.ts.map +1 -0
  28. package/dist/cli/commands/meta.js +14 -0
  29. package/dist/cli/commands/meta.js.map +1 -0
  30. package/dist/cli/commands/parse.d.ts +3 -0
  31. package/dist/cli/commands/parse.d.ts.map +1 -0
  32. package/dist/cli/commands/parse.js +171 -0
  33. package/dist/cli/commands/parse.js.map +1 -0
  34. package/dist/cli/commands/premises.d.ts +3 -0
  35. package/dist/cli/commands/premises.d.ts.map +1 -0
  36. package/dist/cli/commands/premises.js +261 -0
  37. package/dist/cli/commands/premises.js.map +1 -0
  38. package/dist/cli/commands/render.d.ts +3 -0
  39. package/dist/cli/commands/render.d.ts.map +1 -0
  40. package/dist/cli/commands/render.js +109 -0
  41. package/dist/cli/commands/render.js.map +1 -0
  42. package/dist/cli/commands/repair.d.ts +3 -0
  43. package/dist/cli/commands/repair.d.ts.map +1 -0
  44. package/dist/cli/commands/repair.js +53 -0
  45. package/dist/cli/commands/repair.js.map +1 -0
  46. package/dist/cli/commands/roles.d.ts +3 -0
  47. package/dist/cli/commands/roles.d.ts.map +1 -0
  48. package/dist/cli/commands/roles.js +64 -0
  49. package/dist/cli/commands/roles.js.map +1 -0
  50. package/dist/cli/commands/sources.d.ts +3 -0
  51. package/dist/cli/commands/sources.d.ts.map +1 -0
  52. package/dist/cli/commands/sources.js +103 -0
  53. package/dist/cli/commands/sources.js.map +1 -0
  54. package/dist/cli/commands/validate.d.ts +3 -0
  55. package/dist/cli/commands/validate.d.ts.map +1 -0
  56. package/dist/cli/commands/validate.js +27 -0
  57. package/dist/cli/commands/validate.js.map +1 -0
  58. package/dist/cli/commands/variables.d.ts +3 -0
  59. package/dist/cli/commands/variables.d.ts.map +1 -0
  60. package/dist/cli/commands/variables.js +206 -0
  61. package/dist/cli/commands/variables.js.map +1 -0
  62. package/dist/cli/commands/version-show.d.ts +3 -0
  63. package/dist/cli/commands/version-show.d.ts.map +1 -0
  64. package/dist/cli/commands/version-show.js +31 -0
  65. package/dist/cli/commands/version-show.js.map +1 -0
  66. package/dist/cli/config.d.ts +8 -0
  67. package/dist/cli/config.d.ts.map +1 -0
  68. package/dist/cli/config.js +24 -0
  69. package/dist/cli/config.js.map +1 -0
  70. package/dist/cli/engine.d.ts +19 -0
  71. package/dist/cli/engine.d.ts.map +1 -0
  72. package/dist/cli/engine.js +173 -0
  73. package/dist/cli/engine.js.map +1 -0
  74. package/dist/cli/import.d.ts +22 -0
  75. package/dist/cli/import.d.ts.map +1 -0
  76. package/dist/cli/import.js +242 -0
  77. package/dist/cli/import.js.map +1 -0
  78. package/dist/cli/llm/index.d.ts +6 -0
  79. package/dist/cli/llm/index.d.ts.map +1 -0
  80. package/dist/cli/llm/index.js +26 -0
  81. package/dist/cli/llm/index.js.map +1 -0
  82. package/dist/cli/llm/openai.d.ts +4 -0
  83. package/dist/cli/llm/openai.d.ts.map +1 -0
  84. package/dist/cli/llm/openai.js +44 -0
  85. package/dist/cli/llm/openai.js.map +1 -0
  86. package/dist/cli/llm/types.d.ts +14 -0
  87. package/dist/cli/llm/types.d.ts.map +1 -0
  88. package/dist/cli/llm/types.js +2 -0
  89. package/dist/cli/llm/types.js.map +1 -0
  90. package/dist/cli/logging.d.ts +8 -0
  91. package/dist/cli/logging.d.ts.map +1 -0
  92. package/dist/cli/logging.js +23 -0
  93. package/dist/cli/logging.js.map +1 -0
  94. package/dist/cli/output/diff-renderer.d.ts +4 -0
  95. package/dist/cli/output/diff-renderer.d.ts.map +1 -0
  96. package/dist/cli/output/diff-renderer.js +89 -0
  97. package/dist/cli/output/diff-renderer.js.map +1 -0
  98. package/dist/cli/output.d.ts +6 -0
  99. package/dist/cli/output.d.ts.map +1 -0
  100. package/dist/cli/output.js +41 -0
  101. package/dist/cli/output.js.map +1 -0
  102. package/dist/cli/router.d.ts +14 -0
  103. package/dist/cli/router.d.ts.map +1 -0
  104. package/dist/cli/router.js +59 -0
  105. package/dist/cli/router.js.map +1 -0
  106. package/dist/cli/schemata.d.ts +74 -0
  107. package/dist/cli/schemata.d.ts.map +1 -0
  108. package/dist/cli/schemata.js +89 -0
  109. package/dist/cli/schemata.js.map +1 -0
  110. package/dist/cli/storage/analysis.d.ts +9 -0
  111. package/dist/cli/storage/analysis.d.ts.map +1 -0
  112. package/dist/cli/storage/analysis.js +108 -0
  113. package/dist/cli/storage/analysis.js.map +1 -0
  114. package/dist/cli/storage/arguments.d.ts +12 -0
  115. package/dist/cli/storage/arguments.d.ts.map +1 -0
  116. package/dist/cli/storage/arguments.js +80 -0
  117. package/dist/cli/storage/arguments.js.map +1 -0
  118. package/dist/cli/storage/libraries.d.ts +14 -0
  119. package/dist/cli/storage/libraries.d.ts.map +1 -0
  120. package/dist/cli/storage/libraries.js +80 -0
  121. package/dist/cli/storage/libraries.js.map +1 -0
  122. package/dist/cli/storage/premises.d.ts +9 -0
  123. package/dist/cli/storage/premises.d.ts.map +1 -0
  124. package/dist/cli/storage/premises.js +67 -0
  125. package/dist/cli/storage/premises.js.map +1 -0
  126. package/dist/cli/storage/roles.d.ts +4 -0
  127. package/dist/cli/storage/roles.d.ts.map +1 -0
  128. package/dist/cli/storage/roles.js +26 -0
  129. package/dist/cli/storage/roles.js.map +1 -0
  130. package/dist/cli/storage/variables.d.ts +4 -0
  131. package/dist/cli/storage/variables.d.ts.map +1 -0
  132. package/dist/cli/storage/variables.js +36 -0
  133. package/dist/cli/storage/variables.js.map +1 -0
  134. package/dist/cli.d.ts +3 -0
  135. package/dist/cli.d.ts.map +1 -0
  136. package/dist/cli.js +65 -0
  137. package/dist/cli.js.map +1 -0
  138. package/dist/extensions/basics/argument-parser.d.ts +12 -0
  139. package/dist/extensions/basics/argument-parser.d.ts.map +1 -0
  140. package/dist/extensions/basics/argument-parser.js +27 -0
  141. package/dist/extensions/basics/argument-parser.js.map +1 -0
  142. package/dist/extensions/basics/index.d.ts +4 -0
  143. package/dist/extensions/basics/index.d.ts.map +1 -0
  144. package/dist/extensions/basics/index.js +3 -0
  145. package/dist/extensions/basics/index.js.map +1 -0
  146. package/dist/extensions/basics/schemata.d.ts +35 -0
  147. package/dist/extensions/basics/schemata.d.ts.map +1 -0
  148. package/dist/extensions/basics/schemata.js +55 -0
  149. package/dist/extensions/basics/schemata.js.map +1 -0
  150. package/dist/extensions/ieee/formatting.d.ts +18 -0
  151. package/dist/extensions/ieee/formatting.d.ts.map +1 -0
  152. package/dist/extensions/ieee/formatting.js +57 -0
  153. package/dist/extensions/ieee/formatting.js.map +1 -0
  154. package/dist/extensions/ieee/index.d.ts +6 -0
  155. package/dist/extensions/ieee/index.d.ts.map +1 -0
  156. package/dist/extensions/ieee/index.js +6 -0
  157. package/dist/extensions/ieee/index.js.map +1 -0
  158. package/dist/extensions/ieee/references.d.ts +1379 -0
  159. package/dist/extensions/ieee/references.d.ts.map +1 -0
  160. package/dist/extensions/ieee/references.js +929 -0
  161. package/dist/extensions/ieee/references.js.map +1 -0
  162. package/dist/extensions/ieee/relaxed.d.ts +1371 -0
  163. package/dist/extensions/ieee/relaxed.d.ts.map +1 -0
  164. package/dist/extensions/ieee/relaxed.js +160 -0
  165. package/dist/extensions/ieee/relaxed.js.map +1 -0
  166. package/dist/extensions/ieee/segment-builder.d.ts +9 -0
  167. package/dist/extensions/ieee/segment-builder.d.ts.map +1 -0
  168. package/dist/extensions/ieee/segment-builder.js +98 -0
  169. package/dist/extensions/ieee/segment-builder.js.map +1 -0
  170. package/dist/extensions/ieee/segment-templates.d.ts +58 -0
  171. package/dist/extensions/ieee/segment-templates.d.ts.map +1 -0
  172. package/dist/extensions/ieee/segment-templates.js +1618 -0
  173. package/dist/extensions/ieee/segment-templates.js.map +1 -0
  174. package/dist/extensions/ieee/source.d.ts +434 -0
  175. package/dist/extensions/ieee/source.d.ts.map +1 -0
  176. package/dist/extensions/ieee/source.js +12 -0
  177. package/dist/extensions/ieee/source.js.map +1 -0
  178. package/dist/index.d.ts +10 -0
  179. package/dist/index.d.ts.map +1 -0
  180. package/dist/index.js +10 -0
  181. package/dist/index.js.map +1 -0
  182. package/dist/lib/consts.d.ts +21 -0
  183. package/dist/lib/consts.d.ts.map +1 -0
  184. package/dist/lib/consts.js +117 -0
  185. package/dist/lib/consts.js.map +1 -0
  186. package/dist/lib/core/argument-engine.d.ts +181 -0
  187. package/dist/lib/core/argument-engine.d.ts.map +1 -0
  188. package/dist/lib/core/argument-engine.js +1294 -0
  189. package/dist/lib/core/argument-engine.js.map +1 -0
  190. package/dist/lib/core/argument-library.d.ts +84 -0
  191. package/dist/lib/core/argument-library.d.ts.map +1 -0
  192. package/dist/lib/core/argument-library.js +122 -0
  193. package/dist/lib/core/argument-library.js.map +1 -0
  194. package/dist/lib/core/argument-validation.d.ts +74 -0
  195. package/dist/lib/core/argument-validation.d.ts.map +1 -0
  196. package/dist/lib/core/argument-validation.js +315 -0
  197. package/dist/lib/core/argument-validation.js.map +1 -0
  198. package/dist/lib/core/change-collector.d.ts +24 -0
  199. package/dist/lib/core/change-collector.d.ts.map +1 -0
  200. package/dist/lib/core/change-collector.js +63 -0
  201. package/dist/lib/core/change-collector.js.map +1 -0
  202. package/dist/lib/core/checksum.d.ts +15 -0
  203. package/dist/lib/core/checksum.d.ts.map +1 -0
  204. package/dist/lib/core/checksum.js +43 -0
  205. package/dist/lib/core/checksum.js.map +1 -0
  206. package/dist/lib/core/claim-library.d.ts +23 -0
  207. package/dist/lib/core/claim-library.d.ts.map +1 -0
  208. package/dist/lib/core/claim-library.js +21 -0
  209. package/dist/lib/core/claim-library.js.map +1 -0
  210. package/dist/lib/core/claim-source-library.d.ts +32 -0
  211. package/dist/lib/core/claim-source-library.d.ts.map +1 -0
  212. package/dist/lib/core/claim-source-library.js +193 -0
  213. package/dist/lib/core/claim-source-library.js.map +1 -0
  214. package/dist/lib/core/diff.d.ts +20 -0
  215. package/dist/lib/core/diff.d.ts.map +1 -0
  216. package/dist/lib/core/diff.js +260 -0
  217. package/dist/lib/core/diff.js.map +1 -0
  218. package/dist/lib/core/evaluation/argument-evaluation.d.ts +53 -0
  219. package/dist/lib/core/evaluation/argument-evaluation.d.ts.map +1 -0
  220. package/dist/lib/core/evaluation/argument-evaluation.js +535 -0
  221. package/dist/lib/core/evaluation/argument-evaluation.js.map +1 -0
  222. package/dist/lib/core/evaluation/grading.d.ts +28 -0
  223. package/dist/lib/core/evaluation/grading.d.ts.map +1 -0
  224. package/dist/lib/core/evaluation/grading.js +44 -0
  225. package/dist/lib/core/evaluation/grading.js.map +1 -0
  226. package/dist/lib/core/evaluation/kleene.d.ts +12 -0
  227. package/dist/lib/core/evaluation/kleene.d.ts.map +1 -0
  228. package/dist/lib/core/evaluation/kleene.js +29 -0
  229. package/dist/lib/core/evaluation/kleene.js.map +1 -0
  230. package/dist/lib/core/evaluation/validation.d.ts +10 -0
  231. package/dist/lib/core/evaluation/validation.d.ts.map +1 -0
  232. package/dist/lib/core/evaluation/validation.js +28 -0
  233. package/dist/lib/core/evaluation/validation.js.map +1 -0
  234. package/dist/lib/core/expression-manager.d.ts +278 -0
  235. package/dist/lib/core/expression-manager.d.ts.map +1 -0
  236. package/dist/lib/core/expression-manager.js +1622 -0
  237. package/dist/lib/core/expression-manager.js.map +1 -0
  238. package/dist/lib/core/fork-library.d.ts +26 -0
  239. package/dist/lib/core/fork-library.d.ts.map +1 -0
  240. package/dist/lib/core/fork-library.js +71 -0
  241. package/dist/lib/core/fork-library.js.map +1 -0
  242. package/dist/lib/core/fork-namespace.d.ts +32 -0
  243. package/dist/lib/core/fork-namespace.d.ts.map +1 -0
  244. package/dist/lib/core/fork-namespace.js +99 -0
  245. package/dist/lib/core/fork-namespace.js.map +1 -0
  246. package/dist/lib/core/fork.d.ts +30 -0
  247. package/dist/lib/core/fork.d.ts.map +1 -0
  248. package/dist/lib/core/fork.js +125 -0
  249. package/dist/lib/core/fork.js.map +1 -0
  250. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +366 -0
  251. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
  252. package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
  253. package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
  254. package/dist/lib/core/interfaces/index.d.ts +5 -0
  255. package/dist/lib/core/interfaces/index.d.ts.map +1 -0
  256. package/dist/lib/core/interfaces/index.js +2 -0
  257. package/dist/lib/core/interfaces/index.js.map +1 -0
  258. package/dist/lib/core/interfaces/library.interfaces.d.ts +347 -0
  259. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -0
  260. package/dist/lib/core/interfaces/library.interfaces.js +2 -0
  261. package/dist/lib/core/interfaces/library.interfaces.js.map +1 -0
  262. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +401 -0
  263. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
  264. package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
  265. package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
  266. package/dist/lib/core/interfaces/shared.interfaces.d.ts +28 -0
  267. package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
  268. package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
  269. package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
  270. package/dist/lib/core/invariant-violation-error.d.ts +10 -0
  271. package/dist/lib/core/invariant-violation-error.d.ts.map +1 -0
  272. package/dist/lib/core/invariant-violation-error.js +16 -0
  273. package/dist/lib/core/invariant-violation-error.js.map +1 -0
  274. package/dist/lib/core/parser/formula-gen.js +923 -0
  275. package/dist/lib/core/parser/formula.d.ts +24 -0
  276. package/dist/lib/core/parser/formula.d.ts.map +1 -0
  277. package/dist/lib/core/parser/formula.js +8 -0
  278. package/dist/lib/core/parser/formula.js.map +1 -0
  279. package/dist/lib/core/premise-engine.d.ts +122 -0
  280. package/dist/lib/core/premise-engine.d.ts.map +1 -0
  281. package/dist/lib/core/premise-engine.js +1362 -0
  282. package/dist/lib/core/premise-engine.js.map +1 -0
  283. package/dist/lib/core/proposit-core.d.ts +111 -0
  284. package/dist/lib/core/proposit-core.d.ts.map +1 -0
  285. package/dist/lib/core/proposit-core.js +365 -0
  286. package/dist/lib/core/proposit-core.js.map +1 -0
  287. package/dist/lib/core/relationships.d.ts +15 -0
  288. package/dist/lib/core/relationships.d.ts.map +1 -0
  289. package/dist/lib/core/relationships.js +319 -0
  290. package/dist/lib/core/relationships.js.map +1 -0
  291. package/dist/lib/core/source-library.d.ts +23 -0
  292. package/dist/lib/core/source-library.d.ts.map +1 -0
  293. package/dist/lib/core/source-library.js +21 -0
  294. package/dist/lib/core/source-library.js.map +1 -0
  295. package/dist/lib/core/variable-manager.d.ts +68 -0
  296. package/dist/lib/core/variable-manager.d.ts.map +1 -0
  297. package/dist/lib/core/variable-manager.js +200 -0
  298. package/dist/lib/core/variable-manager.js.map +1 -0
  299. package/dist/lib/core/versioned-library.d.ts +52 -0
  300. package/dist/lib/core/versioned-library.d.ts.map +1 -0
  301. package/dist/lib/core/versioned-library.js +192 -0
  302. package/dist/lib/core/versioned-library.js.map +1 -0
  303. package/dist/lib/index.d.ts +54 -0
  304. package/dist/lib/index.d.ts.map +1 -0
  305. package/dist/lib/index.js +39 -0
  306. package/dist/lib/index.js.map +1 -0
  307. package/dist/lib/parsing/argument-parser.d.ts +49 -0
  308. package/dist/lib/parsing/argument-parser.d.ts.map +1 -0
  309. package/dist/lib/parsing/argument-parser.js +403 -0
  310. package/dist/lib/parsing/argument-parser.js.map +1 -0
  311. package/dist/lib/parsing/clamp-max-lengths.d.ts +11 -0
  312. package/dist/lib/parsing/clamp-max-lengths.d.ts.map +1 -0
  313. package/dist/lib/parsing/clamp-max-lengths.js +56 -0
  314. package/dist/lib/parsing/clamp-max-lengths.js.map +1 -0
  315. package/dist/lib/parsing/index.d.ts +7 -0
  316. package/dist/lib/parsing/index.d.ts.map +1 -0
  317. package/dist/lib/parsing/index.js +4 -0
  318. package/dist/lib/parsing/index.js.map +1 -0
  319. package/dist/lib/parsing/prompt-builder.d.ts +11 -0
  320. package/dist/lib/parsing/prompt-builder.d.ts.map +1 -0
  321. package/dist/lib/parsing/prompt-builder.js +229 -0
  322. package/dist/lib/parsing/prompt-builder.js.map +1 -0
  323. package/dist/lib/parsing/schemata.d.ts +79 -0
  324. package/dist/lib/parsing/schemata.d.ts.map +1 -0
  325. package/dist/lib/parsing/schemata.js +92 -0
  326. package/dist/lib/parsing/schemata.js.map +1 -0
  327. package/dist/lib/parsing/types.d.ts +24 -0
  328. package/dist/lib/parsing/types.d.ts.map +1 -0
  329. package/dist/lib/parsing/types.js +2 -0
  330. package/dist/lib/parsing/types.js.map +1 -0
  331. package/dist/lib/schemata/analysis.d.ts +9 -0
  332. package/dist/lib/schemata/analysis.d.ts.map +1 -0
  333. package/dist/lib/schemata/analysis.js +13 -0
  334. package/dist/lib/schemata/analysis.js.map +1 -0
  335. package/dist/lib/schemata/argument.d.ts +14 -0
  336. package/dist/lib/schemata/argument.d.ts.map +1 -0
  337. package/dist/lib/schemata/argument.js +24 -0
  338. package/dist/lib/schemata/argument.js.map +1 -0
  339. package/dist/lib/schemata/claim.d.ts +9 -0
  340. package/dist/lib/schemata/claim.d.ts.map +1 -0
  341. package/dist/lib/schemata/claim.js +18 -0
  342. package/dist/lib/schemata/claim.js.map +1 -0
  343. package/dist/lib/schemata/fork.d.ts +76 -0
  344. package/dist/lib/schemata/fork.d.ts.map +1 -0
  345. package/dist/lib/schemata/fork.js +55 -0
  346. package/dist/lib/schemata/fork.js.map +1 -0
  347. package/dist/lib/schemata/import.d.ts +33 -0
  348. package/dist/lib/schemata/import.d.ts.map +1 -0
  349. package/dist/lib/schemata/import.js +18 -0
  350. package/dist/lib/schemata/import.js.map +1 -0
  351. package/dist/lib/schemata/index.d.ts +8 -0
  352. package/dist/lib/schemata/index.d.ts.map +1 -0
  353. package/dist/lib/schemata/index.js +8 -0
  354. package/dist/lib/schemata/index.js.map +1 -0
  355. package/dist/lib/schemata/propositional.d.ts +142 -0
  356. package/dist/lib/schemata/propositional.d.ts.map +1 -0
  357. package/dist/lib/schemata/propositional.js +120 -0
  358. package/dist/lib/schemata/propositional.js.map +1 -0
  359. package/dist/lib/schemata/shared.d.ts +41 -0
  360. package/dist/lib/schemata/shared.d.ts.map +1 -0
  361. package/dist/lib/schemata/shared.js +66 -0
  362. package/dist/lib/schemata/shared.js.map +1 -0
  363. package/dist/lib/schemata/source.d.ts +18 -0
  364. package/dist/lib/schemata/source.d.ts.map +1 -0
  365. package/dist/lib/schemata/source.js +35 -0
  366. package/dist/lib/schemata/source.js.map +1 -0
  367. package/dist/lib/types/checksum.d.ts +20 -0
  368. package/dist/lib/types/checksum.d.ts.map +1 -0
  369. package/dist/lib/types/checksum.js +2 -0
  370. package/dist/lib/types/checksum.js.map +1 -0
  371. package/dist/lib/types/diff.d.ts +60 -0
  372. package/dist/lib/types/diff.d.ts.map +1 -0
  373. package/dist/lib/types/diff.js +2 -0
  374. package/dist/lib/types/diff.js.map +1 -0
  375. package/dist/lib/types/evaluation.d.ts +164 -0
  376. package/dist/lib/types/evaluation.d.ts.map +1 -0
  377. package/dist/lib/types/evaluation.js +2 -0
  378. package/dist/lib/types/evaluation.js.map +1 -0
  379. package/dist/lib/types/fork.d.ts +25 -0
  380. package/dist/lib/types/fork.d.ts.map +1 -0
  381. package/dist/lib/types/fork.js +2 -0
  382. package/dist/lib/types/fork.js.map +1 -0
  383. package/dist/lib/types/grammar.d.ts +38 -0
  384. package/dist/lib/types/grammar.d.ts.map +1 -0
  385. package/dist/lib/types/grammar.js +11 -0
  386. package/dist/lib/types/grammar.js.map +1 -0
  387. package/dist/lib/types/mutation.d.ts +31 -0
  388. package/dist/lib/types/mutation.d.ts.map +1 -0
  389. package/dist/lib/types/mutation.js +2 -0
  390. package/dist/lib/types/mutation.js.map +1 -0
  391. package/dist/lib/types/reactive.d.ts +14 -0
  392. package/dist/lib/types/reactive.d.ts.map +1 -0
  393. package/dist/lib/types/reactive.js +2 -0
  394. package/dist/lib/types/reactive.js.map +1 -0
  395. package/dist/lib/types/relationships.d.ts +36 -0
  396. package/dist/lib/types/relationships.d.ts.map +1 -0
  397. package/dist/lib/types/relationships.js +2 -0
  398. package/dist/lib/types/relationships.js.map +1 -0
  399. package/dist/lib/types/validation.d.ts +47 -0
  400. package/dist/lib/types/validation.d.ts.map +1 -0
  401. package/dist/lib/types/validation.js +43 -0
  402. package/dist/lib/types/validation.js.map +1 -0
  403. package/dist/lib/utils/changeset.d.ts +124 -0
  404. package/dist/lib/utils/changeset.d.ts.map +1 -0
  405. package/dist/lib/utils/changeset.js +221 -0
  406. package/dist/lib/utils/changeset.js.map +1 -0
  407. package/dist/lib/utils/collections.d.ts +12 -0
  408. package/dist/lib/utils/collections.d.ts.map +1 -0
  409. package/dist/lib/utils/collections.js +24 -0
  410. package/dist/lib/utils/collections.js.map +1 -0
  411. package/dist/lib/utils/default-map.d.ts +17 -0
  412. package/dist/lib/utils/default-map.d.ts.map +1 -0
  413. package/dist/lib/utils/default-map.js +33 -0
  414. package/dist/lib/utils/default-map.js.map +1 -0
  415. package/dist/lib/utils/lookup.d.ts +47 -0
  416. package/dist/lib/utils/lookup.d.ts.map +1 -0
  417. package/dist/lib/utils/lookup.js +62 -0
  418. package/dist/lib/utils/lookup.js.map +1 -0
  419. package/dist/lib/utils/position.d.ts +12 -0
  420. package/dist/lib/utils/position.d.ts.map +1 -0
  421. package/dist/lib/utils/position.js +13 -0
  422. package/dist/lib/utils/position.js.map +1 -0
  423. package/package.json +82 -0
  424. package/skills/proposit-core/SKILL.md +35 -0
  425. package/skills/proposit-core/docs/api-usage.md +442 -0
  426. package/skills/proposit-core/docs/architecture.md +256 -0
  427. package/skills/proposit-core/docs/cli.md +304 -0
  428. package/skills/proposit-core/docs/testing.md +281 -0
  429. package/skills/proposit-core/docs/types-schemas.md +648 -0
@@ -0,0 +1,3 @@
1
+ import { Command } from "commander";
2
+ export declare function registerAnalysisCommands(versionedCmd: Command, argumentId: string, version: number): void;
3
+ //# sourceMappingURL=analysis.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAqBnC,wBAAgB,wBAAwB,CACpC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAuuBN"}
@@ -0,0 +1,504 @@
1
+ import { Command } from "commander";
2
+ import { hydrateEngine } from "../engine.js";
3
+ import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
4
+ import { analysisFileExists, deleteAnalysisFile, listAnalysisFiles, nextAnalysisFilename, readAnalysis, resolveAnalysisFilename, writeAnalysis, } from "../storage/analysis.js";
5
+ import { gradeEvaluation } from "../../lib/core/evaluation/grading.js";
6
+ import { listPremiseIds, readPremiseData } from "../storage/premises.js";
7
+ import { readVariables } from "../storage/variables.js";
8
+ export function registerAnalysisCommands(versionedCmd, argumentId, version) {
9
+ const analysis = versionedCmd
10
+ .command("analysis")
11
+ .description("Manage and run analyses");
12
+ analysis
13
+ .command("create [analysis_filename]")
14
+ .description("Create a new analysis file initialised with all variables")
15
+ .option("--default <value>", "Default value for all assignments (true, false, or unset)", "unset")
16
+ .option("--from <filename>", "Copy assignments and operator states from an existing analysis file")
17
+ .action(async (filenameArg, opts) => {
18
+ const filename = filenameArg
19
+ ? await resolveAnalysisFilename(filenameArg, argumentId, version)
20
+ : await nextAnalysisFilename(argumentId, version);
21
+ if (await analysisFileExists(argumentId, version, filename)) {
22
+ errorExit(`Analysis file "${filename}" already exists.`);
23
+ }
24
+ if (opts.from) {
25
+ const sourceFile = await resolveAnalysisFilename(opts.from, argumentId, version);
26
+ if (!(await analysisFileExists(argumentId, version, sourceFile))) {
27
+ errorExit(`Source analysis file "${sourceFile}" does not exist.`);
28
+ }
29
+ const source = await readAnalysis(argumentId, version, sourceFile);
30
+ await writeAnalysis(argumentId, version, filename, {
31
+ argumentId,
32
+ argumentVersion: version,
33
+ assignments: { ...source.assignments },
34
+ operatorAssignments: { ...source.operatorAssignments },
35
+ });
36
+ printLine(filename);
37
+ return;
38
+ }
39
+ if (!["true", "false", "unset"].includes(opts.default)) {
40
+ errorExit(`Default must be "true", "false", or "unset", got "${opts.default}".`);
41
+ }
42
+ const defaultValue = opts.default === "true"
43
+ ? true
44
+ : opts.default === "false"
45
+ ? false
46
+ : null;
47
+ const variables = await readVariables(argumentId, version);
48
+ const assignments = {};
49
+ for (const v of variables) {
50
+ assignments[v.symbol] = defaultValue;
51
+ }
52
+ await writeAnalysis(argumentId, version, filename, {
53
+ argumentId,
54
+ argumentVersion: version,
55
+ assignments,
56
+ operatorAssignments: {},
57
+ });
58
+ printLine(filename);
59
+ });
60
+ analysis
61
+ .command("list")
62
+ .description("List analysis files in this argument version")
63
+ .option("--json", "Output as JSON")
64
+ .action(async (opts) => {
65
+ const files = await listAnalysisFiles(argumentId, version);
66
+ if (opts.json) {
67
+ printJson(files);
68
+ }
69
+ else {
70
+ for (const f of files)
71
+ printLine(f);
72
+ }
73
+ });
74
+ analysis
75
+ .command("show")
76
+ .description("Show variable assignments in an analysis file")
77
+ .option("--file <filename>", "Analysis filename (default: latest)")
78
+ .option("--json", "Output as JSON")
79
+ .action(async (opts) => {
80
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
81
+ const data = await readAnalysis(argumentId, version, filename);
82
+ if (opts.json) {
83
+ printJson(data);
84
+ }
85
+ else {
86
+ const sorted = Object.entries(data.assignments).sort(([a], [b]) => a.localeCompare(b));
87
+ for (const [symbol, value] of sorted) {
88
+ printLine(`${symbol} = ${value ?? "unset"}`);
89
+ }
90
+ const opEntries = Object.entries(data.operatorAssignments);
91
+ if (opEntries.length > 0) {
92
+ printLine("");
93
+ printLine("Operator assignments:");
94
+ for (const [id, state] of opEntries) {
95
+ printLine(` ${id} = ${state}`);
96
+ }
97
+ }
98
+ }
99
+ });
100
+ analysis
101
+ .command("set <variable_symbol> <value>")
102
+ .description("Update a single variable assignment (value: true, false, or unset)")
103
+ .option("--file <filename>", "Analysis filename (default: latest)")
104
+ .action(async (symbol, valueArg, opts) => {
105
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
106
+ if (!(await analysisFileExists(argumentId, version, filename))) {
107
+ errorExit(`Analysis file "${filename}" does not exist.`);
108
+ }
109
+ const variables = await readVariables(argumentId, version);
110
+ if (!variables.some((v) => v.symbol === symbol)) {
111
+ errorExit(`Variable symbol "${symbol}" is not defined in this argument version.`);
112
+ }
113
+ const parsedValue = valueArg === "true"
114
+ ? true
115
+ : valueArg === "false"
116
+ ? false
117
+ : valueArg === "unset"
118
+ ? null
119
+ : errorExit(`Value must be "true", "false", or "unset", got "${valueArg}".`);
120
+ const data = await readAnalysis(argumentId, version, filename);
121
+ data.assignments[symbol] = parsedValue;
122
+ await writeAnalysis(argumentId, version, filename, data);
123
+ printLine("success");
124
+ });
125
+ analysis
126
+ .command("reset")
127
+ .description("Reset all assignments in an analysis file to one value")
128
+ .option("--file <filename>", "Analysis filename (default: latest)")
129
+ .option("--value <value>", "Value to reset to (default: unset)", "unset")
130
+ .action(async (opts) => {
131
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
132
+ if (!["true", "false", "unset"].includes(opts.value)) {
133
+ errorExit(`Value must be "true", "false", or "unset", got "${opts.value}".`);
134
+ }
135
+ const resetValue = opts.value === "true"
136
+ ? true
137
+ : opts.value === "false"
138
+ ? false
139
+ : null;
140
+ const data = await readAnalysis(argumentId, version, filename);
141
+ for (const symbol of Object.keys(data.assignments)) {
142
+ data.assignments[symbol] = resetValue;
143
+ }
144
+ await writeAnalysis(argumentId, version, filename, data);
145
+ printLine("success");
146
+ });
147
+ analysis
148
+ .command("set-operator <operator_expression_id> <state>")
149
+ .description("Set an operator's state (accepted, rejected, or unset)")
150
+ .option("--file <filename>", "Analysis filename (default: latest)")
151
+ .action(async (operatorExpressionId, state, opts) => {
152
+ if (!["accepted", "rejected", "unset"].includes(state)) {
153
+ errorExit(`State must be "accepted", "rejected", or "unset", got "${state}".`);
154
+ }
155
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
156
+ if (!(await analysisFileExists(argumentId, version, filename))) {
157
+ errorExit(`Analysis file "${filename}" does not exist.`);
158
+ }
159
+ const data = await readAnalysis(argumentId, version, filename);
160
+ if (state === "unset") {
161
+ delete data.operatorAssignments[operatorExpressionId];
162
+ }
163
+ else {
164
+ data.operatorAssignments[operatorExpressionId] = state;
165
+ }
166
+ await writeAnalysis(argumentId, version, filename, data);
167
+ printLine("success");
168
+ });
169
+ analysis
170
+ .command("set-all-operators <state>")
171
+ .description("Set all operator expressions to a state (accepted, rejected, or unset)")
172
+ .option("--file <filename>", "Analysis filename (default: latest)")
173
+ .action(async (state, opts) => {
174
+ if (!["accepted", "rejected", "unset"].includes(state)) {
175
+ errorExit(`State must be "accepted", "rejected", or "unset", got "${state}".`);
176
+ }
177
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
178
+ if (!(await analysisFileExists(argumentId, version, filename))) {
179
+ errorExit(`Analysis file "${filename}" does not exist.`);
180
+ }
181
+ const data = await readAnalysis(argumentId, version, filename);
182
+ if (state === "unset") {
183
+ data.operatorAssignments = {};
184
+ }
185
+ else {
186
+ const premiseIds = await listPremiseIds(argumentId, version);
187
+ for (const pid of premiseIds) {
188
+ const premiseData = await readPremiseData(argumentId, version, pid);
189
+ for (const expr of premiseData.expressions) {
190
+ if (expr.type === "operator") {
191
+ data.operatorAssignments[expr.id] = state;
192
+ }
193
+ }
194
+ }
195
+ }
196
+ await writeAnalysis(argumentId, version, filename, data);
197
+ const count = Object.keys(data.operatorAssignments).length;
198
+ printLine(state === "unset"
199
+ ? "All operator assignments cleared"
200
+ : `${count} operator(s) set to ${state}`);
201
+ });
202
+ analysis
203
+ .command("validate-assignments")
204
+ .description("Validate an analysis file against the argument version")
205
+ .option("--file <filename>", "Analysis filename (default: latest)")
206
+ .option("--json", "Output as JSON")
207
+ .action(async (opts) => {
208
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
209
+ const [data, variables] = await Promise.all([
210
+ readAnalysis(argumentId, version, filename),
211
+ readVariables(argumentId, version),
212
+ ]);
213
+ const issues = [];
214
+ if (data.argumentId !== argumentId) {
215
+ issues.push({
216
+ code: "ARGUMENT_ID_MISMATCH",
217
+ message: `File argumentId "${data.argumentId}" does not match "${argumentId}".`,
218
+ });
219
+ }
220
+ if (data.argumentVersion !== version) {
221
+ issues.push({
222
+ code: "ARGUMENT_VERSION_MISMATCH",
223
+ message: `File argumentVersion ${data.argumentVersion} does not match ${version}.`,
224
+ });
225
+ }
226
+ const knownSymbols = new Set(variables.map((v) => v.symbol));
227
+ const fileSymbols = new Set(Object.keys(data.assignments));
228
+ for (const sym of knownSymbols) {
229
+ if (!fileSymbols.has(sym)) {
230
+ issues.push({
231
+ code: "MISSING_SYMBOL",
232
+ message: `Variable symbol "${sym}" is missing from assignments.`,
233
+ });
234
+ }
235
+ }
236
+ for (const sym of fileSymbols) {
237
+ if (!knownSymbols.has(sym)) {
238
+ issues.push({
239
+ code: "UNKNOWN_SYMBOL",
240
+ message: `Assignment symbol "${sym}" is not defined in this argument version.`,
241
+ });
242
+ }
243
+ }
244
+ // Validate operator assignment IDs
245
+ const opAssignmentIds = Object.keys(data.operatorAssignments);
246
+ if (opAssignmentIds.length > 0) {
247
+ const engine = await hydrateEngine(argumentId, version);
248
+ const allExpressionIds = new Set(engine
249
+ .listPremises()
250
+ .flatMap((pm) => pm.getExpressions().map((e) => e.id)));
251
+ for (const id of opAssignmentIds) {
252
+ if (!allExpressionIds.has(id)) {
253
+ issues.push({
254
+ code: "UNKNOWN_OPERATOR_ASSIGNMENT",
255
+ message: `Operator assignment ID "${id}" does not exist in any premise.`,
256
+ });
257
+ }
258
+ }
259
+ }
260
+ const ok = issues.length === 0;
261
+ if (opts.json) {
262
+ printJson({ ok, issues });
263
+ }
264
+ else {
265
+ printLine(ok ? "ok" : "invalid");
266
+ for (const issue of issues) {
267
+ printLine(`${issue.code}: ${issue.message}`);
268
+ }
269
+ }
270
+ });
271
+ analysis
272
+ .command("delete")
273
+ .description("Delete an analysis file")
274
+ .option("--file <filename>", "Analysis filename (default: latest)")
275
+ .option("--confirm", "Skip confirmation prompt")
276
+ .action(async (opts) => {
277
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
278
+ if (!(await analysisFileExists(argumentId, version, filename))) {
279
+ errorExit(`Analysis file "${filename}" does not exist.`);
280
+ }
281
+ if (!opts.confirm) {
282
+ await requireConfirmation(`Delete analysis file "${filename}"?`);
283
+ }
284
+ await deleteAnalysisFile(argumentId, version, filename);
285
+ printLine("success");
286
+ });
287
+ analysis
288
+ .command("evaluate")
289
+ .description("Evaluate the argument using assignments from an analysis file")
290
+ .option("--file <filename>", "Analysis filename (default: latest)")
291
+ .option("--strict-unknown-assignment-keys", "Reject extra assignment keys")
292
+ .option("--no-expression-values", "Omit per-expression truth values")
293
+ .option("--no-diagnostics", "Omit inference diagnostics")
294
+ .option("--no-validate-first", "Skip evaluability validation")
295
+ .option("--skip-analysis-file-validation", "Skip analysis file validation")
296
+ .option("--json", "Output as JSON")
297
+ .action(async (opts) => {
298
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
299
+ const [analysisData, variables] = await Promise.all([
300
+ readAnalysis(argumentId, version, filename),
301
+ readVariables(argumentId, version),
302
+ ]);
303
+ // Validate analysis file unless skipped
304
+ if (!opts.skipAnalysisFileValidation) {
305
+ const knownSymbols = new Set(variables.map((v) => v.symbol));
306
+ const fileSymbols = Object.keys(analysisData.assignments);
307
+ const missing = fileSymbols.filter((s) => !knownSymbols.has(s));
308
+ const extra = Array.from(knownSymbols).filter((s) => !analysisData.assignments.hasOwnProperty(s));
309
+ if (analysisData.argumentId !== argumentId ||
310
+ analysisData.argumentVersion !== version ||
311
+ missing.length > 0 ||
312
+ extra.length > 0) {
313
+ errorExit("Analysis file validation failed. Use --skip-analysis-file-validation to bypass or run validate-assignments for details.");
314
+ }
315
+ }
316
+ // Build symbol-to-ID map and resolve assignment
317
+ const symbolToId = new Map(variables.map((v) => [v.symbol, v.id]));
318
+ const variableAssignment = {};
319
+ for (const [sym, val] of Object.entries(analysisData.assignments)) {
320
+ const id = symbolToId.get(sym);
321
+ if (id !== undefined)
322
+ variableAssignment[id] = val;
323
+ }
324
+ const engine = await hydrateEngine(argumentId, version);
325
+ const result = engine.evaluate({
326
+ variables: variableAssignment,
327
+ operatorAssignments: {
328
+ ...analysisData.operatorAssignments,
329
+ },
330
+ }, {
331
+ strictUnknownAssignmentKeys: opts.strictUnknownAssignmentKeys ?? false,
332
+ includeExpressionValues: !opts.noExpressionValues,
333
+ includeDiagnostics: !opts.noDiagnostics,
334
+ validateFirst: !opts.noValidateFirst,
335
+ });
336
+ if (opts.json) {
337
+ printJson({
338
+ ...result,
339
+ grading: gradeEvaluation(result),
340
+ });
341
+ return;
342
+ }
343
+ if (!result.ok) {
344
+ printLine("Evaluation failed:");
345
+ for (const issue of result.validation?.issues ?? []) {
346
+ printLine(` ${issue.severity} ${issue.code}: ${issue.message}`);
347
+ }
348
+ return;
349
+ }
350
+ const grading = gradeEvaluation(result);
351
+ printLine(`grade: ${grading.label}`);
352
+ printLine(`admissible: ${result.isAdmissibleAssignment}`);
353
+ printLine(`all supporting: ${result.allSupportingPremisesTrue}`);
354
+ printLine(`conclusion true: ${result.conclusionTrue}`);
355
+ printLine(`counterexample: ${result.isCounterexample}`);
356
+ });
357
+ analysis
358
+ .command("check-validity")
359
+ .description("Run truth-table validity checking")
360
+ .option("--mode <mode>", "first-counterexample or exhaustive", "first-counterexample")
361
+ .option("--max-variables <n>", "Maximum number of variables")
362
+ .option("--max-assignments-checked <n>", "Maximum assignments to check")
363
+ .option("--include-counterexample-evaluations", "Include full evaluation payloads for counterexamples")
364
+ .option("--no-validate-first", "Skip evaluability validation")
365
+ .option("--json", "Output as JSON")
366
+ .action(async (opts) => {
367
+ const engine = await hydrateEngine(argumentId, version);
368
+ const result = engine.checkValidity({
369
+ mode: opts.mode === "exhaustive"
370
+ ? "exhaustive"
371
+ : "firstCounterexample",
372
+ maxVariables: opts.maxVariables !== undefined
373
+ ? Number(opts.maxVariables)
374
+ : undefined,
375
+ maxAssignmentsChecked: opts.maxAssignmentsChecked !== undefined
376
+ ? Number(opts.maxAssignmentsChecked)
377
+ : undefined,
378
+ includeCounterexampleEvaluations: opts.includeCounterexampleEvaluations ?? false,
379
+ validateFirst: !opts.noValidateFirst,
380
+ });
381
+ if (opts.json) {
382
+ printJson(result);
383
+ return;
384
+ }
385
+ if (!result.ok) {
386
+ printLine("Validity check failed:");
387
+ for (const issue of result.validation?.issues ?? []) {
388
+ printLine(` ${issue.severity} ${issue.code}: ${issue.message}`);
389
+ }
390
+ return;
391
+ }
392
+ const validity = result.isValid === true
393
+ ? "valid"
394
+ : result.isValid === false
395
+ ? "invalid"
396
+ : "unknown (truncated)";
397
+ printLine(`isValid: ${validity}`);
398
+ printLine(`truncated: ${result.truncated}`);
399
+ printLine(`assignments checked: ${result.numAssignmentsChecked}`);
400
+ printLine(`admissible: ${result.numAdmissibleAssignments}`);
401
+ printLine(`counterexamples: ${result.counterexamples?.length ?? 0}`);
402
+ if ((result.counterexamples?.length ?? 0) > 0) {
403
+ printLine("counterexample assignments:");
404
+ for (const ce of result.counterexamples) {
405
+ printLine(" " + JSON.stringify(ce.assignment));
406
+ }
407
+ }
408
+ });
409
+ analysis
410
+ .command("validate-argument")
411
+ .description("Validate the argument structure for evaluability")
412
+ .option("--json", "Output as JSON")
413
+ .action(async (opts) => {
414
+ const engine = await hydrateEngine(argumentId, version);
415
+ const result = engine.validateEvaluability();
416
+ if (opts.json) {
417
+ printJson(result);
418
+ return;
419
+ }
420
+ printLine(result.ok ? "ok" : "invalid");
421
+ for (const issue of result.issues) {
422
+ printLine(`${issue.severity} ${issue.code}: ${issue.message}`);
423
+ }
424
+ });
425
+ analysis
426
+ .command("refs")
427
+ .description("Show variables referenced across all premises")
428
+ .option("--json", "Output as JSON")
429
+ .action(async (opts) => {
430
+ const engine = await hydrateEngine(argumentId, version);
431
+ const refs = engine.collectReferencedVariables();
432
+ if (opts.json) {
433
+ printJson(refs);
434
+ return;
435
+ }
436
+ for (const variableId of refs.variableIds) {
437
+ const info = refs.byId[variableId];
438
+ printLine(`${variableId} | ${info.symbol} | premises: [${info.premiseIds.join(", ")}]`);
439
+ }
440
+ });
441
+ analysis
442
+ .command("operators")
443
+ .description("List all operator expressions across all premises")
444
+ .option("--json", "Output as JSON")
445
+ .option("--file <filename>", "Show operator states from an analysis file")
446
+ .action(async (opts) => {
447
+ const engine = await hydrateEngine(argumentId, version);
448
+ const premises = engine.listPremises();
449
+ const operators = [];
450
+ for (const pm of premises) {
451
+ const premiseId = pm.getId();
452
+ const formula = pm.toDisplayString() || "(empty)";
453
+ for (const expr of pm.getExpressions()) {
454
+ if (expr.type === "operator") {
455
+ operators.push({
456
+ expressionId: expr.id,
457
+ operator: expr.operator,
458
+ premiseId,
459
+ formula,
460
+ });
461
+ }
462
+ }
463
+ }
464
+ let opAssignments = {};
465
+ if (opts.file) {
466
+ const filename = await resolveAnalysisFilename(opts.file, argumentId, version);
467
+ if (await analysisFileExists(argumentId, version, filename)) {
468
+ const analysisData = await readAnalysis(argumentId, version, filename);
469
+ opAssignments = analysisData.operatorAssignments;
470
+ }
471
+ }
472
+ if (opts.json) {
473
+ printJson(operators.map((op) => ({
474
+ ...op,
475
+ state: opAssignments[op.expressionId] ?? "unset",
476
+ })));
477
+ return;
478
+ }
479
+ if (operators.length === 0) {
480
+ printLine("No operator expressions found.");
481
+ return;
482
+ }
483
+ let currentPremise = "";
484
+ for (const op of operators) {
485
+ if (op.premiseId !== currentPremise) {
486
+ if (currentPremise !== "")
487
+ printLine("");
488
+ currentPremise = op.premiseId;
489
+ printLine(`Premise ${op.premiseId}: ${op.formula}`);
490
+ }
491
+ const state = opAssignments[op.expressionId] ?? "unset";
492
+ printLine(` ${op.expressionId} | ${op.operator} | ${state}`);
493
+ }
494
+ });
495
+ analysis
496
+ .command("export")
497
+ .description("Export the full argument engine state snapshot")
498
+ .option("--json", "Output as JSON")
499
+ .action(async (_opts) => {
500
+ const engine = await hydrateEngine(argumentId, version);
501
+ printJson(engine.snapshot());
502
+ });
503
+ }
504
+ //# sourceMappingURL=analysis.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/commands/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,kBAAkB,EAClB,kBAAkB,EAClB,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,uBAAuB,EACvB,aAAa,GAChB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAA;AACtE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,MAAM,UAAU,wBAAwB,CACpC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,yBAAyB,CAAC,CAAA;IAE3C,QAAQ;SACH,OAAO,CAAC,4BAA4B,CAAC;SACrC,WAAW,CACR,2DAA2D,CAC9D;SACA,MAAM,CACH,mBAAmB,EACnB,2DAA2D,EAC3D,OAAO,CACV;SACA,MAAM,CACH,mBAAmB,EACnB,qEAAqE,CACxE;SACA,MAAM,CACH,KAAK,EACD,WAA+B,EAC/B,IAAwC,EAC1C,EAAE;QACA,MAAM,QAAQ,GAAG,WAAW;YACxB,CAAC,CAAC,MAAM,uBAAuB,CACzB,WAAW,EACX,UAAU,EACV,OAAO,CACV;YACH,CAAC,CAAC,MAAM,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACrD,IAAI,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAC5C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;YACD,IACI,CAAC,CAAC,MAAM,kBAAkB,CACtB,UAAU,EACV,OAAO,EACP,UAAU,CACb,CAAC,EACJ,CAAC;gBACC,SAAS,CACL,yBAAyB,UAAU,mBAAmB,CACzD,CAAA;YACL,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,YAAY,CAC7B,UAAU,EACV,OAAO,EACP,UAAU,CACb,CAAA;YACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC/C,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,WAAW,EAAE,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE;gBACtC,mBAAmB,EAAE,EAAE,GAAG,MAAM,CAAC,mBAAmB,EAAE;aACzD,CAAC,CAAA;YACF,SAAS,CAAC,QAAQ,CAAC,CAAA;YACnB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACrD,SAAS,CACL,qDAAqD,IAAI,CAAC,OAAO,IAAI,CACxE,CAAA;QACL,CAAC;QACD,MAAM,YAAY,GACd,IAAI,CAAC,OAAO,KAAK,MAAM;YACnB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,MAAM,WAAW,GAAmC,EAAE,CAAA;QACtD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,YAAY,CAAA;QACxC,CAAC;QAED,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC/C,UAAU;YACV,eAAe,EAAE,OAAO;YACxB,WAAW;YACX,mBAAmB,EAAE,EAAE;SAC1B,CAAC,CAAA;QACF,SAAS,CAAC,QAAQ,CAAC,CAAA;IACvB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,8CAA8C,CAAC;SAC3D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,SAAS,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnC,CAAA;YACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,MAAM,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAC1D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,SAAS,CAAC,EAAE,CAAC,CAAA;gBACb,SAAS,CAAC,uBAAuB,CAAC,CAAA;gBAClC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;oBAClC,SAAS,CAAC,KAAK,EAAE,MAAM,KAAK,EAAE,CAAC,CAAA;gBACnC,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+BAA+B,CAAC;SACxC,WAAW,CACR,oEAAoE,CACvE;SACA,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CACH,KAAK,EACD,MAAc,EACd,QAAgB,EAChB,IAAuB,EACzB,EAAE;QACA,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;YACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YAC9C,SAAS,CACL,oBAAoB,MAAM,4CAA4C,CACzE,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GACb,QAAQ,KAAK,MAAM;YACf,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,QAAQ,KAAK,OAAO;gBACpB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,QAAQ,KAAK,OAAO;oBACpB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,SAAS,CACL,mDAAmD,QAAQ,IAAI,CAClE,CAAA;QAEf,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,WAAW,CAAA;QACtC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CACH,iBAAiB,EACjB,oCAAoC,EACpC,OAAO,CACV;SACA,MAAM,CAAC,KAAK,EAAE,IAAsC,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,SAAS,CACL,mDAAmD,IAAI,CAAC,KAAK,IAAI,CACpE,CAAA;QACL,CAAC;QACD,MAAM,UAAU,GACZ,IAAI,CAAC,KAAK,KAAK,MAAM;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO;gBACtB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAA;QAChB,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,UAAU,CAAA;QACzC,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+CAA+C,CAAC;SACxD,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CACH,KAAK,EACD,oBAA4B,EAC5B,KAAa,EACb,IAAuB,EACzB,EAAE;QACA,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,SAAS,CACL,0DAA0D,KAAK,IAAI,CACtE,CAAA;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;YACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAA;QACzD,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,GAAG,KAEjC,CAAA;QACpB,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,2BAA2B,CAAC;SACpC,WAAW,CACR,wEAAwE,CAC3E;SACA,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CAAC,KAAK,EAAE,KAAa,EAAE,IAAuB,EAAE,EAAE;QACrD,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,SAAS,CACL,0DAA0D,KAAK,IAAI,CACtE,CAAA;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACpB,IAAI,CAAC,mBAAmB,GAAG,EAAE,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YAC5D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC3B,MAAM,WAAW,GAAG,MAAM,eAAe,CACrC,UAAU,EACV,OAAO,EACP,GAAG,CACN,CAAA;gBACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC3B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAEpB,CAAA;oBACpB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,MAAM,CAAA;QAC1D,SAAS,CACL,KAAK,KAAK,OAAO;YACb,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,GAAG,KAAK,uBAAuB,KAAK,EAAE,CAC/C,CAAA;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,MAAM,MAAM,GAAwC,EAAE,CAAA;QAEtD,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,oBAAoB,IAAI,CAAC,UAAU,qBAAqB,UAAU,IAAI;aAClF,CAAC,CAAA;QACN,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,wBAAwB,IAAI,CAAC,eAAe,mBAAmB,OAAO,GAAG;aACrF,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QAE1D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,oBAAoB,GAAG,gCAAgC;iBACnE,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,sBAAsB,GAAG,4CAA4C;iBACjF,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QAC7D,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YACvD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,MAAM;iBACD,YAAY,EAAE;iBACd,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7D,CAAA;YACD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;gBAC/B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,6BAA6B;wBACnC,OAAO,EAAE,2BAA2B,EAAE,kCAAkC;qBAC3E,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAA;QAE9B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBACzB,SAAS,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7D,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;QAC5D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,yBAAyB,QAAQ,IAAI,CAAC,CAAA;QACpE,CAAC;QACD,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QACvD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CACR,+DAA+D,CAClE;SACA,MAAM,CAAC,mBAAmB,EAAE,qCAAqC,CAAC;SAClE,MAAM,CACH,kCAAkC,EAClC,8BAA8B,CACjC;SACA,MAAM,CAAC,wBAAwB,EAAE,kCAAkC,CAAC;SACpE,MAAM,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;SACxD,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CACH,iCAAiC,EACjC,+BAA+B,CAClC;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAQN,EAAE,EAAE;QACD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;QACD,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;SACrC,CAAC,CAAA;QAEF,wCAAwC;QACxC,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;YAC5D,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;YACzD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAA;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CACrD,CAAA;YACD,IACI,YAAY,CAAC,UAAU,KAAK,UAAU;gBACtC,YAAY,CAAC,eAAe,KAAK,OAAO;gBACxC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClB,KAAK,CAAC,MAAM,GAAG,CAAC,EAClB,CAAC;gBACC,SAAS,CACL,yHAAyH,CAC5H,CAAA;YACL,CAAC;QACL,CAAC;QAED,gDAAgD;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CACzC,CAAA;QACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;QAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;YACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,EAAE,KAAK,SAAS;gBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;YACI,SAAS,EAAE,kBAAkB;YAC7B,mBAAmB,EAAE;gBACjB,GAAG,YAAY,CAAC,mBAAmB;aACtC;SACJ,EACD;YACI,2BAA2B,EACvB,IAAI,CAAC,2BAA2B,IAAI,KAAK;YAC7C,uBAAuB,EAAE,CAAC,IAAI,CAAC,kBAAkB;YACjD,kBAAkB,EAAE,CAAC,IAAI,CAAC,aAAa;YACvC,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CACJ,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC;gBACN,GAAG,MAAM;gBACT,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;aACnC,CAAC,CAAA;YACF,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,oBAAoB,CAAC,CAAA;YAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;QACvC,SAAS,CAAC,sBAAsB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;QAChD,SAAS,CAAC,sBAAsB,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAA;QAChE,SAAS,CACL,sBAAsB,MAAM,CAAC,yBAAyB,EAAE,CAC3D,CAAA;QACD,SAAS,CAAC,sBAAsB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;QACxD,SAAS,CAAC,sBAAsB,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAA;IAC9D,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CACH,eAAe,EACf,oCAAoC,EACpC,sBAAsB,CACzB;SACA,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;SAC5D,MAAM,CAAC,+BAA+B,EAAE,8BAA8B,CAAC;SACvE,MAAM,CACH,sCAAsC,EACtC,sDAAsD,CACzD;SACA,MAAM,CAAC,qBAAqB,EAAE,8BAA8B,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,KAAK,EAAE,IAON,EAAE,EAAE;QACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC;YAChC,IAAI,EACA,IAAI,CAAC,IAAI,KAAK,YAAY;gBACtB,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,qBAAqB;YAC/B,YAAY,EACR,IAAI,CAAC,YAAY,KAAK,SAAS;gBAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC3B,CAAC,CAAC,SAAS;YACnB,qBAAqB,EACjB,IAAI,CAAC,qBAAqB,KAAK,SAAS;gBACpC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC;gBACpC,CAAC,CAAC,SAAS;YACnB,gCAAgC,EAC5B,IAAI,CAAC,gCAAgC,IAAI,KAAK;YAClD,aAAa,EAAE,CAAC,IAAI,CAAC,eAAe;SACvC,CAAC,CAAA;QAEF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,SAAS,CAAC,wBAAwB,CAAC,CAAA;YACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;gBAClD,SAAS,CACL,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CACxD,CAAA;YACL,CAAC;YACD,OAAM;QACV,CAAC;QAED,MAAM,QAAQ,GACV,MAAM,CAAC,OAAO,KAAK,IAAI;YACnB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,qBAAqB,CAAA;QAEjC,SAAS,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAA;QAC9C,SAAS,CAAC,yBAAyB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAA;QACtD,SAAS,CACL,yBAAyB,MAAM,CAAC,qBAAqB,EAAE,CAC1D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,wBAAwB,EAAE,CAC7D,CAAA;QACD,SAAS,CACL,yBAAyB,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,EAAE,CACjE,CAAA;QAED,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,SAAS,CAAC,6BAA6B,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,eAAgB,EAAE,CAAC;gBACvC,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;YACnD,CAAC;QACL,CAAC;IACL,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,kDAAkD,CAAC;SAC/D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;QAE5C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,SAAS,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAClE,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,0BAA0B,EAAE,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;YACf,OAAM;QACV,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAClC,SAAS,CACL,GAAG,UAAU,MAAM,IAAI,CAAC,MAAM,iBAAiB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC/E,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CACH,mBAAmB,EACnB,4CAA4C,CAC/C;SACA,MAAM,CAAC,KAAK,EAAE,IAAuC,EAAE,EAAE;QACtD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACtC,MAAM,SAAS,GAKT,EAAE,CAAA;QAER,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YACxB,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;YAC5B,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;YACjD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,SAAS,CAAC,IAAI,CAAC;wBACX,YAAY,EAAE,IAAI,CAAC,EAAE;wBACrB,QAAQ,EACJ,IACH,CAAC,QAAQ;wBACV,SAAS;wBACT,OAAO;qBACV,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,aAAa,GAA2B,EAAE,CAAA;QAC9C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,OAAO,CACV,CAAA;YACD,IAAI,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC1D,MAAM,YAAY,GAAG,MAAM,YAAY,CACnC,UAAU,EACV,OAAO,EACP,QAAQ,CACX,CAAA;gBACD,aAAa,GAAG,YAAY,CAAC,mBAAmB,CAAA;YACpD,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACnB,GAAG,EAAE;gBACL,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,OAAO;aACnD,CAAC,CAAC,CACN,CAAA;YACD,OAAM;QACV,CAAC;QAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,gCAAgC,CAAC,CAAA;YAC3C,OAAM;QACV,CAAC;QAED,IAAI,cAAc,GAAG,EAAE,CAAA;QACvB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YACzB,IAAI,EAAE,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;gBAClC,IAAI,cAAc,KAAK,EAAE;oBAAE,SAAS,CAAC,EAAE,CAAC,CAAA;gBACxC,cAAc,GAAG,EAAE,CAAC,SAAS,CAAA;gBAC7B,SAAS,CAAC,WAAW,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,OAAO,CAAA;YACvD,SAAS,CAAC,KAAK,EAAE,CAAC,YAAY,MAAM,EAAE,CAAC,QAAQ,MAAM,KAAK,EAAE,CAAC,CAAA;QACjE,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,KAAyB,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;AACV,CAAC"}
@@ -0,0 +1,3 @@
1
+ import { Command } from "commander";
2
+ export declare function registerArgumentCommands(program: Command): void;
3
+ //# sourceMappingURL=arguments.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAmCnC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA2N/D"}