@proposit/shared 0.1.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 (311) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +32 -0
  3. package/dist/api-client/argument/batch.d.ts +661 -0
  4. package/dist/api-client/argument/batch.d.ts.map +1 -0
  5. package/dist/api-client/argument/batch.js +14 -0
  6. package/dist/api-client/argument/batch.js.map +1 -0
  7. package/dist/api-client/argument/claims.d.ts +175 -0
  8. package/dist/api-client/argument/claims.d.ts.map +1 -0
  9. package/dist/api-client/argument/claims.js +20 -0
  10. package/dist/api-client/argument/claims.js.map +1 -0
  11. package/dist/api-client/argument/index.d.ts +1344 -0
  12. package/dist/api-client/argument/index.d.ts.map +1 -0
  13. package/dist/api-client/argument/index.js +62 -0
  14. package/dist/api-client/argument/index.js.map +1 -0
  15. package/dist/api-client/argument/logic/index.d.ts +861 -0
  16. package/dist/api-client/argument/logic/index.d.ts.map +1 -0
  17. package/dist/api-client/argument/logic/index.js +73 -0
  18. package/dist/api-client/argument/logic/index.js.map +1 -0
  19. package/dist/api-client/argument/logic/repair.d.ts +182 -0
  20. package/dist/api-client/argument/logic/repair.d.ts.map +1 -0
  21. package/dist/api-client/argument/logic/repair.js +9 -0
  22. package/dist/api-client/argument/logic/repair.js.map +1 -0
  23. package/dist/api-client/argument/reactions.d.ts +38 -0
  24. package/dist/api-client/argument/reactions.d.ts.map +1 -0
  25. package/dist/api-client/argument/reactions.js +9 -0
  26. package/dist/api-client/argument/reactions.js.map +1 -0
  27. package/dist/api-client/argument/reviews.d.ts +183 -0
  28. package/dist/api-client/argument/reviews.d.ts.map +1 -0
  29. package/dist/api-client/argument/reviews.js +21 -0
  30. package/dist/api-client/argument/reviews.js.map +1 -0
  31. package/dist/api-client/search.d.ts +64 -0
  32. package/dist/api-client/search.d.ts.map +1 -0
  33. package/dist/api-client/search.js +19 -0
  34. package/dist/api-client/search.js.map +1 -0
  35. package/dist/api-client/user/claims.d.ts +128 -0
  36. package/dist/api-client/user/claims.d.ts.map +1 -0
  37. package/dist/api-client/user/claims.js +10 -0
  38. package/dist/api-client/user/claims.js.map +1 -0
  39. package/dist/api-client/user/sources.d.ts +41 -0
  40. package/dist/api-client/user/sources.d.ts.map +1 -0
  41. package/dist/api-client/user/sources.js +7 -0
  42. package/dist/api-client/user/sources.js.map +1 -0
  43. package/dist/checksum.d.ts +2 -0
  44. package/dist/checksum.d.ts.map +1 -0
  45. package/dist/checksum.js +32 -0
  46. package/dist/checksum.js.map +1 -0
  47. package/dist/consts/argument.d.ts +9 -0
  48. package/dist/consts/argument.d.ts.map +1 -0
  49. package/dist/consts/argument.js +17 -0
  50. package/dist/consts/argument.js.map +1 -0
  51. package/dist/consts/identity.d.ts +3 -0
  52. package/dist/consts/identity.d.ts.map +1 -0
  53. package/dist/consts/identity.js +6 -0
  54. package/dist/consts/identity.js.map +1 -0
  55. package/dist/consts/index.d.ts +6 -0
  56. package/dist/consts/index.d.ts.map +1 -0
  57. package/dist/consts/index.js +6 -0
  58. package/dist/consts/index.js.map +1 -0
  59. package/dist/consts/roles.d.ts +27 -0
  60. package/dist/consts/roles.d.ts.map +1 -0
  61. package/dist/consts/roles.js +52 -0
  62. package/dist/consts/roles.js.map +1 -0
  63. package/dist/consts/task-status.d.ts +8 -0
  64. package/dist/consts/task-status.d.ts.map +1 -0
  65. package/dist/consts/task-status.js +14 -0
  66. package/dist/consts/task-status.js.map +1 -0
  67. package/dist/consts/user-tiers.d.ts +7 -0
  68. package/dist/consts/user-tiers.d.ts.map +1 -0
  69. package/dist/consts/user-tiers.js +60 -0
  70. package/dist/consts/user-tiers.js.map +1 -0
  71. package/dist/engine/engine.d.ts +94 -0
  72. package/dist/engine/engine.d.ts.map +1 -0
  73. package/dist/engine/engine.js +313 -0
  74. package/dist/engine/engine.js.map +1 -0
  75. package/dist/engine/library-adapters.d.ts +12 -0
  76. package/dist/engine/library-adapters.d.ts.map +1 -0
  77. package/dist/engine/library-adapters.js +11 -0
  78. package/dist/engine/library-adapters.js.map +1 -0
  79. package/dist/engine/mutations/claims.d.ts +10 -0
  80. package/dist/engine/mutations/claims.d.ts.map +1 -0
  81. package/dist/engine/mutations/claims.js +22 -0
  82. package/dist/engine/mutations/claims.js.map +1 -0
  83. package/dist/engine/mutations/expressions.d.ts +109 -0
  84. package/dist/engine/mutations/expressions.d.ts.map +1 -0
  85. package/dist/engine/mutations/expressions.js +277 -0
  86. package/dist/engine/mutations/expressions.js.map +1 -0
  87. package/dist/engine/mutations/index.d.ts +7 -0
  88. package/dist/engine/mutations/index.d.ts.map +1 -0
  89. package/dist/engine/mutations/index.js +6 -0
  90. package/dist/engine/mutations/index.js.map +1 -0
  91. package/dist/engine/mutations/premises.d.ts +25 -0
  92. package/dist/engine/mutations/premises.d.ts.map +1 -0
  93. package/dist/engine/mutations/premises.js +51 -0
  94. package/dist/engine/mutations/premises.js.map +1 -0
  95. package/dist/engine/mutations/types.d.ts +11 -0
  96. package/dist/engine/mutations/types.d.ts.map +1 -0
  97. package/dist/engine/mutations/types.js +2 -0
  98. package/dist/engine/mutations/types.js.map +1 -0
  99. package/dist/engine/mutations/variables.d.ts +27 -0
  100. package/dist/engine/mutations/variables.d.ts.map +1 -0
  101. package/dist/engine/mutations/variables.js +16 -0
  102. package/dist/engine/mutations/variables.js.map +1 -0
  103. package/dist/engine/optimistic/index.d.ts +4 -0
  104. package/dist/engine/optimistic/index.d.ts.map +1 -0
  105. package/dist/engine/optimistic/index.js +3 -0
  106. package/dist/engine/optimistic/index.js.map +1 -0
  107. package/dist/engine/optimistic/reconciliation.d.ts +32 -0
  108. package/dist/engine/optimistic/reconciliation.d.ts.map +1 -0
  109. package/dist/engine/optimistic/reconciliation.js +140 -0
  110. package/dist/engine/optimistic/reconciliation.js.map +1 -0
  111. package/dist/engine/optimistic/types.d.ts +25 -0
  112. package/dist/engine/optimistic/types.d.ts.map +1 -0
  113. package/dist/engine/optimistic/types.js +12 -0
  114. package/dist/engine/optimistic/types.js.map +1 -0
  115. package/dist/engine/optimistic/verification.d.ts +13 -0
  116. package/dist/engine/optimistic/verification.d.ts.map +1 -0
  117. package/dist/engine/optimistic/verification.js +71 -0
  118. package/dist/engine/optimistic/verification.js.map +1 -0
  119. package/dist/engine/review/evaluation.d.ts +27 -0
  120. package/dist/engine/review/evaluation.d.ts.map +1 -0
  121. package/dist/engine/review/evaluation.js +122 -0
  122. package/dist/engine/review/evaluation.js.map +1 -0
  123. package/dist/engine/review/fingerprint.d.ts +9 -0
  124. package/dist/engine/review/fingerprint.d.ts.map +1 -0
  125. package/dist/engine/review/fingerprint.js +27 -0
  126. package/dist/engine/review/fingerprint.js.map +1 -0
  127. package/dist/engine/review/overlay.d.ts +19 -0
  128. package/dist/engine/review/overlay.d.ts.map +1 -0
  129. package/dist/engine/review/overlay.js +81 -0
  130. package/dist/engine/review/overlay.js.map +1 -0
  131. package/dist/engine/review/reasons.d.ts +15 -0
  132. package/dist/engine/review/reasons.d.ts.map +1 -0
  133. package/dist/engine/review/reasons.js +211 -0
  134. package/dist/engine/review/reasons.js.map +1 -0
  135. package/dist/engine/review/review-engine.d.ts +134 -0
  136. package/dist/engine/review/review-engine.d.ts.map +1 -0
  137. package/dist/engine/review/review-engine.js +590 -0
  138. package/dist/engine/review/review-engine.js.map +1 -0
  139. package/dist/engine/review/review-store.d.ts +63 -0
  140. package/dist/engine/review/review-store.d.ts.map +1 -0
  141. package/dist/engine/review/review-store.js +174 -0
  142. package/dist/engine/review/review-store.js.map +1 -0
  143. package/dist/engine/review/step-queue.d.ts +27 -0
  144. package/dist/engine/review/step-queue.d.ts.map +1 -0
  145. package/dist/engine/review/step-queue.js +34 -0
  146. package/dist/engine/review/step-queue.js.map +1 -0
  147. package/dist/engine/review/types.d.ts +16 -0
  148. package/dist/engine/review/types.d.ts.map +1 -0
  149. package/dist/engine/review/types.js +2 -0
  150. package/dist/engine/review/types.js.map +1 -0
  151. package/dist/engine/review/wire.d.ts +8 -0
  152. package/dist/engine/review/wire.d.ts.map +1 -0
  153. package/dist/engine/review/wire.js +97 -0
  154. package/dist/engine/review/wire.js.map +1 -0
  155. package/dist/engine/text-tree.d.ts +35 -0
  156. package/dist/engine/text-tree.d.ts.map +1 -0
  157. package/dist/engine/text-tree.js +137 -0
  158. package/dist/engine/text-tree.js.map +1 -0
  159. package/dist/engine/types.d.ts +42 -0
  160. package/dist/engine/types.d.ts.map +1 -0
  161. package/dist/engine/types.js +2 -0
  162. package/dist/engine/types.js.map +1 -0
  163. package/dist/errors.d.ts +27 -0
  164. package/dist/errors.d.ts.map +1 -0
  165. package/dist/errors.js +61 -0
  166. package/dist/errors.js.map +1 -0
  167. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +281 -0
  168. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -0
  169. package/dist/schemas/api/argument/batch/change-edge-operator.js +19 -0
  170. package/dist/schemas/api/argument/batch/change-edge-operator.js.map +1 -0
  171. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +280 -0
  172. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -0
  173. package/dist/schemas/api/argument/batch/create-expression-with-operator.js +22 -0
  174. package/dist/schemas/api/argument/batch/create-expression-with-operator.js.map +1 -0
  175. package/dist/schemas/api/argument/batch/provision.d.ts +112 -0
  176. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -0
  177. package/dist/schemas/api/argument/batch/provision.js +10 -0
  178. package/dist/schemas/api/argument/batch/provision.js.map +1 -0
  179. package/dist/schemas/api/argument/build.d.ts +50 -0
  180. package/dist/schemas/api/argument/build.d.ts.map +1 -0
  181. package/dist/schemas/api/argument/build.js +41 -0
  182. package/dist/schemas/api/argument/build.js.map +1 -0
  183. package/dist/schemas/api/argument/claims.d.ts +151 -0
  184. package/dist/schemas/api/argument/claims.d.ts.map +1 -0
  185. package/dist/schemas/api/argument/claims.js +24 -0
  186. package/dist/schemas/api/argument/claims.js.map +1 -0
  187. package/dist/schemas/api/argument/index.d.ts +682 -0
  188. package/dist/schemas/api/argument/index.d.ts.map +1 -0
  189. package/dist/schemas/api/argument/index.js +51 -0
  190. package/dist/schemas/api/argument/index.js.map +1 -0
  191. package/dist/schemas/api/argument/logic.d.ts +205 -0
  192. package/dist/schemas/api/argument/logic.d.ts.map +1 -0
  193. package/dist/schemas/api/argument/logic.js +77 -0
  194. package/dist/schemas/api/argument/logic.js.map +1 -0
  195. package/dist/schemas/api/argument/repair.d.ts +195 -0
  196. package/dist/schemas/api/argument/repair.d.ts.map +1 -0
  197. package/dist/schemas/api/argument/repair.js +35 -0
  198. package/dist/schemas/api/argument/repair.js.map +1 -0
  199. package/dist/schemas/api/claims.d.ts +250 -0
  200. package/dist/schemas/api/claims.d.ts.map +1 -0
  201. package/dist/schemas/api/claims.js +20 -0
  202. package/dist/schemas/api/claims.js.map +1 -0
  203. package/dist/schemas/api/reaction/index.d.ts +46 -0
  204. package/dist/schemas/api/reaction/index.d.ts.map +1 -0
  205. package/dist/schemas/api/reaction/index.js +15 -0
  206. package/dist/schemas/api/reaction/index.js.map +1 -0
  207. package/dist/schemas/api/review/index.d.ts +164 -0
  208. package/dist/schemas/api/review/index.d.ts.map +1 -0
  209. package/dist/schemas/api/review/index.js +29 -0
  210. package/dist/schemas/api/review/index.js.map +1 -0
  211. package/dist/schemas/api/search.d.ts +109 -0
  212. package/dist/schemas/api/search.d.ts.map +1 -0
  213. package/dist/schemas/api/search.js +60 -0
  214. package/dist/schemas/api/search.js.map +1 -0
  215. package/dist/schemas/api/sources.d.ts +108 -0
  216. package/dist/schemas/api/sources.d.ts.map +1 -0
  217. package/dist/schemas/api/sources.js +28 -0
  218. package/dist/schemas/api/sources.js.map +1 -0
  219. package/dist/schemas/api/user/index.d.ts +16 -0
  220. package/dist/schemas/api/user/index.d.ts.map +1 -0
  221. package/dist/schemas/api/user/index.js +15 -0
  222. package/dist/schemas/api/user/index.js.map +1 -0
  223. package/dist/schemas/common.d.ts +50 -0
  224. package/dist/schemas/common.d.ts.map +1 -0
  225. package/dist/schemas/common.js +77 -0
  226. package/dist/schemas/common.js.map +1 -0
  227. package/dist/schemas/gpt.d.ts +10 -0
  228. package/dist/schemas/gpt.d.ts.map +1 -0
  229. package/dist/schemas/gpt.js +27 -0
  230. package/dist/schemas/gpt.js.map +1 -0
  231. package/dist/schemas/index.d.ts +8 -0
  232. package/dist/schemas/index.d.ts.map +1 -0
  233. package/dist/schemas/index.js +8 -0
  234. package/dist/schemas/index.js.map +1 -0
  235. package/dist/schemas/integrations/index.d.ts +159 -0
  236. package/dist/schemas/integrations/index.d.ts.map +1 -0
  237. package/dist/schemas/integrations/index.js +72 -0
  238. package/dist/schemas/integrations/index.js.map +1 -0
  239. package/dist/schemas/logic.d.ts +195 -0
  240. package/dist/schemas/logic.d.ts.map +1 -0
  241. package/dist/schemas/logic.js +77 -0
  242. package/dist/schemas/logic.js.map +1 -0
  243. package/dist/schemas/model/arguments.d.ts +457 -0
  244. package/dist/schemas/model/arguments.d.ts.map +1 -0
  245. package/dist/schemas/model/arguments.js +100 -0
  246. package/dist/schemas/model/arguments.js.map +1 -0
  247. package/dist/schemas/model/claims.d.ts +53 -0
  248. package/dist/schemas/model/claims.d.ts.map +1 -0
  249. package/dist/schemas/model/claims.js +40 -0
  250. package/dist/schemas/model/claims.js.map +1 -0
  251. package/dist/schemas/model/forks.d.ts +63 -0
  252. package/dist/schemas/model/forks.d.ts.map +1 -0
  253. package/dist/schemas/model/forks.js +63 -0
  254. package/dist/schemas/model/forks.js.map +1 -0
  255. package/dist/schemas/model/index.d.ts +6 -0
  256. package/dist/schemas/model/index.d.ts.map +1 -0
  257. package/dist/schemas/model/index.js +6 -0
  258. package/dist/schemas/model/index.js.map +1 -0
  259. package/dist/schemas/model/references.d.ts +49 -0
  260. package/dist/schemas/model/references.d.ts.map +1 -0
  261. package/dist/schemas/model/references.js +46 -0
  262. package/dist/schemas/model/references.js.map +1 -0
  263. package/dist/schemas/model/review.d.ts +56 -0
  264. package/dist/schemas/model/review.d.ts.map +1 -0
  265. package/dist/schemas/model/review.js +50 -0
  266. package/dist/schemas/model/review.js.map +1 -0
  267. package/dist/schemas/model/sources.d.ts +456 -0
  268. package/dist/schemas/model/sources.d.ts.map +1 -0
  269. package/dist/schemas/model/sources.js +27 -0
  270. package/dist/schemas/model/sources.js.map +1 -0
  271. package/dist/schemas/model/users.d.ts +150 -0
  272. package/dist/schemas/model/users.d.ts.map +1 -0
  273. package/dist/schemas/model/users.js +136 -0
  274. package/dist/schemas/model/users.js.map +1 -0
  275. package/dist/schemas/model.d.ts +2 -0
  276. package/dist/schemas/model.d.ts.map +1 -0
  277. package/dist/schemas/model.js +2 -0
  278. package/dist/schemas/model.js.map +1 -0
  279. package/dist/schemas/review.d.ts +1403 -0
  280. package/dist/schemas/review.d.ts.map +1 -0
  281. package/dist/schemas/review.js +232 -0
  282. package/dist/schemas/review.js.map +1 -0
  283. package/dist/schemas/snapshot.d.ts +165 -0
  284. package/dist/schemas/snapshot.d.ts.map +1 -0
  285. package/dist/schemas/snapshot.js +80 -0
  286. package/dist/schemas/snapshot.js.map +1 -0
  287. package/dist/schemas/tasks.d.ts +551 -0
  288. package/dist/schemas/tasks.d.ts.map +1 -0
  289. package/dist/schemas/tasks.js +113 -0
  290. package/dist/schemas/tasks.js.map +1 -0
  291. package/dist/utils/embedding-text.d.ts +15 -0
  292. package/dist/utils/embedding-text.d.ts.map +1 -0
  293. package/dist/utils/embedding-text.js +86 -0
  294. package/dist/utils/embedding-text.js.map +1 -0
  295. package/dist/utils/format-review-share.d.ts +7 -0
  296. package/dist/utils/format-review-share.d.ts.map +1 -0
  297. package/dist/utils/format-review-share.js +16 -0
  298. package/dist/utils/format-review-share.js.map +1 -0
  299. package/dist/utils/index.d.ts +4 -0
  300. package/dist/utils/index.d.ts.map +1 -0
  301. package/dist/utils/index.js +4 -0
  302. package/dist/utils/index.js.map +1 -0
  303. package/dist/utils/tasks/utils.d.ts +4 -0
  304. package/dist/utils/tasks/utils.d.ts.map +1 -0
  305. package/dist/utils/tasks/utils.js +12 -0
  306. package/dist/utils/tasks/utils.js.map +1 -0
  307. package/dist/utils/utils.d.ts +25 -0
  308. package/dist/utils/utils.d.ts.map +1 -0
  309. package/dist/utils/utils.js +115 -0
  310. package/dist/utils/utils.js.map +1 -0
  311. package/package.json +128 -0
package/dist/schemas/review.d.ts ADDED
@@ -0,0 +1,1403 @@
1
+ import { Type, type Static } from "typebox";
2
+ export declare const TrivalentValueSchema: Type.TUnion<[Type.TBoolean, Type.TNull]>;
3
+ export type TTrivalentValue = Static<typeof TrivalentValueSchema>;
4
+ export declare const ClaimTrueReasonCodeSchema: Type.TUnion<[Type.TLiteral<"common-knowledge">, Type.TLiteral<"well-supported-by-sources">, Type.TLiteral<"definitionally-true">, Type.TLiteral<"expert-consensus">, Type.TLiteral<"empirically-verified">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-necessary">]>;
5
+ export declare const ClaimFalseReasonCodeSchema: Type.TUnion<[Type.TLiteral<"factually-incorrect">, Type.TLiteral<"contradicts-expert-consensus">, Type.TLiteral<"hyperbole">, Type.TLiteral<"proven-false-elsewhere">, Type.TLiteral<"logical-contradiction">, Type.TLiteral<"strawman">, Type.TLiteral<"equivocation">, Type.TLiteral<"category-error">]>;
6
+ export declare const ClaimUnknownReasonCodeSchema: Type.TUnion<[Type.TLiteral<"insufficient-evidence">, Type.TLiteral<"unknowable">, Type.TLiteral<"speculation">, Type.TLiteral<"matter-of-opinion">, Type.TLiteral<"ambiguous-wording">, Type.TLiteral<"too-vague">, Type.TLiteral<"context-dependent">, Type.TLiteral<"expert-dispute">]>;
7
+ export declare const OperatorAcceptReasonCodeSchema: Type.TUnion<[Type.TLiteral<"entailment-holds">, Type.TLiteral<"sound-causal-mechanism">, Type.TLiteral<"strong-inductive-support">, Type.TLiteral<"true-by-definition">, Type.TLiteral<"well-established-inference">]>;
8
+ export declare const OperatorRejectReasonCodeSchema: Type.TUnion<[Type.TLiteral<"non-sequitur">, Type.TLiteral<"correlation-not-causation">, Type.TLiteral<"hasty-generalization">, Type.TLiteral<"counterexamples-exist">, Type.TLiteral<"false-dichotomy">, Type.TLiteral<"equivocation-across-link">, Type.TLiteral<"circular-inference">]>;
9
+ export declare const ClaimReasonCodeSchema: Type.TUnion<[Type.TUnion<[Type.TLiteral<"common-knowledge">, Type.TLiteral<"well-supported-by-sources">, Type.TLiteral<"definitionally-true">, Type.TLiteral<"expert-consensus">, Type.TLiteral<"empirically-verified">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-necessary">]>, Type.TUnion<[Type.TLiteral<"factually-incorrect">, Type.TLiteral<"contradicts-expert-consensus">, Type.TLiteral<"hyperbole">, Type.TLiteral<"proven-false-elsewhere">, Type.TLiteral<"logical-contradiction">, Type.TLiteral<"strawman">, Type.TLiteral<"equivocation">, Type.TLiteral<"category-error">]>, Type.TUnion<[Type.TLiteral<"insufficient-evidence">, Type.TLiteral<"unknowable">, Type.TLiteral<"speculation">, Type.TLiteral<"matter-of-opinion">, Type.TLiteral<"ambiguous-wording">, Type.TLiteral<"too-vague">, Type.TLiteral<"context-dependent">, Type.TLiteral<"expert-dispute">]>]>;
10
+ export declare const OperatorReasonCodeSchema: Type.TUnion<[Type.TUnion<[Type.TLiteral<"entailment-holds">, Type.TLiteral<"sound-causal-mechanism">, Type.TLiteral<"strong-inductive-support">, Type.TLiteral<"true-by-definition">, Type.TLiteral<"well-established-inference">]>, Type.TUnion<[Type.TLiteral<"non-sequitur">, Type.TLiteral<"correlation-not-causation">, Type.TLiteral<"hasty-generalization">, Type.TLiteral<"counterexamples-exist">, Type.TLiteral<"false-dichotomy">, Type.TLiteral<"equivocation-across-link">, Type.TLiteral<"circular-inference">]>]>;
11
+ export type TClaimTrueReasonCode = Static<typeof ClaimTrueReasonCodeSchema>;
12
+ export type TClaimFalseReasonCode = Static<typeof ClaimFalseReasonCodeSchema>;
13
+ export type TClaimUnknownReasonCode = Static<typeof ClaimUnknownReasonCodeSchema>;
14
+ export type TOperatorAcceptReasonCode = Static<typeof OperatorAcceptReasonCodeSchema>;
15
+ export type TOperatorRejectReasonCode = Static<typeof OperatorRejectReasonCodeSchema>;
16
+ export type TClaimReasonCode = Static<typeof ClaimReasonCodeSchema>;
17
+ export type TOperatorReasonCode = Static<typeof OperatorReasonCodeSchema>;
18
+ export declare const ClaimAssignmentSchema: Type.TObject<{
19
+ assignmentId: Type.TString;
20
+ claimId: Type.TString;
21
+ value: Type.TUnion<[Type.TBoolean, Type.TNull]>;
22
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"common-knowledge">, Type.TLiteral<"well-supported-by-sources">, Type.TLiteral<"definitionally-true">, Type.TLiteral<"expert-consensus">, Type.TLiteral<"empirically-verified">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-necessary">]>, Type.TUnion<[Type.TLiteral<"factually-incorrect">, Type.TLiteral<"contradicts-expert-consensus">, Type.TLiteral<"hyperbole">, Type.TLiteral<"proven-false-elsewhere">, Type.TLiteral<"logical-contradiction">, Type.TLiteral<"strawman">, Type.TLiteral<"equivocation">, Type.TLiteral<"category-error">]>, Type.TUnion<[Type.TLiteral<"insufficient-evidence">, Type.TLiteral<"unknowable">, Type.TLiteral<"speculation">, Type.TLiteral<"matter-of-opinion">, Type.TLiteral<"ambiguous-wording">, Type.TLiteral<"too-vague">, Type.TLiteral<"context-dependent">, Type.TLiteral<"expert-dispute">]>]>>;
23
+ skipped: Type.TBoolean;
24
+ decidedAt: import("./common.js").TDateType;
25
+ }>;
26
+ export type TClaimAssignment = Static<typeof ClaimAssignmentSchema>;
27
+ export declare const OperatorAssignmentSchema: Type.TObject<{
28
+ assignmentId: Type.TString;
29
+ premiseId: Type.TString;
30
+ expressionId: Type.TOptional<Type.TString>;
31
+ scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
32
+ decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>;
33
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"entailment-holds">, Type.TLiteral<"sound-causal-mechanism">, Type.TLiteral<"strong-inductive-support">, Type.TLiteral<"true-by-definition">, Type.TLiteral<"well-established-inference">]>, Type.TUnion<[Type.TLiteral<"non-sequitur">, Type.TLiteral<"correlation-not-causation">, Type.TLiteral<"hasty-generalization">, Type.TLiteral<"counterexamples-exist">, Type.TLiteral<"false-dichotomy">, Type.TLiteral<"equivocation-across-link">, Type.TLiteral<"circular-inference">]>]>>;
34
+ decidedAt: import("./common.js").TDateType;
35
+ }>;
36
+ export type TOperatorAssignment = Static<typeof OperatorAssignmentSchema>;
37
+ export declare const ReviewPhaseSchema: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
38
+ export type TReviewPhase = Static<typeof ReviewPhaseSchema>;
39
+ export declare const ReviewDraftSchema: Type.TObject<{
40
+ schemaVersion: Type.TLiteral<1>;
41
+ reviewId: Type.TString;
42
+ argumentId: Type.TString;
43
+ argumentVersion: Type.TNumber;
44
+ userId: Type.TOptional<Type.TString>;
45
+ createdAt: import("./common.js").TDateType;
46
+ updatedAt: import("./common.js").TDateType;
47
+ phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
48
+ currentStepIndex: Type.TInteger;
49
+ claimAssignments: Type.TRecord<"^.*$", Type.TObject<{
50
+ assignmentId: Type.TString;
51
+ claimId: Type.TString;
52
+ value: Type.TUnion<[Type.TBoolean, Type.TNull]>;
53
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"common-knowledge">, Type.TLiteral<"well-supported-by-sources">, Type.TLiteral<"definitionally-true">, Type.TLiteral<"expert-consensus">, Type.TLiteral<"empirically-verified">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-necessary">]>, Type.TUnion<[Type.TLiteral<"factually-incorrect">, Type.TLiteral<"contradicts-expert-consensus">, Type.TLiteral<"hyperbole">, Type.TLiteral<"proven-false-elsewhere">, Type.TLiteral<"logical-contradiction">, Type.TLiteral<"strawman">, Type.TLiteral<"equivocation">, Type.TLiteral<"category-error">]>, Type.TUnion<[Type.TLiteral<"insufficient-evidence">, Type.TLiteral<"unknowable">, Type.TLiteral<"speculation">, Type.TLiteral<"matter-of-opinion">, Type.TLiteral<"ambiguous-wording">, Type.TLiteral<"too-vague">, Type.TLiteral<"context-dependent">, Type.TLiteral<"expert-dispute">]>]>>;
54
+ skipped: Type.TBoolean;
55
+ decidedAt: import("./common.js").TDateType;
56
+ }>>;
57
+ operatorAssignments: Type.TArray<Type.TObject<{
58
+ assignmentId: Type.TString;
59
+ premiseId: Type.TString;
60
+ expressionId: Type.TOptional<Type.TString>;
61
+ scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
62
+ decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>;
63
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"entailment-holds">, Type.TLiteral<"sound-causal-mechanism">, Type.TLiteral<"strong-inductive-support">, Type.TLiteral<"true-by-definition">, Type.TLiteral<"well-established-inference">]>, Type.TUnion<[Type.TLiteral<"non-sequitur">, Type.TLiteral<"correlation-not-causation">, Type.TLiteral<"hasty-generalization">, Type.TLiteral<"counterexamples-exist">, Type.TLiteral<"false-dichotomy">, Type.TLiteral<"equivocation-across-link">, Type.TLiteral<"circular-inference">]>]>>;
64
+ decidedAt: import("./common.js").TDateType;
65
+ }>>;
66
+ }>;
67
+ export type TReviewDraft = Static<typeof ReviewDraftSchema>;
68
+ export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
69
+ export declare const TCoreValidationIssueSchema: Type.TObject<{
70
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
71
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
72
+ message: Type.TString;
73
+ premiseId: Type.TOptional<Type.TString>;
74
+ expressionId: Type.TOptional<Type.TString>;
75
+ variableId: Type.TOptional<Type.TString>;
76
+ }>;
77
+ export declare const TCoreValidationResultSchema: Type.TObject<{
78
+ ok: Type.TBoolean;
79
+ issues: Type.TArray<Type.TObject<{
80
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
81
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
82
+ message: Type.TString;
83
+ premiseId: Type.TOptional<Type.TString>;
84
+ expressionId: Type.TOptional<Type.TString>;
85
+ variableId: Type.TOptional<Type.TString>;
86
+ }>>;
87
+ }>;
88
+ export declare const TCoreDirectionalVacuitySchema: Type.TObject<{
89
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
90
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
91
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
92
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
93
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
94
+ }>;
95
+ export declare const TCorePremiseInferenceDiagnosticSchema: Type.TUnion<[Type.TObject<{
96
+ kind: Type.TLiteral<"implies">;
97
+ premiseId: Type.TString;
98
+ rootExpressionId: Type.TString;
99
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
100
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
101
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
102
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
103
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
104
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
105
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
106
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
107
+ }>, Type.TObject<{
108
+ kind: Type.TLiteral<"iff">;
109
+ premiseId: Type.TString;
110
+ rootExpressionId: Type.TString;
111
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
112
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
113
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
114
+ leftToRight: Type.TObject<{
115
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
116
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
117
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
118
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
119
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
120
+ }>;
121
+ rightToLeft: Type.TObject<{
122
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
123
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
124
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
125
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
126
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
127
+ }>;
128
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
129
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
130
+ }>]>;
131
+ export declare const TCorePremiseEvaluationResultSchema: Type.TObject<{
132
+ premiseId: Type.TString;
133
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
134
+ rootExpressionId: Type.TOptional<Type.TString>;
135
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
136
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
137
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
138
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
139
+ kind: Type.TLiteral<"implies">;
140
+ premiseId: Type.TString;
141
+ rootExpressionId: Type.TString;
142
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
143
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
144
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
145
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
146
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
147
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
148
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
149
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
150
+ }>, Type.TObject<{
151
+ kind: Type.TLiteral<"iff">;
152
+ premiseId: Type.TString;
153
+ rootExpressionId: Type.TString;
154
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
155
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
156
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
157
+ leftToRight: Type.TObject<{
158
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
159
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
160
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
161
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
162
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
163
+ }>;
164
+ rightToLeft: Type.TObject<{
165
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
166
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
167
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
168
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
169
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
170
+ }>;
171
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
172
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
173
+ }>]>>;
174
+ }>;
175
+ export declare const TCoreExpressionAssignmentSchema: Type.TObject<{
176
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
177
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
178
+ }>;
179
+ export declare const TCoreArgumentEvaluationResultSchema: Type.TObject<{
180
+ ok: Type.TBoolean;
181
+ validation: Type.TOptional<Type.TObject<{
182
+ ok: Type.TBoolean;
183
+ issues: Type.TArray<Type.TObject<{
184
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
185
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
186
+ message: Type.TString;
187
+ premiseId: Type.TOptional<Type.TString>;
188
+ expressionId: Type.TOptional<Type.TString>;
189
+ variableId: Type.TOptional<Type.TString>;
190
+ }>>;
191
+ }>>;
192
+ assignment: Type.TOptional<Type.TObject<{
193
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
194
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
195
+ }>>;
196
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
197
+ conclusion: Type.TOptional<Type.TObject<{
198
+ premiseId: Type.TString;
199
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
200
+ rootExpressionId: Type.TOptional<Type.TString>;
201
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
202
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
203
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
204
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
205
+ kind: Type.TLiteral<"implies">;
206
+ premiseId: Type.TString;
207
+ rootExpressionId: Type.TString;
208
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
209
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
210
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
211
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
212
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
213
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
214
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
215
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
216
+ }>, Type.TObject<{
217
+ kind: Type.TLiteral<"iff">;
218
+ premiseId: Type.TString;
219
+ rootExpressionId: Type.TString;
220
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
221
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
222
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
223
+ leftToRight: Type.TObject<{
224
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
225
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
226
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
227
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
228
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
229
+ }>;
230
+ rightToLeft: Type.TObject<{
231
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
232
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
233
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
234
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
235
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
236
+ }>;
237
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
238
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
239
+ }>]>>;
240
+ }>>;
241
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
242
+ premiseId: Type.TString;
243
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
244
+ rootExpressionId: Type.TOptional<Type.TString>;
245
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
246
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
247
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
248
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
249
+ kind: Type.TLiteral<"implies">;
250
+ premiseId: Type.TString;
251
+ rootExpressionId: Type.TString;
252
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
253
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
254
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
255
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
256
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
257
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
258
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
259
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
260
+ }>, Type.TObject<{
261
+ kind: Type.TLiteral<"iff">;
262
+ premiseId: Type.TString;
263
+ rootExpressionId: Type.TString;
264
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
265
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
266
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
267
+ leftToRight: Type.TObject<{
268
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
269
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
270
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
271
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
272
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
273
+ }>;
274
+ rightToLeft: Type.TObject<{
275
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
276
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
277
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
278
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
279
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
280
+ }>;
281
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
282
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
283
+ }>]>>;
284
+ }>>>;
285
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
286
+ premiseId: Type.TString;
287
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
288
+ rootExpressionId: Type.TOptional<Type.TString>;
289
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
290
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
291
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
292
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
293
+ kind: Type.TLiteral<"implies">;
294
+ premiseId: Type.TString;
295
+ rootExpressionId: Type.TString;
296
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
297
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
298
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
299
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
300
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
301
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
302
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
303
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
304
+ }>, Type.TObject<{
305
+ kind: Type.TLiteral<"iff">;
306
+ premiseId: Type.TString;
307
+ rootExpressionId: Type.TString;
308
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
309
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
310
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
311
+ leftToRight: Type.TObject<{
312
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
313
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
314
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
315
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
316
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
317
+ }>;
318
+ rightToLeft: Type.TObject<{
319
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
320
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
321
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
322
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
323
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
324
+ }>;
325
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
326
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
327
+ }>]>>;
328
+ }>>>;
329
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
330
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
331
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
332
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
333
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
334
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
335
+ }>;
336
+ export declare const TCoreCounterexampleSchema: Type.TObject<{
337
+ assignment: Type.TObject<{
338
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
339
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
340
+ }>;
341
+ result: Type.TObject<{
342
+ ok: Type.TBoolean;
343
+ validation: Type.TOptional<Type.TObject<{
344
+ ok: Type.TBoolean;
345
+ issues: Type.TArray<Type.TObject<{
346
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
347
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
348
+ message: Type.TString;
349
+ premiseId: Type.TOptional<Type.TString>;
350
+ expressionId: Type.TOptional<Type.TString>;
351
+ variableId: Type.TOptional<Type.TString>;
352
+ }>>;
353
+ }>>;
354
+ assignment: Type.TOptional<Type.TObject<{
355
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
356
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
357
+ }>>;
358
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
359
+ conclusion: Type.TOptional<Type.TObject<{
360
+ premiseId: Type.TString;
361
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
362
+ rootExpressionId: Type.TOptional<Type.TString>;
363
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
364
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
365
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
366
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
367
+ kind: Type.TLiteral<"implies">;
368
+ premiseId: Type.TString;
369
+ rootExpressionId: Type.TString;
370
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
371
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
372
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
373
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
374
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
375
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
376
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
377
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
378
+ }>, Type.TObject<{
379
+ kind: Type.TLiteral<"iff">;
380
+ premiseId: Type.TString;
381
+ rootExpressionId: Type.TString;
382
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
383
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
384
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
385
+ leftToRight: Type.TObject<{
386
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
387
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
388
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
389
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
390
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
391
+ }>;
392
+ rightToLeft: Type.TObject<{
393
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
394
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
395
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
396
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
397
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
398
+ }>;
399
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
400
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
401
+ }>]>>;
402
+ }>>;
403
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
404
+ premiseId: Type.TString;
405
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
406
+ rootExpressionId: Type.TOptional<Type.TString>;
407
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
408
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
409
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
410
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
411
+ kind: Type.TLiteral<"implies">;
412
+ premiseId: Type.TString;
413
+ rootExpressionId: Type.TString;
414
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
415
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
416
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
417
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
418
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
419
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
420
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
421
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
422
+ }>, Type.TObject<{
423
+ kind: Type.TLiteral<"iff">;
424
+ premiseId: Type.TString;
425
+ rootExpressionId: Type.TString;
426
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
427
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
428
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
429
+ leftToRight: Type.TObject<{
430
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
431
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
432
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
433
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
434
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
435
+ }>;
436
+ rightToLeft: Type.TObject<{
437
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
438
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
439
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
440
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
441
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
442
+ }>;
443
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
444
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
445
+ }>]>>;
446
+ }>>>;
447
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
448
+ premiseId: Type.TString;
449
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
450
+ rootExpressionId: Type.TOptional<Type.TString>;
451
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
452
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
453
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
454
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
455
+ kind: Type.TLiteral<"implies">;
456
+ premiseId: Type.TString;
457
+ rootExpressionId: Type.TString;
458
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
459
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
460
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
461
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
462
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
463
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
464
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
465
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
466
+ }>, Type.TObject<{
467
+ kind: Type.TLiteral<"iff">;
468
+ premiseId: Type.TString;
469
+ rootExpressionId: Type.TString;
470
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
471
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
472
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
473
+ leftToRight: Type.TObject<{
474
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
475
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
476
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
477
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
478
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
479
+ }>;
480
+ rightToLeft: Type.TObject<{
481
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
482
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
483
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
484
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
485
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
486
+ }>;
487
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
488
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
489
+ }>]>>;
490
+ }>>>;
491
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
492
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
493
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
494
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
495
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
496
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
497
+ }>;
498
+ }>;
499
+ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
500
+ ok: Type.TBoolean;
501
+ validation: Type.TOptional<Type.TObject<{
502
+ ok: Type.TBoolean;
503
+ issues: Type.TArray<Type.TObject<{
504
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
505
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
506
+ message: Type.TString;
507
+ premiseId: Type.TOptional<Type.TString>;
508
+ expressionId: Type.TOptional<Type.TString>;
509
+ variableId: Type.TOptional<Type.TString>;
510
+ }>>;
511
+ }>>;
512
+ isValid: Type.TOptional<Type.TBoolean>;
513
+ checkedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
514
+ numAssignmentsChecked: Type.TOptional<Type.TNumber>;
515
+ numAdmissibleAssignments: Type.TOptional<Type.TNumber>;
516
+ counterexamples: Type.TOptional<Type.TArray<Type.TObject<{
517
+ assignment: Type.TObject<{
518
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
519
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
520
+ }>;
521
+ result: Type.TObject<{
522
+ ok: Type.TBoolean;
523
+ validation: Type.TOptional<Type.TObject<{
524
+ ok: Type.TBoolean;
525
+ issues: Type.TArray<Type.TObject<{
526
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
527
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
528
+ message: Type.TString;
529
+ premiseId: Type.TOptional<Type.TString>;
530
+ expressionId: Type.TOptional<Type.TString>;
531
+ variableId: Type.TOptional<Type.TString>;
532
+ }>>;
533
+ }>>;
534
+ assignment: Type.TOptional<Type.TObject<{
535
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
536
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
537
+ }>>;
538
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
539
+ conclusion: Type.TOptional<Type.TObject<{
540
+ premiseId: Type.TString;
541
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
542
+ rootExpressionId: Type.TOptional<Type.TString>;
543
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
544
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
545
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
546
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
547
+ kind: Type.TLiteral<"implies">;
548
+ premiseId: Type.TString;
549
+ rootExpressionId: Type.TString;
550
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
551
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
552
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
553
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
554
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
555
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
556
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
557
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
558
+ }>, Type.TObject<{
559
+ kind: Type.TLiteral<"iff">;
560
+ premiseId: Type.TString;
561
+ rootExpressionId: Type.TString;
562
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
563
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
564
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
565
+ leftToRight: Type.TObject<{
566
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
567
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
568
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
569
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
570
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
571
+ }>;
572
+ rightToLeft: Type.TObject<{
573
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
574
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
575
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
576
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
577
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
578
+ }>;
579
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
580
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
581
+ }>]>>;
582
+ }>>;
583
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
584
+ premiseId: Type.TString;
585
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
586
+ rootExpressionId: Type.TOptional<Type.TString>;
587
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
588
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
589
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
590
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
591
+ kind: Type.TLiteral<"implies">;
592
+ premiseId: Type.TString;
593
+ rootExpressionId: Type.TString;
594
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
595
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
596
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
597
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
598
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
599
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
600
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
601
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
602
+ }>, Type.TObject<{
603
+ kind: Type.TLiteral<"iff">;
604
+ premiseId: Type.TString;
605
+ rootExpressionId: Type.TString;
606
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
607
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
608
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
609
+ leftToRight: Type.TObject<{
610
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
611
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
612
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
613
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
614
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
615
+ }>;
616
+ rightToLeft: Type.TObject<{
617
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
618
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
619
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
620
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
621
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
622
+ }>;
623
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
624
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
625
+ }>]>>;
626
+ }>>>;
627
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
628
+ premiseId: Type.TString;
629
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
630
+ rootExpressionId: Type.TOptional<Type.TString>;
631
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
632
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
633
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
634
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
635
+ kind: Type.TLiteral<"implies">;
636
+ premiseId: Type.TString;
637
+ rootExpressionId: Type.TString;
638
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
639
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
640
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
641
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
642
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
643
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
644
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
645
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
646
+ }>, Type.TObject<{
647
+ kind: Type.TLiteral<"iff">;
648
+ premiseId: Type.TString;
649
+ rootExpressionId: Type.TString;
650
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
651
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
652
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
653
+ leftToRight: Type.TObject<{
654
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
655
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
656
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
657
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
658
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
659
+ }>;
660
+ rightToLeft: Type.TObject<{
661
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
662
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
663
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
664
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
665
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
666
+ }>;
667
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
668
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
669
+ }>]>>;
670
+ }>>>;
671
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
672
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
673
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
674
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
675
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
676
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
677
+ }>;
678
+ }>>>;
679
+ truncated: Type.TOptional<Type.TBoolean>;
680
+ }>;
681
+ export declare const ReviewResultSchema: Type.TObject<{
682
+ schemaVersion: Type.TLiteral<1>;
683
+ createdAt: import("./common.js").TDateType;
684
+ evaluatedAt: import("./common.js").TDateType;
685
+ evaluatedFingerprint: Type.TString;
686
+ evaluation: Type.TObject<{
687
+ ok: Type.TBoolean;
688
+ validation: Type.TOptional<Type.TObject<{
689
+ ok: Type.TBoolean;
690
+ issues: Type.TArray<Type.TObject<{
691
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
692
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
693
+ message: Type.TString;
694
+ premiseId: Type.TOptional<Type.TString>;
695
+ expressionId: Type.TOptional<Type.TString>;
696
+ variableId: Type.TOptional<Type.TString>;
697
+ }>>;
698
+ }>>;
699
+ assignment: Type.TOptional<Type.TObject<{
700
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
701
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
702
+ }>>;
703
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
704
+ conclusion: Type.TOptional<Type.TObject<{
705
+ premiseId: Type.TString;
706
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
707
+ rootExpressionId: Type.TOptional<Type.TString>;
708
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
709
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
710
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
711
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
712
+ kind: Type.TLiteral<"implies">;
713
+ premiseId: Type.TString;
714
+ rootExpressionId: Type.TString;
715
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
716
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
717
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
718
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
719
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
720
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
721
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
722
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
723
+ }>, Type.TObject<{
724
+ kind: Type.TLiteral<"iff">;
725
+ premiseId: Type.TString;
726
+ rootExpressionId: Type.TString;
727
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
728
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
729
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
730
+ leftToRight: Type.TObject<{
731
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
732
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
733
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
734
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
735
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
736
+ }>;
737
+ rightToLeft: Type.TObject<{
738
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
739
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
740
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
741
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
742
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
743
+ }>;
744
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
745
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
746
+ }>]>>;
747
+ }>>;
748
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
749
+ premiseId: Type.TString;
750
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
751
+ rootExpressionId: Type.TOptional<Type.TString>;
752
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
753
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
754
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
755
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
756
+ kind: Type.TLiteral<"implies">;
757
+ premiseId: Type.TString;
758
+ rootExpressionId: Type.TString;
759
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
760
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
761
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
762
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
763
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
764
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
765
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
766
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
767
+ }>, Type.TObject<{
768
+ kind: Type.TLiteral<"iff">;
769
+ premiseId: Type.TString;
770
+ rootExpressionId: Type.TString;
771
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
772
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
773
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
774
+ leftToRight: Type.TObject<{
775
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
776
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
777
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
778
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
779
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
780
+ }>;
781
+ rightToLeft: Type.TObject<{
782
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
783
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
784
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
785
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
786
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
787
+ }>;
788
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
789
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
790
+ }>]>>;
791
+ }>>>;
792
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
793
+ premiseId: Type.TString;
794
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
795
+ rootExpressionId: Type.TOptional<Type.TString>;
796
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
797
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
798
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
799
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
800
+ kind: Type.TLiteral<"implies">;
801
+ premiseId: Type.TString;
802
+ rootExpressionId: Type.TString;
803
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
804
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
805
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
806
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
807
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
808
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
809
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
810
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
811
+ }>, Type.TObject<{
812
+ kind: Type.TLiteral<"iff">;
813
+ premiseId: Type.TString;
814
+ rootExpressionId: Type.TString;
815
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
816
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
817
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
818
+ leftToRight: Type.TObject<{
819
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
820
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
821
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
822
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
823
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
824
+ }>;
825
+ rightToLeft: Type.TObject<{
826
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
827
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
828
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
829
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
830
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
831
+ }>;
832
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
833
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
834
+ }>]>>;
835
+ }>>>;
836
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
837
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
838
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
839
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
840
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
841
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
842
+ }>;
843
+ validityCheck: Type.TOptional<Type.TObject<{
844
+ ok: Type.TBoolean;
845
+ validation: Type.TOptional<Type.TObject<{
846
+ ok: Type.TBoolean;
847
+ issues: Type.TArray<Type.TObject<{
848
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
849
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
850
+ message: Type.TString;
851
+ premiseId: Type.TOptional<Type.TString>;
852
+ expressionId: Type.TOptional<Type.TString>;
853
+ variableId: Type.TOptional<Type.TString>;
854
+ }>>;
855
+ }>>;
856
+ isValid: Type.TOptional<Type.TBoolean>;
857
+ checkedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
858
+ numAssignmentsChecked: Type.TOptional<Type.TNumber>;
859
+ numAdmissibleAssignments: Type.TOptional<Type.TNumber>;
860
+ counterexamples: Type.TOptional<Type.TArray<Type.TObject<{
861
+ assignment: Type.TObject<{
862
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
863
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
864
+ }>;
865
+ result: Type.TObject<{
866
+ ok: Type.TBoolean;
867
+ validation: Type.TOptional<Type.TObject<{
868
+ ok: Type.TBoolean;
869
+ issues: Type.TArray<Type.TObject<{
870
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
871
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
872
+ message: Type.TString;
873
+ premiseId: Type.TOptional<Type.TString>;
874
+ expressionId: Type.TOptional<Type.TString>;
875
+ variableId: Type.TOptional<Type.TString>;
876
+ }>>;
877
+ }>>;
878
+ assignment: Type.TOptional<Type.TObject<{
879
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
880
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
881
+ }>>;
882
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
883
+ conclusion: Type.TOptional<Type.TObject<{
884
+ premiseId: Type.TString;
885
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
886
+ rootExpressionId: Type.TOptional<Type.TString>;
887
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
888
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
889
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
890
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
891
+ kind: Type.TLiteral<"implies">;
892
+ premiseId: Type.TString;
893
+ rootExpressionId: Type.TString;
894
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
895
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
896
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
897
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
898
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
899
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
900
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
901
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
902
+ }>, Type.TObject<{
903
+ kind: Type.TLiteral<"iff">;
904
+ premiseId: Type.TString;
905
+ rootExpressionId: Type.TString;
906
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
907
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
908
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
909
+ leftToRight: Type.TObject<{
910
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
911
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
912
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
913
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
914
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
915
+ }>;
916
+ rightToLeft: Type.TObject<{
917
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
918
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
919
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
920
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
921
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
922
+ }>;
923
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
924
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
925
+ }>]>>;
926
+ }>>;
927
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
928
+ premiseId: Type.TString;
929
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
930
+ rootExpressionId: Type.TOptional<Type.TString>;
931
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
932
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
933
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
934
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
935
+ kind: Type.TLiteral<"implies">;
936
+ premiseId: Type.TString;
937
+ rootExpressionId: Type.TString;
938
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
939
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
940
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
941
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
942
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
943
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
944
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
945
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
946
+ }>, Type.TObject<{
947
+ kind: Type.TLiteral<"iff">;
948
+ premiseId: Type.TString;
949
+ rootExpressionId: Type.TString;
950
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
951
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
952
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
953
+ leftToRight: Type.TObject<{
954
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
955
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
956
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
957
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
958
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
959
+ }>;
960
+ rightToLeft: Type.TObject<{
961
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
962
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
963
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
964
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
965
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
966
+ }>;
967
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
968
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
969
+ }>]>>;
970
+ }>>>;
971
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
972
+ premiseId: Type.TString;
973
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
974
+ rootExpressionId: Type.TOptional<Type.TString>;
975
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
976
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
977
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
978
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
979
+ kind: Type.TLiteral<"implies">;
980
+ premiseId: Type.TString;
981
+ rootExpressionId: Type.TString;
982
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
983
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
984
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
985
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
986
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
987
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
988
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
989
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
990
+ }>, Type.TObject<{
991
+ kind: Type.TLiteral<"iff">;
992
+ premiseId: Type.TString;
993
+ rootExpressionId: Type.TString;
994
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
995
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
996
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
997
+ leftToRight: Type.TObject<{
998
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
999
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1000
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1001
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1002
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1003
+ }>;
1004
+ rightToLeft: Type.TObject<{
1005
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1006
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1007
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1008
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1009
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1010
+ }>;
1011
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1012
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1013
+ }>]>>;
1014
+ }>>>;
1015
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1016
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1017
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1018
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1019
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1020
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
1021
+ }>;
1022
+ }>>>;
1023
+ truncated: Type.TOptional<Type.TBoolean>;
1024
+ }>>;
1025
+ }>;
1026
+ export type TReviewResult = Static<typeof ReviewResultSchema>;
1027
+ export declare const ReviewStateSchema: Type.TObject<{
1028
+ draft: Type.TObject<{
1029
+ schemaVersion: Type.TLiteral<1>;
1030
+ reviewId: Type.TString;
1031
+ argumentId: Type.TString;
1032
+ argumentVersion: Type.TNumber;
1033
+ userId: Type.TOptional<Type.TString>;
1034
+ createdAt: import("./common.js").TDateType;
1035
+ updatedAt: import("./common.js").TDateType;
1036
+ phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
1037
+ currentStepIndex: Type.TInteger;
1038
+ claimAssignments: Type.TRecord<"^.*$", Type.TObject<{
1039
+ assignmentId: Type.TString;
1040
+ claimId: Type.TString;
1041
+ value: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1042
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"common-knowledge">, Type.TLiteral<"well-supported-by-sources">, Type.TLiteral<"definitionally-true">, Type.TLiteral<"expert-consensus">, Type.TLiteral<"empirically-verified">, Type.TLiteral<"historically-established">, Type.TLiteral<"logically-necessary">]>, Type.TUnion<[Type.TLiteral<"factually-incorrect">, Type.TLiteral<"contradicts-expert-consensus">, Type.TLiteral<"hyperbole">, Type.TLiteral<"proven-false-elsewhere">, Type.TLiteral<"logical-contradiction">, Type.TLiteral<"strawman">, Type.TLiteral<"equivocation">, Type.TLiteral<"category-error">]>, Type.TUnion<[Type.TLiteral<"insufficient-evidence">, Type.TLiteral<"unknowable">, Type.TLiteral<"speculation">, Type.TLiteral<"matter-of-opinion">, Type.TLiteral<"ambiguous-wording">, Type.TLiteral<"too-vague">, Type.TLiteral<"context-dependent">, Type.TLiteral<"expert-dispute">]>]>>;
1043
+ skipped: Type.TBoolean;
1044
+ decidedAt: import("./common.js").TDateType;
1045
+ }>>;
1046
+ operatorAssignments: Type.TArray<Type.TObject<{
1047
+ assignmentId: Type.TString;
1048
+ premiseId: Type.TString;
1049
+ expressionId: Type.TOptional<Type.TString>;
1050
+ scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
1051
+ decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>;
1052
+ reasonCode: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"entailment-holds">, Type.TLiteral<"sound-causal-mechanism">, Type.TLiteral<"strong-inductive-support">, Type.TLiteral<"true-by-definition">, Type.TLiteral<"well-established-inference">]>, Type.TUnion<[Type.TLiteral<"non-sequitur">, Type.TLiteral<"correlation-not-causation">, Type.TLiteral<"hasty-generalization">, Type.TLiteral<"counterexamples-exist">, Type.TLiteral<"false-dichotomy">, Type.TLiteral<"equivocation-across-link">, Type.TLiteral<"circular-inference">]>]>>;
1053
+ decidedAt: import("./common.js").TDateType;
1054
+ }>>;
1055
+ }>;
1056
+ lastResult: Type.TOptional<Type.TObject<{
1057
+ schemaVersion: Type.TLiteral<1>;
1058
+ createdAt: import("./common.js").TDateType;
1059
+ evaluatedAt: import("./common.js").TDateType;
1060
+ evaluatedFingerprint: Type.TString;
1061
+ evaluation: Type.TObject<{
1062
+ ok: Type.TBoolean;
1063
+ validation: Type.TOptional<Type.TObject<{
1064
+ ok: Type.TBoolean;
1065
+ issues: Type.TArray<Type.TObject<{
1066
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
1067
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
1068
+ message: Type.TString;
1069
+ premiseId: Type.TOptional<Type.TString>;
1070
+ expressionId: Type.TOptional<Type.TString>;
1071
+ variableId: Type.TOptional<Type.TString>;
1072
+ }>>;
1073
+ }>>;
1074
+ assignment: Type.TOptional<Type.TObject<{
1075
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1076
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
1077
+ }>>;
1078
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
1079
+ conclusion: Type.TOptional<Type.TObject<{
1080
+ premiseId: Type.TString;
1081
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1082
+ rootExpressionId: Type.TOptional<Type.TString>;
1083
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1084
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1085
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1086
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1087
+ kind: Type.TLiteral<"implies">;
1088
+ premiseId: Type.TString;
1089
+ rootExpressionId: Type.TString;
1090
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1091
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1092
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1093
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1094
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1095
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1096
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1097
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1098
+ }>, Type.TObject<{
1099
+ kind: Type.TLiteral<"iff">;
1100
+ premiseId: Type.TString;
1101
+ rootExpressionId: Type.TString;
1102
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1103
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1104
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1105
+ leftToRight: Type.TObject<{
1106
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1107
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1108
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1109
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1110
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1111
+ }>;
1112
+ rightToLeft: Type.TObject<{
1113
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1114
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1115
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1116
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1117
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1118
+ }>;
1119
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1120
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1121
+ }>]>>;
1122
+ }>>;
1123
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
1124
+ premiseId: Type.TString;
1125
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1126
+ rootExpressionId: Type.TOptional<Type.TString>;
1127
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1128
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1129
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1130
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1131
+ kind: Type.TLiteral<"implies">;
1132
+ premiseId: Type.TString;
1133
+ rootExpressionId: Type.TString;
1134
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1135
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1136
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1137
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1138
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1139
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1140
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1141
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1142
+ }>, Type.TObject<{
1143
+ kind: Type.TLiteral<"iff">;
1144
+ premiseId: Type.TString;
1145
+ rootExpressionId: Type.TString;
1146
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1147
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1148
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1149
+ leftToRight: Type.TObject<{
1150
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1151
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1152
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1153
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1154
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1155
+ }>;
1156
+ rightToLeft: Type.TObject<{
1157
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1158
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1159
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1160
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1161
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1162
+ }>;
1163
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1164
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1165
+ }>]>>;
1166
+ }>>>;
1167
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
1168
+ premiseId: Type.TString;
1169
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1170
+ rootExpressionId: Type.TOptional<Type.TString>;
1171
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1172
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1173
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1174
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1175
+ kind: Type.TLiteral<"implies">;
1176
+ premiseId: Type.TString;
1177
+ rootExpressionId: Type.TString;
1178
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1179
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1180
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1181
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1182
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1183
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1184
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1185
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1186
+ }>, Type.TObject<{
1187
+ kind: Type.TLiteral<"iff">;
1188
+ premiseId: Type.TString;
1189
+ rootExpressionId: Type.TString;
1190
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1191
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1192
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1193
+ leftToRight: Type.TObject<{
1194
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1195
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1196
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1197
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1198
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1199
+ }>;
1200
+ rightToLeft: Type.TObject<{
1201
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1202
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1203
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1204
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1205
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1206
+ }>;
1207
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1208
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1209
+ }>]>>;
1210
+ }>>>;
1211
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1212
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1213
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1214
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1215
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1216
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
1217
+ }>;
1218
+ validityCheck: Type.TOptional<Type.TObject<{
1219
+ ok: Type.TBoolean;
1220
+ validation: Type.TOptional<Type.TObject<{
1221
+ ok: Type.TBoolean;
1222
+ issues: Type.TArray<Type.TObject<{
1223
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
1224
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
1225
+ message: Type.TString;
1226
+ premiseId: Type.TOptional<Type.TString>;
1227
+ expressionId: Type.TOptional<Type.TString>;
1228
+ variableId: Type.TOptional<Type.TString>;
1229
+ }>>;
1230
+ }>>;
1231
+ isValid: Type.TOptional<Type.TBoolean>;
1232
+ checkedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
1233
+ numAssignmentsChecked: Type.TOptional<Type.TNumber>;
1234
+ numAdmissibleAssignments: Type.TOptional<Type.TNumber>;
1235
+ counterexamples: Type.TOptional<Type.TArray<Type.TObject<{
1236
+ assignment: Type.TObject<{
1237
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1238
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
1239
+ }>;
1240
+ result: Type.TObject<{
1241
+ ok: Type.TBoolean;
1242
+ validation: Type.TOptional<Type.TObject<{
1243
+ ok: Type.TBoolean;
1244
+ issues: Type.TArray<Type.TObject<{
1245
+ code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
1246
+ severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
1247
+ message: Type.TString;
1248
+ premiseId: Type.TOptional<Type.TString>;
1249
+ expressionId: Type.TOptional<Type.TString>;
1250
+ variableId: Type.TOptional<Type.TString>;
1251
+ }>>;
1252
+ }>>;
1253
+ assignment: Type.TOptional<Type.TObject<{
1254
+ variables: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1255
+ operatorAssignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">]>>;
1256
+ }>>;
1257
+ referencedVariableIds: Type.TOptional<Type.TArray<Type.TString>>;
1258
+ conclusion: Type.TOptional<Type.TObject<{
1259
+ premiseId: Type.TString;
1260
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1261
+ rootExpressionId: Type.TOptional<Type.TString>;
1262
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1263
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1264
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1265
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1266
+ kind: Type.TLiteral<"implies">;
1267
+ premiseId: Type.TString;
1268
+ rootExpressionId: Type.TString;
1269
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1270
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1271
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1272
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1273
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1274
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1275
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1276
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1277
+ }>, Type.TObject<{
1278
+ kind: Type.TLiteral<"iff">;
1279
+ premiseId: Type.TString;
1280
+ rootExpressionId: Type.TString;
1281
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1282
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1283
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1284
+ leftToRight: Type.TObject<{
1285
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1286
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1287
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1288
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1289
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1290
+ }>;
1291
+ rightToLeft: Type.TObject<{
1292
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1293
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1294
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1295
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1296
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1297
+ }>;
1298
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1299
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1300
+ }>]>>;
1301
+ }>>;
1302
+ supportingPremises: Type.TOptional<Type.TArray<Type.TObject<{
1303
+ premiseId: Type.TString;
1304
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1305
+ rootExpressionId: Type.TOptional<Type.TString>;
1306
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1307
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1308
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1309
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1310
+ kind: Type.TLiteral<"implies">;
1311
+ premiseId: Type.TString;
1312
+ rootExpressionId: Type.TString;
1313
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1314
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1315
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1316
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1317
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1318
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1319
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1320
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1321
+ }>, Type.TObject<{
1322
+ kind: Type.TLiteral<"iff">;
1323
+ premiseId: Type.TString;
1324
+ rootExpressionId: Type.TString;
1325
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1326
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1327
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1328
+ leftToRight: Type.TObject<{
1329
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1330
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1331
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1332
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1333
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1334
+ }>;
1335
+ rightToLeft: Type.TObject<{
1336
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1337
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1338
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1339
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1340
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1341
+ }>;
1342
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1343
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1344
+ }>]>>;
1345
+ }>>>;
1346
+ constraintPremises: Type.TOptional<Type.TArray<Type.TObject<{
1347
+ premiseId: Type.TString;
1348
+ premiseType: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
1349
+ rootExpressionId: Type.TOptional<Type.TString>;
1350
+ rootValue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1351
+ expressionValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1352
+ variableValues: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1353
+ inferenceDiagnostic: Type.TOptional<Type.TUnion<[Type.TObject<{
1354
+ kind: Type.TLiteral<"implies">;
1355
+ premiseId: Type.TString;
1356
+ rootExpressionId: Type.TString;
1357
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1358
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1359
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1360
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1361
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1362
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1363
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1364
+ firedAndHeld: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1365
+ }>, Type.TObject<{
1366
+ kind: Type.TLiteral<"iff">;
1367
+ premiseId: Type.TString;
1368
+ rootExpressionId: Type.TString;
1369
+ leftValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1370
+ rightValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1371
+ rootValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1372
+ leftToRight: Type.TObject<{
1373
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1374
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1375
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1376
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1377
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1378
+ }>;
1379
+ rightToLeft: Type.TObject<{
1380
+ antecedentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1381
+ consequentTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1382
+ implicationValue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1383
+ isVacuouslyTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1384
+ fired: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1385
+ }>;
1386
+ bothSidesTrue: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1387
+ bothSidesFalse: Type.TUnion<[Type.TBoolean, Type.TNull]>;
1388
+ }>]>>;
1389
+ }>>>;
1390
+ isAdmissibleAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1391
+ allSupportingPremisesTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1392
+ conclusionTrue: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1393
+ isCounterexample: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1394
+ preservesTruthUnderAssignment: Type.TOptional<Type.TUnion<[Type.TBoolean, Type.TNull]>>;
1395
+ propagatedVariableValues: Type.TOptional<Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>>;
1396
+ }>;
1397
+ }>>>;
1398
+ truncated: Type.TOptional<Type.TBoolean>;
1399
+ }>>;
1400
+ }>>;
1401
+ }>;
1402
+ export type TReviewState = Static<typeof ReviewStateSchema>;
1403
+ //# sourceMappingURL=review.d.ts.map