agentskeptic 0.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (661) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +342 -0
  3. package/dist/actionableFailure.d.ts +53 -0
  4. package/dist/actionableFailure.d.ts.map +1 -0
  5. package/dist/actionableFailure.js +424 -0
  6. package/dist/actionableFailure.js.map +1 -0
  7. package/dist/actionableFailure.partitionExhaustive.test.d.ts +2 -0
  8. package/dist/actionableFailure.partitionExhaustive.test.d.ts.map +1 -0
  9. package/dist/actionableFailure.partitionExhaustive.test.js +20 -0
  10. package/dist/actionableFailure.partitionExhaustive.test.js.map +1 -0
  11. package/dist/actionableFailure.remediationExhaustive.test.d.ts +2 -0
  12. package/dist/actionableFailure.remediationExhaustive.test.d.ts.map +1 -0
  13. package/dist/actionableFailure.remediationExhaustive.test.js +297 -0
  14. package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -0
  15. package/dist/actionableFailure.test.d.ts +2 -0
  16. package/dist/actionableFailure.test.d.ts.map +1 -0
  17. package/dist/actionableFailure.test.js +211 -0
  18. package/dist/actionableFailure.test.js.map +1 -0
  19. package/dist/agentRunBundle.d.ts +24 -0
  20. package/dist/agentRunBundle.d.ts.map +1 -0
  21. package/dist/agentRunBundle.js +114 -0
  22. package/dist/agentRunBundle.js.map +1 -0
  23. package/dist/agentRunBundle.rollback.test.d.ts +2 -0
  24. package/dist/agentRunBundle.rollback.test.d.ts.map +1 -0
  25. package/dist/agentRunBundle.rollback.test.js +65 -0
  26. package/dist/agentRunBundle.rollback.test.js.map +1 -0
  27. package/dist/agentRunBundle.test.d.ts +2 -0
  28. package/dist/agentRunBundle.test.d.ts.map +1 -0
  29. package/dist/agentRunBundle.test.js +126 -0
  30. package/dist/agentRunBundle.test.js.map +1 -0
  31. package/dist/agentRunRecord.d.ts +82 -0
  32. package/dist/agentRunRecord.d.ts.map +1 -0
  33. package/dist/agentRunRecord.js +51 -0
  34. package/dist/agentRunRecord.js.map +1 -0
  35. package/dist/agentRunRecord.test.d.ts +2 -0
  36. package/dist/agentRunRecord.test.d.ts.map +1 -0
  37. package/dist/agentRunRecord.test.js +49 -0
  38. package/dist/agentRunRecord.test.js.map +1 -0
  39. package/dist/aggregate.d.ts +3 -0
  40. package/dist/aggregate.d.ts.map +1 -0
  41. package/dist/aggregate.js +36 -0
  42. package/dist/aggregate.js.map +1 -0
  43. package/dist/assurance/assurancePathArgs.d.ts +10 -0
  44. package/dist/assurance/assurancePathArgs.d.ts.map +1 -0
  45. package/dist/assurance/assurancePathArgs.js +54 -0
  46. package/dist/assurance/assurancePathArgs.js.map +1 -0
  47. package/dist/assurance/checkStale.d.ts +14 -0
  48. package/dist/assurance/checkStale.d.ts.map +1 -0
  49. package/dist/assurance/checkStale.js +48 -0
  50. package/dist/assurance/checkStale.js.map +1 -0
  51. package/dist/assurance/findRepoRoot.d.ts +6 -0
  52. package/dist/assurance/findRepoRoot.d.ts.map +1 -0
  53. package/dist/assurance/findRepoRoot.js +27 -0
  54. package/dist/assurance/findRepoRoot.js.map +1 -0
  55. package/dist/assurance/runAssurance.d.ts +24 -0
  56. package/dist/assurance/runAssurance.d.ts.map +1 -0
  57. package/dist/assurance/runAssurance.js +105 -0
  58. package/dist/assurance/runAssurance.js.map +1 -0
  59. package/dist/bundleSignatureCodes.d.ts +13 -0
  60. package/dist/bundleSignatureCodes.d.ts.map +1 -0
  61. package/dist/bundleSignatureCodes.js +12 -0
  62. package/dist/bundleSignatureCodes.js.map +1 -0
  63. package/dist/canonicalParams.d.ts +3 -0
  64. package/dist/canonicalParams.d.ts.map +1 -0
  65. package/dist/canonicalParams.js +16 -0
  66. package/dist/canonicalParams.js.map +1 -0
  67. package/dist/ciLock.d.ts +52 -0
  68. package/dist/ciLock.d.ts.map +1 -0
  69. package/dist/ciLock.js +117 -0
  70. package/dist/ciLock.js.map +1 -0
  71. package/dist/ciLockWorkflow.d.ts +4 -0
  72. package/dist/ciLockWorkflow.d.ts.map +1 -0
  73. package/dist/ciLockWorkflow.js +278 -0
  74. package/dist/ciLockWorkflow.js.map +1 -0
  75. package/dist/cli.d.ts +3 -0
  76. package/dist/cli.d.ts.map +1 -0
  77. package/dist/cli.failureExplanationInvariant.test.d.ts +2 -0
  78. package/dist/cli.failureExplanationInvariant.test.d.ts.map +1 -0
  79. package/dist/cli.failureExplanationInvariant.test.js +40 -0
  80. package/dist/cli.failureExplanationInvariant.test.js.map +1 -0
  81. package/dist/cli.js +998 -0
  82. package/dist/cli.js.map +1 -0
  83. package/dist/cliArgv.d.ts +40 -0
  84. package/dist/cliArgv.d.ts.map +1 -0
  85. package/dist/cliArgv.js +149 -0
  86. package/dist/cliArgv.js.map +1 -0
  87. package/dist/cliOperationalCodes.d.ts +65 -0
  88. package/dist/cliOperationalCodes.d.ts.map +1 -0
  89. package/dist/cliOperationalCodes.js +64 -0
  90. package/dist/cliOperationalCodes.js.map +1 -0
  91. package/dist/commercial/licensePreflight.d.ts +7 -0
  92. package/dist/commercial/licensePreflight.d.ts.map +1 -0
  93. package/dist/commercial/licensePreflight.js +95 -0
  94. package/dist/commercial/licensePreflight.js.map +1 -0
  95. package/dist/commercial/licensePreflight.test.d.ts +2 -0
  96. package/dist/commercial/licensePreflight.test.d.ts.map +1 -0
  97. package/dist/commercial/licensePreflight.test.js +123 -0
  98. package/dist/commercial/licensePreflight.test.js.map +1 -0
  99. package/dist/compare.acceptance.test.d.ts +2 -0
  100. package/dist/compare.acceptance.test.d.ts.map +1 -0
  101. package/dist/compare.acceptance.test.js +80 -0
  102. package/dist/compare.acceptance.test.js.map +1 -0
  103. package/dist/correctnessDefinition.d.ts +23 -0
  104. package/dist/correctnessDefinition.d.ts.map +1 -0
  105. package/dist/correctnessDefinition.docParity.test.d.ts +2 -0
  106. package/dist/correctnessDefinition.docParity.test.d.ts.map +1 -0
  107. package/dist/correctnessDefinition.docParity.test.js +22 -0
  108. package/dist/correctnessDefinition.docParity.test.js.map +1 -0
  109. package/dist/correctnessDefinition.js +283 -0
  110. package/dist/correctnessDefinition.js.map +1 -0
  111. package/dist/correctnessDefinitionTemplates.d.ts +70 -0
  112. package/dist/correctnessDefinitionTemplates.d.ts.map +1 -0
  113. package/dist/correctnessDefinitionTemplates.js +121 -0
  114. package/dist/correctnessDefinitionTemplates.js.map +1 -0
  115. package/dist/debug-ui/app.css +188 -0
  116. package/dist/debug-ui/app.js +245 -0
  117. package/dist/debug-ui/index.html +79 -0
  118. package/dist/debugCorpus.d.ts +68 -0
  119. package/dist/debugCorpus.d.ts.map +1 -0
  120. package/dist/debugCorpus.js +544 -0
  121. package/dist/debugCorpus.js.map +1 -0
  122. package/dist/debugCorpus.test.d.ts +2 -0
  123. package/dist/debugCorpus.test.d.ts.map +1 -0
  124. package/dist/debugCorpus.test.js +159 -0
  125. package/dist/debugCorpus.test.js.map +1 -0
  126. package/dist/debugFocus.d.ts +16 -0
  127. package/dist/debugFocus.d.ts.map +1 -0
  128. package/dist/debugFocus.js +51 -0
  129. package/dist/debugFocus.js.map +1 -0
  130. package/dist/debugFocus.test.d.ts +2 -0
  131. package/dist/debugFocus.test.d.ts.map +1 -0
  132. package/dist/debugFocus.test.js +43 -0
  133. package/dist/debugFocus.test.js.map +1 -0
  134. package/dist/debugPanels.d.ts +13 -0
  135. package/dist/debugPanels.d.ts.map +1 -0
  136. package/dist/debugPanels.js +113 -0
  137. package/dist/debugPanels.js.map +1 -0
  138. package/dist/debugPanels.test.d.ts +2 -0
  139. package/dist/debugPanels.test.d.ts.map +1 -0
  140. package/dist/debugPanels.test.js +204 -0
  141. package/dist/debugPanels.test.js.map +1 -0
  142. package/dist/debugPatterns.d.ts +47 -0
  143. package/dist/debugPatterns.d.ts.map +1 -0
  144. package/dist/debugPatterns.js +113 -0
  145. package/dist/debugPatterns.js.map +1 -0
  146. package/dist/debugPatterns.test.d.ts +2 -0
  147. package/dist/debugPatterns.test.d.ts.map +1 -0
  148. package/dist/debugPatterns.test.js +48 -0
  149. package/dist/debugPatterns.test.js.map +1 -0
  150. package/dist/debugRunFilters.d.ts +31 -0
  151. package/dist/debugRunFilters.d.ts.map +1 -0
  152. package/dist/debugRunFilters.js +118 -0
  153. package/dist/debugRunFilters.js.map +1 -0
  154. package/dist/debugRunFilters.test.d.ts +2 -0
  155. package/dist/debugRunFilters.test.d.ts.map +1 -0
  156. package/dist/debugRunFilters.test.js +78 -0
  157. package/dist/debugRunFilters.test.js.map +1 -0
  158. package/dist/debugRunIndex.d.ts +27 -0
  159. package/dist/debugRunIndex.d.ts.map +1 -0
  160. package/dist/debugRunIndex.js +58 -0
  161. package/dist/debugRunIndex.js.map +1 -0
  162. package/dist/debugServer.d.ts +19 -0
  163. package/dist/debugServer.d.ts.map +1 -0
  164. package/dist/debugServer.js +315 -0
  165. package/dist/debugServer.js.map +1 -0
  166. package/dist/debugServer.test.d.ts +2 -0
  167. package/dist/debugServer.test.d.ts.map +1 -0
  168. package/dist/debugServer.test.js +207 -0
  169. package/dist/debugServer.test.js.map +1 -0
  170. package/dist/discovery-payload-v1.json +75 -0
  171. package/dist/distributionFooter.d.ts +3 -0
  172. package/dist/distributionFooter.d.ts.map +1 -0
  173. package/dist/distributionFooter.js +3 -0
  174. package/dist/distributionFooter.js.map +1 -0
  175. package/dist/documentationCopyConsistency.test.d.ts +2 -0
  176. package/dist/documentationCopyConsistency.test.d.ts.map +1 -0
  177. package/dist/documentationCopyConsistency.test.js +94 -0
  178. package/dist/documentationCopyConsistency.test.js.map +1 -0
  179. package/dist/enforceCli.d.ts +4 -0
  180. package/dist/enforceCli.d.ts.map +1 -0
  181. package/dist/enforceCli.js +93 -0
  182. package/dist/enforceCli.js.map +1 -0
  183. package/dist/eventSequenceIntegrity.d.ts +7 -0
  184. package/dist/eventSequenceIntegrity.d.ts.map +1 -0
  185. package/dist/eventSequenceIntegrity.js +47 -0
  186. package/dist/eventSequenceIntegrity.js.map +1 -0
  187. package/dist/eventSequenceIntegrity.test.d.ts +2 -0
  188. package/dist/eventSequenceIntegrity.test.d.ts.map +1 -0
  189. package/dist/eventSequenceIntegrity.test.js +65 -0
  190. package/dist/eventSequenceIntegrity.test.js.map +1 -0
  191. package/dist/executionPathFindings.d.ts +15 -0
  192. package/dist/executionPathFindings.d.ts.map +1 -0
  193. package/dist/executionPathFindings.js +299 -0
  194. package/dist/executionPathFindings.js.map +1 -0
  195. package/dist/executionPathFindings.requirements.test.d.ts +2 -0
  196. package/dist/executionPathFindings.requirements.test.d.ts.map +1 -0
  197. package/dist/executionPathFindings.requirements.test.js +332 -0
  198. package/dist/executionPathFindings.requirements.test.js.map +1 -0
  199. package/dist/executionTrace.d.ts +13 -0
  200. package/dist/executionTrace.d.ts.map +1 -0
  201. package/dist/executionTrace.js +272 -0
  202. package/dist/executionTrace.js.map +1 -0
  203. package/dist/executionTrace.test.d.ts +2 -0
  204. package/dist/executionTrace.test.d.ts.map +1 -0
  205. package/dist/executionTrace.test.js +200 -0
  206. package/dist/executionTrace.test.js.map +1 -0
  207. package/dist/failureAnalysis.d.ts +8 -0
  208. package/dist/failureAnalysis.d.ts.map +1 -0
  209. package/dist/failureAnalysis.js +337 -0
  210. package/dist/failureAnalysis.js.map +1 -0
  211. package/dist/failureAnalysis.test.d.ts +2 -0
  212. package/dist/failureAnalysis.test.d.ts.map +1 -0
  213. package/dist/failureAnalysis.test.js +196 -0
  214. package/dist/failureAnalysis.test.js.map +1 -0
  215. package/dist/failureCatalog.d.ts +26 -0
  216. package/dist/failureCatalog.d.ts.map +1 -0
  217. package/dist/failureCatalog.js +51 -0
  218. package/dist/failureCatalog.js.map +1 -0
  219. package/dist/failureCatalog.test.d.ts +2 -0
  220. package/dist/failureCatalog.test.d.ts.map +1 -0
  221. package/dist/failureCatalog.test.js +25 -0
  222. package/dist/failureCatalog.test.js.map +1 -0
  223. package/dist/failureExplanation.d.ts +52 -0
  224. package/dist/failureExplanation.d.ts.map +1 -0
  225. package/dist/failureExplanation.failureAnalysisMock.test.d.ts +2 -0
  226. package/dist/failureExplanation.failureAnalysisMock.test.d.ts.map +1 -0
  227. package/dist/failureExplanation.failureAnalysisMock.test.js +200 -0
  228. package/dist/failureExplanation.failureAnalysisMock.test.js.map +1 -0
  229. package/dist/failureExplanation.golden.test.d.ts +2 -0
  230. package/dist/failureExplanation.golden.test.d.ts.map +1 -0
  231. package/dist/failureExplanation.golden.test.js +530 -0
  232. package/dist/failureExplanation.golden.test.js.map +1 -0
  233. package/dist/failureExplanation.js +389 -0
  234. package/dist/failureExplanation.js.map +1 -0
  235. package/dist/failureExplanationDocumentationParity.test.d.ts +2 -0
  236. package/dist/failureExplanationDocumentationParity.test.d.ts.map +1 -0
  237. package/dist/failureExplanationDocumentationParity.test.js +56 -0
  238. package/dist/failureExplanationDocumentationParity.test.js.map +1 -0
  239. package/dist/failureOriginCatalog.d.ts +30 -0
  240. package/dist/failureOriginCatalog.d.ts.map +1 -0
  241. package/dist/failureOriginCatalog.js +106 -0
  242. package/dist/failureOriginCatalog.js.map +1 -0
  243. package/dist/failureOriginCatalog.test.d.ts +2 -0
  244. package/dist/failureOriginCatalog.test.d.ts.map +1 -0
  245. package/dist/failureOriginCatalog.test.js +17 -0
  246. package/dist/failureOriginCatalog.test.js.map +1 -0
  247. package/dist/failureOriginSchemaEnum.test.d.ts +2 -0
  248. package/dist/failureOriginSchemaEnum.test.d.ts.map +1 -0
  249. package/dist/failureOriginSchemaEnum.test.js +21 -0
  250. package/dist/failureOriginSchemaEnum.test.js.map +1 -0
  251. package/dist/failureOriginSchemaParity.test.d.ts +2 -0
  252. package/dist/failureOriginSchemaParity.test.d.ts.map +1 -0
  253. package/dist/failureOriginSchemaParity.test.js +33 -0
  254. package/dist/failureOriginSchemaParity.test.js.map +1 -0
  255. package/dist/failureOriginTypes.d.ts +4 -0
  256. package/dist/failureOriginTypes.d.ts.map +1 -0
  257. package/dist/failureOriginTypes.generated.d.ts +4 -0
  258. package/dist/failureOriginTypes.generated.d.ts.map +1 -0
  259. package/dist/failureOriginTypes.generated.js +10 -0
  260. package/dist/failureOriginTypes.generated.js.map +1 -0
  261. package/dist/failureOriginTypes.js +3 -0
  262. package/dist/failureOriginTypes.js.map +1 -0
  263. package/dist/generated/commercialBuildFlags.d.ts +4 -0
  264. package/dist/generated/commercialBuildFlags.d.ts.map +1 -0
  265. package/dist/generated/commercialBuildFlags.js +5 -0
  266. package/dist/generated/commercialBuildFlags.js.map +1 -0
  267. package/dist/index.d.ts +50 -0
  268. package/dist/index.d.ts.map +1 -0
  269. package/dist/index.js +34 -0
  270. package/dist/index.js.map +1 -0
  271. package/dist/jsonPointer.d.ts +3 -0
  272. package/dist/jsonPointer.d.ts.map +1 -0
  273. package/dist/jsonPointer.js +28 -0
  274. package/dist/jsonPointer.js.map +1 -0
  275. package/dist/jsonStableStringify.d.ts +3 -0
  276. package/dist/jsonStableStringify.d.ts.map +1 -0
  277. package/dist/jsonStableStringify.js +3 -0
  278. package/dist/jsonStableStringify.js.map +1 -0
  279. package/dist/loadEvents.d.ts +3 -0
  280. package/dist/loadEvents.d.ts.map +1 -0
  281. package/dist/loadEvents.eventFileAggregateCounts.test.d.ts +2 -0
  282. package/dist/loadEvents.eventFileAggregateCounts.test.d.ts.map +1 -0
  283. package/dist/loadEvents.eventFileAggregateCounts.test.js +18 -0
  284. package/dist/loadEvents.eventFileAggregateCounts.test.js.map +1 -0
  285. package/dist/loadEvents.js +85 -0
  286. package/dist/loadEvents.js.map +1 -0
  287. package/dist/multiEffectRollup.d.ts +43 -0
  288. package/dist/multiEffectRollup.d.ts.map +1 -0
  289. package/dist/multiEffectRollup.js +164 -0
  290. package/dist/multiEffectRollup.js.map +1 -0
  291. package/dist/multiEffectRollup.test.d.ts +2 -0
  292. package/dist/multiEffectRollup.test.d.ts.map +1 -0
  293. package/dist/multiEffectRollup.test.js +128 -0
  294. package/dist/multiEffectRollup.test.js.map +1 -0
  295. package/dist/noStepsMessage.d.ts +7 -0
  296. package/dist/noStepsMessage.d.ts.map +1 -0
  297. package/dist/noStepsMessage.js +12 -0
  298. package/dist/noStepsMessage.js.map +1 -0
  299. package/dist/noStepsMessage.test.d.ts +2 -0
  300. package/dist/noStepsMessage.test.d.ts.map +1 -0
  301. package/dist/noStepsMessage.test.js +15 -0
  302. package/dist/noStepsMessage.test.js.map +1 -0
  303. package/dist/operationalDisposition.d.ts +498 -0
  304. package/dist/operationalDisposition.d.ts.map +1 -0
  305. package/dist/operationalDisposition.js +490 -0
  306. package/dist/operationalDisposition.js.map +1 -0
  307. package/dist/operationalDispositionDerivation.test.d.ts +2 -0
  308. package/dist/operationalDispositionDerivation.test.d.ts.map +1 -0
  309. package/dist/operationalDispositionDerivation.test.js +19 -0
  310. package/dist/operationalDispositionDerivation.test.js.map +1 -0
  311. package/dist/operationalFailureDiagnosis.d.ts +3 -0
  312. package/dist/operationalFailureDiagnosis.d.ts.map +1 -0
  313. package/dist/operationalFailureDiagnosis.js +25 -0
  314. package/dist/operationalFailureDiagnosis.js.map +1 -0
  315. package/dist/pipeline.d.ts +38 -0
  316. package/dist/pipeline.d.ts.map +1 -0
  317. package/dist/pipeline.js +457 -0
  318. package/dist/pipeline.js.map +1 -0
  319. package/dist/planLogicalSteps.d.ts +16 -0
  320. package/dist/planLogicalSteps.d.ts.map +1 -0
  321. package/dist/planLogicalSteps.js +51 -0
  322. package/dist/planLogicalSteps.js.map +1 -0
  323. package/dist/planLogicalSteps.test.d.ts +2 -0
  324. package/dist/planLogicalSteps.test.d.ts.map +1 -0
  325. package/dist/planLogicalSteps.test.js +88 -0
  326. package/dist/planLogicalSteps.test.js.map +1 -0
  327. package/dist/planTransition.d.ts +88 -0
  328. package/dist/planTransition.d.ts.map +1 -0
  329. package/dist/planTransition.js +490 -0
  330. package/dist/planTransition.js.map +1 -0
  331. package/dist/planTransition.test.d.ts +2 -0
  332. package/dist/planTransition.test.d.ts.map +1 -0
  333. package/dist/planTransition.test.js +956 -0
  334. package/dist/planTransition.test.js.map +1 -0
  335. package/dist/planTransitionConstants.d.ts +3 -0
  336. package/dist/planTransitionConstants.d.ts.map +1 -0
  337. package/dist/planTransitionConstants.js +3 -0
  338. package/dist/planTransitionConstants.js.map +1 -0
  339. package/dist/planTransitionPathHarvest.d.ts +24 -0
  340. package/dist/planTransitionPathHarvest.d.ts.map +1 -0
  341. package/dist/planTransitionPathHarvest.js +273 -0
  342. package/dist/planTransitionPathHarvest.js.map +1 -0
  343. package/dist/planTransitionPathHarvest.test.d.ts +2 -0
  344. package/dist/planTransitionPathHarvest.test.d.ts.map +1 -0
  345. package/dist/planTransitionPathHarvest.test.js +232 -0
  346. package/dist/planTransitionPathHarvest.test.js.map +1 -0
  347. package/dist/prepareWorkflowEvents.d.ts +6 -0
  348. package/dist/prepareWorkflowEvents.d.ts.map +1 -0
  349. package/dist/prepareWorkflowEvents.js +8 -0
  350. package/dist/prepareWorkflowEvents.js.map +1 -0
  351. package/dist/publicDistribution.generated.d.ts +3 -0
  352. package/dist/publicDistribution.generated.d.ts.map +1 -0
  353. package/dist/publicDistribution.generated.js +9 -0
  354. package/dist/publicDistribution.generated.js.map +1 -0
  355. package/dist/quickVerify/atomicWrite.d.ts +6 -0
  356. package/dist/quickVerify/atomicWrite.d.ts.map +1 -0
  357. package/dist/quickVerify/atomicWrite.js +33 -0
  358. package/dist/quickVerify/atomicWrite.js.map +1 -0
  359. package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts +14 -0
  360. package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts.map +1 -0
  361. package/dist/quickVerify/buildQuickContractEventsNdjson.js +28 -0
  362. package/dist/quickVerify/buildQuickContractEventsNdjson.js.map +1 -0
  363. package/dist/quickVerify/canonicalJson.d.ts +5 -0
  364. package/dist/quickVerify/canonicalJson.d.ts.map +1 -0
  365. package/dist/quickVerify/canonicalJson.js +23 -0
  366. package/dist/quickVerify/canonicalJson.js.map +1 -0
  367. package/dist/quickVerify/decomposeUnits.d.ts +15 -0
  368. package/dist/quickVerify/decomposeUnits.d.ts.map +1 -0
  369. package/dist/quickVerify/decomposeUnits.js +50 -0
  370. package/dist/quickVerify/decomposeUnits.js.map +1 -0
  371. package/dist/quickVerify/exportTool.d.ts +6 -0
  372. package/dist/quickVerify/exportTool.d.ts.map +1 -0
  373. package/dist/quickVerify/exportTool.js +20 -0
  374. package/dist/quickVerify/exportTool.js.map +1 -0
  375. package/dist/quickVerify/forbiddenMutatingSql.d.ts +4 -0
  376. package/dist/quickVerify/forbiddenMutatingSql.d.ts.map +1 -0
  377. package/dist/quickVerify/forbiddenMutatingSql.js +6 -0
  378. package/dist/quickVerify/forbiddenMutatingSql.js.map +1 -0
  379. package/dist/quickVerify/formatQuickVerifyHumanReport.d.ts +17 -0
  380. package/dist/quickVerify/formatQuickVerifyHumanReport.d.ts.map +1 -0
  381. package/dist/quickVerify/formatQuickVerifyHumanReport.js +65 -0
  382. package/dist/quickVerify/formatQuickVerifyHumanReport.js.map +1 -0
  383. package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts +2 -0
  384. package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts.map +1 -0
  385. package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +41 -0
  386. package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -0
  387. package/dist/quickVerify/ingest.d.ts +34 -0
  388. package/dist/quickVerify/ingest.d.ts.map +1 -0
  389. package/dist/quickVerify/ingest.js +327 -0
  390. package/dist/quickVerify/ingest.js.map +1 -0
  391. package/dist/quickVerify/noMutatingSqlInSources.test.d.ts +2 -0
  392. package/dist/quickVerify/noMutatingSqlInSources.test.d.ts.map +1 -0
  393. package/dist/quickVerify/noMutatingSqlInSources.test.js +34 -0
  394. package/dist/quickVerify/noMutatingSqlInSources.test.js.map +1 -0
  395. package/dist/quickVerify/postgresCatalog.d.ts +19 -0
  396. package/dist/quickVerify/postgresCatalog.d.ts.map +1 -0
  397. package/dist/quickVerify/postgresCatalog.js +107 -0
  398. package/dist/quickVerify/postgresCatalog.js.map +1 -0
  399. package/dist/quickVerify/quickVerifyHumanCopy.d.ts +9 -0
  400. package/dist/quickVerify/quickVerifyHumanCopy.d.ts.map +1 -0
  401. package/dist/quickVerify/quickVerifyHumanCopy.js +24 -0
  402. package/dist/quickVerify/quickVerifyHumanCopy.js.map +1 -0
  403. package/dist/quickVerify/quickVerifyProductTruth.d.ts +16 -0
  404. package/dist/quickVerify/quickVerifyProductTruth.d.ts.map +1 -0
  405. package/dist/quickVerify/quickVerifyProductTruth.js +19 -0
  406. package/dist/quickVerify/quickVerifyProductTruth.js.map +1 -0
  407. package/dist/quickVerify/quickVerifyScope.d.ts +12 -0
  408. package/dist/quickVerify/quickVerifyScope.d.ts.map +1 -0
  409. package/dist/quickVerify/quickVerifyScope.js +16 -0
  410. package/dist/quickVerify/quickVerifyScope.js.map +1 -0
  411. package/dist/quickVerify/relationalPlan.d.ts +10 -0
  412. package/dist/quickVerify/relationalPlan.d.ts.map +1 -0
  413. package/dist/quickVerify/relationalPlan.js +37 -0
  414. package/dist/quickVerify/relationalPlan.js.map +1 -0
  415. package/dist/quickVerify/rowUnit.d.ts +15 -0
  416. package/dist/quickVerify/rowUnit.d.ts.map +1 -0
  417. package/dist/quickVerify/rowUnit.js +132 -0
  418. package/dist/quickVerify/rowUnit.js.map +1 -0
  419. package/dist/quickVerify/runQuickVerify.d.ts +65 -0
  420. package/dist/quickVerify/runQuickVerify.d.ts.map +1 -0
  421. package/dist/quickVerify/runQuickVerify.js +320 -0
  422. package/dist/quickVerify/runQuickVerify.js.map +1 -0
  423. package/dist/quickVerify/schemaCatalogTypes.d.ts +22 -0
  424. package/dist/quickVerify/schemaCatalogTypes.d.ts.map +1 -0
  425. package/dist/quickVerify/schemaCatalogTypes.js +2 -0
  426. package/dist/quickVerify/schemaCatalogTypes.js.map +1 -0
  427. package/dist/quickVerify/sqliteCatalog.d.ts +13 -0
  428. package/dist/quickVerify/sqliteCatalog.d.ts.map +1 -0
  429. package/dist/quickVerify/sqliteCatalog.js +48 -0
  430. package/dist/quickVerify/sqliteCatalog.js.map +1 -0
  431. package/dist/quickVerify/tableScoring.d.ts +24 -0
  432. package/dist/quickVerify/tableScoring.d.ts.map +1 -0
  433. package/dist/quickVerify/tableScoring.js +156 -0
  434. package/dist/quickVerify/tableScoring.js.map +1 -0
  435. package/dist/quickVerify/thresholds.d.ts +11 -0
  436. package/dist/quickVerify/thresholds.d.ts.map +1 -0
  437. package/dist/quickVerify/thresholds.js +11 -0
  438. package/dist/quickVerify/thresholds.js.map +1 -0
  439. package/dist/quickVerify/verifyExecution.d.ts +15 -0
  440. package/dist/quickVerify/verifyExecution.d.ts.map +1 -0
  441. package/dist/quickVerify/verifyExecution.js +153 -0
  442. package/dist/quickVerify/verifyExecution.js.map +1 -0
  443. package/dist/reconciler.d.ts +25 -0
  444. package/dist/reconciler.d.ts.map +1 -0
  445. package/dist/reconciler.js +266 -0
  446. package/dist/reconciler.js.map +1 -0
  447. package/dist/reconciliationPresentation.d.ts +83 -0
  448. package/dist/reconciliationPresentation.d.ts.map +1 -0
  449. package/dist/reconciliationPresentation.js +195 -0
  450. package/dist/reconciliationPresentation.js.map +1 -0
  451. package/dist/registryValidation.d.ts +48 -0
  452. package/dist/registryValidation.d.ts.map +1 -0
  453. package/dist/registryValidation.js +254 -0
  454. package/dist/registryValidation.js.map +1 -0
  455. package/dist/registryValidation.test.d.ts +2 -0
  456. package/dist/registryValidation.test.d.ts.map +1 -0
  457. package/dist/registryValidation.test.js +186 -0
  458. package/dist/registryValidation.test.js.map +1 -0
  459. package/dist/relationalInvariant.d.ts +28 -0
  460. package/dist/relationalInvariant.d.ts.map +1 -0
  461. package/dist/relationalInvariant.existsSql.test.d.ts +2 -0
  462. package/dist/relationalInvariant.existsSql.test.d.ts.map +1 -0
  463. package/dist/relationalInvariant.existsSql.test.js +12 -0
  464. package/dist/relationalInvariant.existsSql.test.js.map +1 -0
  465. package/dist/relationalInvariant.js +347 -0
  466. package/dist/relationalInvariant.js.map +1 -0
  467. package/dist/relationalInvariant.test.d.ts +2 -0
  468. package/dist/relationalInvariant.test.d.ts.map +1 -0
  469. package/dist/relationalInvariant.test.js +32 -0
  470. package/dist/relationalInvariant.test.js.map +1 -0
  471. package/dist/remediationConsumptionGuard.test.d.ts +2 -0
  472. package/dist/remediationConsumptionGuard.test.d.ts.map +1 -0
  473. package/dist/remediationConsumptionGuard.test.js +80 -0
  474. package/dist/remediationConsumptionGuard.test.js.map +1 -0
  475. package/dist/remediationWireSurfaceGuard.test.d.ts +2 -0
  476. package/dist/remediationWireSurfaceGuard.test.d.ts.map +1 -0
  477. package/dist/remediationWireSurfaceGuard.test.js +39 -0
  478. package/dist/remediationWireSurfaceGuard.test.js.map +1 -0
  479. package/dist/resolveExpectation.d.ts +28 -0
  480. package/dist/resolveExpectation.d.ts.map +1 -0
  481. package/dist/resolveExpectation.js +654 -0
  482. package/dist/resolveExpectation.js.map +1 -0
  483. package/dist/resolveExpectation.test.d.ts +2 -0
  484. package/dist/resolveExpectation.test.d.ts.map +1 -0
  485. package/dist/resolveExpectation.test.js +434 -0
  486. package/dist/resolveExpectation.test.js.map +1 -0
  487. package/dist/resolveFailureCodes.d.ts +2 -0
  488. package/dist/resolveFailureCodes.d.ts.map +1 -0
  489. package/dist/resolveFailureCodes.js +7 -0
  490. package/dist/resolveFailureCodes.js.map +1 -0
  491. package/dist/runComparison.d.ts +168 -0
  492. package/dist/runComparison.d.ts.map +1 -0
  493. package/dist/runComparison.js +675 -0
  494. package/dist/runComparison.js.map +1 -0
  495. package/dist/runComparison.test.d.ts +2 -0
  496. package/dist/runComparison.test.d.ts.map +1 -0
  497. package/dist/runComparison.test.js +507 -0
  498. package/dist/runComparison.test.js.map +1 -0
  499. package/dist/runLevelDriftMessages.d.ts +4 -0
  500. package/dist/runLevelDriftMessages.d.ts.map +1 -0
  501. package/dist/runLevelDriftMessages.js +4 -0
  502. package/dist/runLevelDriftMessages.js.map +1 -0
  503. package/dist/schema-validation.test.d.ts +2 -0
  504. package/dist/schema-validation.test.d.ts.map +1 -0
  505. package/dist/schema-validation.test.js +531 -0
  506. package/dist/schema-validation.test.js.map +1 -0
  507. package/dist/schemaLoad.d.ts +5 -0
  508. package/dist/schemaLoad.d.ts.map +1 -0
  509. package/dist/schemaLoad.js +152 -0
  510. package/dist/schemaLoad.js.map +1 -0
  511. package/dist/shareReport/postPublicVerificationReport.d.ts +26 -0
  512. package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -0
  513. package/dist/shareReport/postPublicVerificationReport.js +38 -0
  514. package/dist/shareReport/postPublicVerificationReport.js.map +1 -0
  515. package/dist/slice6.compare.ac.test.d.ts +2 -0
  516. package/dist/slice6.compare.ac.test.d.ts.map +1 -0
  517. package/dist/slice6.compare.ac.test.js +81 -0
  518. package/dist/slice6.compare.ac.test.js.map +1 -0
  519. package/dist/sqlConnector.d.ts +15 -0
  520. package/dist/sqlConnector.d.ts.map +1 -0
  521. package/dist/sqlConnector.js +36 -0
  522. package/dist/sqlConnector.js.map +1 -0
  523. package/dist/sqlReadBackend.d.ts +19 -0
  524. package/dist/sqlReadBackend.d.ts.map +1 -0
  525. package/dist/sqlReadBackend.js +67 -0
  526. package/dist/sqlReadBackend.js.map +1 -0
  527. package/dist/standardVerifyWorkflowCli.d.ts +24 -0
  528. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -0
  529. package/dist/standardVerifyWorkflowCli.js +95 -0
  530. package/dist/standardVerifyWorkflowCli.js.map +1 -0
  531. package/dist/taxonomyAuthority.test.d.ts +2 -0
  532. package/dist/taxonomyAuthority.test.d.ts.map +1 -0
  533. package/dist/taxonomyAuthority.test.js +44 -0
  534. package/dist/taxonomyAuthority.test.js.map +1 -0
  535. package/dist/toolsRegistryLoad.d.ts +7 -0
  536. package/dist/toolsRegistryLoad.d.ts.map +1 -0
  537. package/dist/toolsRegistryLoad.js +32 -0
  538. package/dist/toolsRegistryLoad.js.map +1 -0
  539. package/dist/truthLayerError.d.ts +8 -0
  540. package/dist/truthLayerError.d.ts.map +1 -0
  541. package/dist/truthLayerError.js +9 -0
  542. package/dist/truthLayerError.js.map +1 -0
  543. package/dist/types.d.ts +706 -0
  544. package/dist/types.d.ts.map +1 -0
  545. package/dist/types.js +24 -0
  546. package/dist/types.js.map +1 -0
  547. package/dist/valueVerification.d.ts +12 -0
  548. package/dist/valueVerification.d.ts.map +1 -0
  549. package/dist/valueVerification.js +112 -0
  550. package/dist/valueVerification.js.map +1 -0
  551. package/dist/valueVerification.test.d.ts +2 -0
  552. package/dist/valueVerification.test.d.ts.map +1 -0
  553. package/dist/valueVerification.test.js +112 -0
  554. package/dist/valueVerification.test.js.map +1 -0
  555. package/dist/verificationAgainstSystemState.requirements.test.d.ts +2 -0
  556. package/dist/verificationAgainstSystemState.requirements.test.d.ts.map +1 -0
  557. package/dist/verificationAgainstSystemState.requirements.test.js +326 -0
  558. package/dist/verificationAgainstSystemState.requirements.test.js.map +1 -0
  559. package/dist/verificationDiagnostics.d.ts +21 -0
  560. package/dist/verificationDiagnostics.d.ts.map +1 -0
  561. package/dist/verificationDiagnostics.js +141 -0
  562. package/dist/verificationDiagnostics.js.map +1 -0
  563. package/dist/verificationDiagnostics.test.d.ts +2 -0
  564. package/dist/verificationDiagnostics.test.d.ts.map +1 -0
  565. package/dist/verificationDiagnostics.test.js +228 -0
  566. package/dist/verificationDiagnostics.test.js.map +1 -0
  567. package/dist/verificationPolicy.d.ts +33 -0
  568. package/dist/verificationPolicy.d.ts.map +1 -0
  569. package/dist/verificationPolicy.js +495 -0
  570. package/dist/verificationPolicy.js.map +1 -0
  571. package/dist/verificationPolicy.test.d.ts +2 -0
  572. package/dist/verificationPolicy.test.d.ts.map +1 -0
  573. package/dist/verificationPolicy.test.js +252 -0
  574. package/dist/verificationPolicy.test.js.map +1 -0
  575. package/dist/verificationRunContext.d.ts +10 -0
  576. package/dist/verificationRunContext.d.ts.map +1 -0
  577. package/dist/verificationRunContext.js +111 -0
  578. package/dist/verificationRunContext.js.map +1 -0
  579. package/dist/verificationUserPhrases.d.ts +22 -0
  580. package/dist/verificationUserPhrases.d.ts.map +1 -0
  581. package/dist/verificationUserPhrases.js +99 -0
  582. package/dist/verificationUserPhrases.js.map +1 -0
  583. package/dist/verificationUserPhrases.test.d.ts +2 -0
  584. package/dist/verificationUserPhrases.test.d.ts.map +1 -0
  585. package/dist/verificationUserPhrases.test.js +47 -0
  586. package/dist/verificationUserPhrases.test.js.map +1 -0
  587. package/dist/verifyRunBundleSignature.d.ts +14 -0
  588. package/dist/verifyRunBundleSignature.d.ts.map +1 -0
  589. package/dist/verifyRunBundleSignature.js +139 -0
  590. package/dist/verifyRunBundleSignature.js.map +1 -0
  591. package/dist/verifyRunBundleSignature.test.d.ts +2 -0
  592. package/dist/verifyRunBundleSignature.test.d.ts.map +1 -0
  593. package/dist/verifyRunBundleSignature.test.js +169 -0
  594. package/dist/verifyRunBundleSignature.test.js.map +1 -0
  595. package/dist/wireReasonCodes.d.ts +57 -0
  596. package/dist/wireReasonCodes.d.ts.map +1 -0
  597. package/dist/wireReasonCodes.js +57 -0
  598. package/dist/wireReasonCodes.js.map +1 -0
  599. package/dist/wireReasonEmittersGuard.test.d.ts +2 -0
  600. package/dist/wireReasonEmittersGuard.test.d.ts.map +1 -0
  601. package/dist/wireReasonEmittersGuard.test.js +36 -0
  602. package/dist/wireReasonEmittersGuard.test.js.map +1 -0
  603. package/dist/withWorkflowVerification.persistBundle.test.d.ts +2 -0
  604. package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +1 -0
  605. package/dist/withWorkflowVerification.persistBundle.test.js +104 -0
  606. package/dist/withWorkflowVerification.persistBundle.test.js.map +1 -0
  607. package/dist/workflowResultNormalize.d.ts +9 -0
  608. package/dist/workflowResultNormalize.d.ts.map +1 -0
  609. package/dist/workflowResultNormalize.js +40 -0
  610. package/dist/workflowResultNormalize.js.map +1 -0
  611. package/dist/workflowResultSignature.d.ts +8 -0
  612. package/dist/workflowResultSignature.d.ts.map +1 -0
  613. package/dist/workflowResultSignature.js +44 -0
  614. package/dist/workflowResultSignature.js.map +1 -0
  615. package/dist/workflowRunLevelConsistency.d.ts +5 -0
  616. package/dist/workflowRunLevelConsistency.d.ts.map +1 -0
  617. package/dist/workflowRunLevelConsistency.js +30 -0
  618. package/dist/workflowRunLevelConsistency.js.map +1 -0
  619. package/dist/workflowTruthReport.d.ts +24 -0
  620. package/dist/workflowTruthReport.d.ts.map +1 -0
  621. package/dist/workflowTruthReport.js +395 -0
  622. package/dist/workflowTruthReport.js.map +1 -0
  623. package/dist/workflowTruthReport.semantics.test.d.ts +2 -0
  624. package/dist/workflowTruthReport.semantics.test.d.ts.map +1 -0
  625. package/dist/workflowTruthReport.semantics.test.js +182 -0
  626. package/dist/workflowTruthReport.semantics.test.js.map +1 -0
  627. package/dist/workflowVerdictSurface.test.d.ts +2 -0
  628. package/dist/workflowVerdictSurface.test.d.ts.map +1 -0
  629. package/dist/workflowVerdictSurface.test.js +68 -0
  630. package/dist/workflowVerdictSurface.test.js.map +1 -0
  631. package/dist/writeRunBundleCli.d.ts +9 -0
  632. package/dist/writeRunBundleCli.d.ts.map +1 -0
  633. package/dist/writeRunBundleCli.js +28 -0
  634. package/dist/writeRunBundleCli.js.map +1 -0
  635. package/package.json +115 -0
  636. package/schemas/agent-run-record-v1.schema.json +51 -0
  637. package/schemas/agent-run-record-v2.schema.json +61 -0
  638. package/schemas/assurance-manifest-v1.schema.json +28 -0
  639. package/schemas/assurance-run-report-v1.schema.json +28 -0
  640. package/schemas/ci-lock-v1.schema.json +163 -0
  641. package/schemas/cli-error-envelope.schema.json +48 -0
  642. package/schemas/event.schema.json +111 -0
  643. package/schemas/execution-trace-view.schema.json +122 -0
  644. package/schemas/openapi-commercial-v1.in.yaml +215 -0
  645. package/schemas/openapi-commercial-v1.yaml +215 -0
  646. package/schemas/plan-validation-core.schema.json +95 -0
  647. package/schemas/public-verification-report-v1.schema.json +51 -0
  648. package/schemas/quick-verify-report.schema.json +251 -0
  649. package/schemas/registry-validation-result.schema.json +99 -0
  650. package/schemas/run-comparison-report.schema.json +513 -0
  651. package/schemas/tools-registry-export.schema.json +9 -0
  652. package/schemas/tools-registry.schema.json +284 -0
  653. package/schemas/workflow-engine-result.schema.json +591 -0
  654. package/schemas/workflow-result-compare-input.schema.json +15 -0
  655. package/schemas/workflow-result-signature.schema.json +20 -0
  656. package/schemas/workflow-result-v9.schema.json +85 -0
  657. package/schemas/workflow-result.schema.json +80 -0
  658. package/schemas/workflow-truth-report.schema.json +761 -0
  659. package/scripts/discovery-acquisition.lib.cjs +195 -0
  660. package/scripts/discovery-payload.lib.cjs +346 -0
  661. package/scripts/render-discovery-ci.mjs +103 -0
@@ -0,0 +1,495 @@
1
+ import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
2
+ import { rollupMultiEffectsFromReconciledRows, rollupMultiEffectsSync, rollupSqlRelationalAsync, rollupSqlRelationalFromReconciled, rollupSqlRelationalSync, } from "./multiEffectRollup.js";
3
+ import { compareUtf16Id } from "./resolveExpectation.js";
4
+ import { reconcileRelationalSqlite } from "./relationalInvariant.js";
5
+ import { reconcileSqlRow, reconcileSqlRowAbsent, } from "./reconciler.js";
6
+ import { TruthLayerError } from "./truthLayerError.js";
7
+ import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
8
+ export const DEFAULT_VERIFICATION_POLICY = {
9
+ consistencyMode: "strong",
10
+ verificationWindowMs: 0,
11
+ pollIntervalMs: 0,
12
+ };
13
+ const defaultTiming = {
14
+ now: () => Date.now(),
15
+ sleep: (ms) => new Promise((resolve) => setTimeout(resolve, ms)),
16
+ };
17
+ function mergeTiming(partial) {
18
+ return {
19
+ now: partial?.now ?? defaultTiming.now,
20
+ sleep: partial?.sleep ?? defaultTiming.sleep,
21
+ };
22
+ }
23
+ export function normalizeVerificationPolicy(policy) {
24
+ if (policy.consistencyMode === "strong") {
25
+ return {
26
+ consistencyMode: "strong",
27
+ verificationWindowMs: 0,
28
+ pollIntervalMs: 0,
29
+ };
30
+ }
31
+ return {
32
+ consistencyMode: "eventual",
33
+ verificationWindowMs: policy.verificationWindowMs,
34
+ pollIntervalMs: policy.pollIntervalMs,
35
+ };
36
+ }
37
+ export function assertValidVerificationPolicy(policy) {
38
+ if (policy.consistencyMode === "strong") {
39
+ return;
40
+ }
41
+ if (!Number.isInteger(policy.verificationWindowMs) || policy.verificationWindowMs < 1) {
42
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "eventual mode requires integer verificationWindowMs >= 1");
43
+ }
44
+ if (!Number.isInteger(policy.pollIntervalMs) || policy.pollIntervalMs < 1) {
45
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "eventual mode requires integer pollIntervalMs >= 1");
46
+ }
47
+ if (policy.pollIntervalMs > policy.verificationWindowMs) {
48
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "pollIntervalMs must be <= verificationWindowMs");
49
+ }
50
+ }
51
+ /** Normalize, validate, and return policy (throws TruthLayerError if invalid). */
52
+ export function resolveVerificationPolicyInput(input) {
53
+ const merged = input ?? DEFAULT_VERIFICATION_POLICY;
54
+ const normalized = normalizeVerificationPolicy(merged);
55
+ assertValidVerificationPolicy(normalized);
56
+ return normalized;
57
+ }
58
+ function reconcileRowsToEffectInput(effects, recs) {
59
+ return effects.map((e, i) => {
60
+ const rec = recs[i];
61
+ return {
62
+ id: e.id,
63
+ status: rec.status,
64
+ reasons: rec.reasons,
65
+ evidenceSummary: rec.evidenceSummary,
66
+ table: e.request.table,
67
+ identityEq: e.request.identityEq,
68
+ requiredFields: e.request.requiredFields,
69
+ };
70
+ });
71
+ }
72
+ function classifyMultiEffectAfterReconcile(effects, recs) {
73
+ const rows = reconcileRowsToEffectInput(effects, recs);
74
+ rows.sort((a, b) => compareUtf16Id(a.id, b.id));
75
+ const incomplete = rows.filter((e) => e.status === "incomplete_verification");
76
+ if (incomplete.length > 0) {
77
+ return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
78
+ }
79
+ const verified = rows.filter((e) => e.status === "verified");
80
+ if (verified.length === rows.length) {
81
+ return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
82
+ }
83
+ if (rows.every((e) => e.status === "missing")) {
84
+ return { kind: "pending_all_missing" };
85
+ }
86
+ return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
87
+ }
88
+ function classifyMultiRelationalAfterReconcile(checks, recs) {
89
+ const pairs = checks.map((check, i) => ({
90
+ id: check.id,
91
+ status: recs[i].status,
92
+ reasons: recs[i].reasons,
93
+ evidenceSummary: recs[i].evidenceSummary,
94
+ }));
95
+ pairs.sort((a, b) => compareUtf16Id(a.id, b.id));
96
+ const incomplete = pairs.filter((e) => e.status === "incomplete_verification");
97
+ if (incomplete.length > 0) {
98
+ return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
99
+ }
100
+ const verified = pairs.filter((e) => e.status === "verified");
101
+ if (verified.length === pairs.length) {
102
+ return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
103
+ }
104
+ if (pairs.every((e) => e.status === "missing")) {
105
+ return { kind: "pending_all_missing" };
106
+ }
107
+ return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
108
+ }
109
+ function buildUncertainSqlRow(request, attempts, elapsedMs, policy) {
110
+ const { verificationWindowMs, pollIntervalMs } = policy;
111
+ return {
112
+ verificationRequest: request,
113
+ status: "uncertain",
114
+ reasons: [
115
+ {
116
+ code: SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW,
117
+ message: "No row matched the key within the verification window; replication or processing delay is possible.",
118
+ },
119
+ ],
120
+ evidenceSummary: {
121
+ attempts,
122
+ elapsedMs,
123
+ verificationWindowMs,
124
+ pollIntervalMs,
125
+ },
126
+ };
127
+ }
128
+ function buildUncertainSqlRowAbsent(request, attempts, elapsedMs, policy, lastRec) {
129
+ const { verificationWindowMs, pollIntervalMs } = policy;
130
+ const mc = lastRec.evidenceSummary.matchedRowCount;
131
+ const sr = lastRec.evidenceSummary.sampleRows;
132
+ return {
133
+ verificationRequest: request,
134
+ status: "uncertain",
135
+ reasons: [
136
+ {
137
+ code: SQL_VERIFICATION_OUTCOME_CODE.FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW,
138
+ message: "Forbidden row(s) still present within the verification window; replication or processing delay is possible.",
139
+ },
140
+ ],
141
+ evidenceSummary: {
142
+ attempts,
143
+ elapsedMs,
144
+ verificationWindowMs,
145
+ pollIntervalMs,
146
+ matchedRowCount: typeof mc === "number" && mc >= 1 ? mc : 1,
147
+ sampleRows: Array.isArray(sr) ? sr : [],
148
+ },
149
+ };
150
+ }
151
+ function buildUncertainSqlEffects(effects, recs, attempts, elapsedMs, policy) {
152
+ const { verificationWindowMs, pollIntervalMs } = policy;
153
+ const rows = reconcileRowsToEffectInput(effects, recs);
154
+ rows.sort((a, b) => compareUtf16Id(a.id, b.id));
155
+ const n = rows.length;
156
+ const verificationRequest = {
157
+ kind: "sql_effects",
158
+ effects: rows.map((r) => ({
159
+ id: r.id,
160
+ kind: "sql_row",
161
+ table: r.table,
162
+ identityEq: r.identityEq,
163
+ requiredFields: r.requiredFields,
164
+ })),
165
+ };
166
+ const effectRows = rows.map((r) => ({
167
+ id: r.id,
168
+ status: r.status,
169
+ reasons: r.reasons,
170
+ evidenceSummary: r.evidenceSummary,
171
+ }));
172
+ return {
173
+ verificationRequest,
174
+ status: "uncertain",
175
+ reasons: [
176
+ {
177
+ code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW,
178
+ message: `Not all effects were observable within the verification window; replication or processing delay is possible (effects: ${rows
179
+ .map((r) => r.id)
180
+ .sort(compareUtf16Id)
181
+ .join(", ")}).`,
182
+ },
183
+ ],
184
+ evidenceSummary: {
185
+ effectCount: n,
186
+ effects: effectRows,
187
+ attempts,
188
+ elapsedMs,
189
+ verificationWindowMs,
190
+ pollIntervalMs,
191
+ },
192
+ };
193
+ }
194
+ function buildUncertainSqlRelational(checks, recs, attempts, elapsedMs, policy) {
195
+ const { verificationWindowMs, pollIntervalMs } = policy;
196
+ const sortedPairs = checks
197
+ .map((check, i) => ({ check, rec: recs[i] }))
198
+ .sort((a, b) => compareUtf16Id(a.check.id, b.check.id));
199
+ const sortedChecks = sortedPairs.map((p) => p.check);
200
+ const n = sortedChecks.length;
201
+ const verificationRequest = {
202
+ kind: "sql_relational",
203
+ checks: sortedChecks,
204
+ };
205
+ const effectRows = sortedPairs.map((p) => ({
206
+ id: p.check.id,
207
+ status: p.rec.status,
208
+ reasons: p.rec.reasons,
209
+ evidenceSummary: p.rec.evidenceSummary,
210
+ }));
211
+ return {
212
+ verificationRequest,
213
+ status: "uncertain",
214
+ reasons: [
215
+ {
216
+ code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW,
217
+ message: `Not all effects were observable within the verification window; replication or processing delay is possible (effects: ${sortedChecks
218
+ .map((c) => c.id)
219
+ .sort(compareUtf16Id)
220
+ .join(", ")}).`,
221
+ },
222
+ ],
223
+ evidenceSummary: {
224
+ effectCount: n,
225
+ effects: effectRows,
226
+ attempts,
227
+ elapsedMs,
228
+ verificationWindowMs,
229
+ pollIntervalMs,
230
+ },
231
+ };
232
+ }
233
+ function buildUncertainSqlRelationalSingle(check, attempts, elapsedMs, policy) {
234
+ const { verificationWindowMs, pollIntervalMs } = policy;
235
+ return {
236
+ verificationRequest: { kind: "sql_relational", checks: [check] },
237
+ status: "uncertain",
238
+ reasons: [
239
+ {
240
+ code: SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW,
241
+ message: "No row matched the key within the verification window; replication or processing delay is possible.",
242
+ },
243
+ ],
244
+ evidenceSummary: {
245
+ attempts,
246
+ elapsedMs,
247
+ verificationWindowMs,
248
+ pollIntervalMs,
249
+ },
250
+ };
251
+ }
252
+ async function executeSqlRowEventual(request, policy, ctx, timing) {
253
+ const { verificationWindowMs, pollIntervalMs } = policy;
254
+ const start = timing.now();
255
+ let attempts = 0;
256
+ for (;;) {
257
+ attempts++;
258
+ const rec = await ctx.reconcileRow(request);
259
+ if (rec.status !== "missing") {
260
+ return {
261
+ verificationRequest: request,
262
+ status: rec.status,
263
+ reasons: rec.reasons,
264
+ evidenceSummary: rec.evidenceSummary,
265
+ };
266
+ }
267
+ if (timing.now() - start >= verificationWindowMs) {
268
+ return buildUncertainSqlRow(request, attempts, timing.now() - start, policy);
269
+ }
270
+ await timing.sleep(pollIntervalMs);
271
+ }
272
+ }
273
+ async function executeSqlRowAbsentEventual(request, policy, ctx, timing) {
274
+ const { verificationWindowMs, pollIntervalMs } = policy;
275
+ const start = timing.now();
276
+ let attempts = 0;
277
+ for (;;) {
278
+ attempts++;
279
+ const rec = await ctx.reconcileRowAbsent(request);
280
+ if (rec.status === "verified") {
281
+ return {
282
+ verificationRequest: request,
283
+ status: rec.status,
284
+ reasons: rec.reasons,
285
+ evidenceSummary: rec.evidenceSummary,
286
+ };
287
+ }
288
+ if (rec.status !== "inconsistent" ||
289
+ rec.reasons[0]?.code !== SQL_VERIFICATION_OUTCOME_CODE.ROW_PRESENT_WHEN_FORBIDDEN) {
290
+ return {
291
+ verificationRequest: request,
292
+ status: rec.status,
293
+ reasons: rec.reasons,
294
+ evidenceSummary: rec.evidenceSummary,
295
+ };
296
+ }
297
+ if (timing.now() - start >= verificationWindowMs) {
298
+ return buildUncertainSqlRowAbsent(request, attempts, timing.now() - start, policy, rec);
299
+ }
300
+ await timing.sleep(pollIntervalMs);
301
+ }
302
+ }
303
+ async function executeSqlEffectsEventual(effects, policy, ctx, timing) {
304
+ const { verificationWindowMs, pollIntervalMs } = policy;
305
+ const start = timing.now();
306
+ let attempts = 0;
307
+ for (;;) {
308
+ attempts++;
309
+ const recs = await Promise.all(effects.map((e) => ctx.reconcileRow(e.request)));
310
+ const classified = classifyMultiEffectAfterReconcile(effects, recs);
311
+ if (classified.kind === "done") {
312
+ const out = classified.out;
313
+ return {
314
+ verificationRequest: out.verificationRequest,
315
+ status: out.status,
316
+ reasons: out.reasons,
317
+ evidenceSummary: out.evidenceSummary,
318
+ };
319
+ }
320
+ if (timing.now() - start >= verificationWindowMs) {
321
+ return buildUncertainSqlEffects(effects, recs, attempts, timing.now() - start, policy);
322
+ }
323
+ await timing.sleep(pollIntervalMs);
324
+ }
325
+ }
326
+ async function executeSqlRelationalSingleEventual(check, policy, ctx, timing) {
327
+ const { verificationWindowMs, pollIntervalMs } = policy;
328
+ const start = timing.now();
329
+ let attempts = 0;
330
+ for (;;) {
331
+ attempts++;
332
+ const rec = await ctx.reconcileRelationalCheck(check);
333
+ if (rec.status !== "missing") {
334
+ return {
335
+ verificationRequest: { kind: "sql_relational", checks: [check] },
336
+ status: rec.status,
337
+ reasons: rec.reasons,
338
+ evidenceSummary: rec.evidenceSummary,
339
+ };
340
+ }
341
+ if (timing.now() - start >= verificationWindowMs) {
342
+ return buildUncertainSqlRelationalSingle(check, attempts, timing.now() - start, policy);
343
+ }
344
+ await timing.sleep(pollIntervalMs);
345
+ }
346
+ }
347
+ async function executeSqlRelationalEventual(checks, policy, ctx, timing) {
348
+ const { verificationWindowMs, pollIntervalMs } = policy;
349
+ const start = timing.now();
350
+ let attempts = 0;
351
+ for (;;) {
352
+ attempts++;
353
+ const recs = await Promise.all(checks.map((c) => ctx.reconcileRelationalCheck(c)));
354
+ const classified = classifyMultiRelationalAfterReconcile(checks, recs);
355
+ if (classified.kind === "done") {
356
+ const out = classified.out;
357
+ return {
358
+ verificationRequest: out.verificationRequest,
359
+ status: out.status,
360
+ reasons: out.reasons,
361
+ evidenceSummary: out.evidenceSummary,
362
+ };
363
+ }
364
+ if (timing.now() - start >= verificationWindowMs) {
365
+ return buildUncertainSqlRelational(checks, recs, attempts, timing.now() - start, policy);
366
+ }
367
+ await timing.sleep(pollIntervalMs);
368
+ }
369
+ }
370
+ /** Strong mode only. Throws if policy is not strong after normalization. */
371
+ export function executeVerificationWithPolicySync(db, resolved, policy) {
372
+ const p = resolveVerificationPolicyInput(policy);
373
+ if (p.consistencyMode !== "strong") {
374
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "executeVerificationWithPolicySync requires strong consistency mode");
375
+ }
376
+ if (resolved.verificationKind === "sql_effects") {
377
+ const rolled = rollupMultiEffectsSync(db, resolved.effects);
378
+ return {
379
+ verificationRequest: rolled.verificationRequest,
380
+ status: rolled.status,
381
+ reasons: rolled.reasons,
382
+ evidenceSummary: rolled.evidenceSummary,
383
+ };
384
+ }
385
+ if (resolved.verificationKind === "sql_relational") {
386
+ const checks = resolved.checks;
387
+ if (checks.length === 1) {
388
+ const check = checks[0];
389
+ const rec = reconcileRelationalSqlite(db, check);
390
+ return {
391
+ verificationRequest: { kind: "sql_relational", checks: [check] },
392
+ status: rec.status,
393
+ reasons: rec.reasons,
394
+ evidenceSummary: rec.evidenceSummary,
395
+ };
396
+ }
397
+ const rolled = rollupSqlRelationalSync(db, checks);
398
+ return {
399
+ verificationRequest: rolled.verificationRequest,
400
+ status: rolled.status,
401
+ reasons: rolled.reasons,
402
+ evidenceSummary: rolled.evidenceSummary,
403
+ };
404
+ }
405
+ if (resolved.verificationKind === "sql_row_absent") {
406
+ const rec = reconcileSqlRowAbsent(db, resolved.request);
407
+ return {
408
+ verificationRequest: resolved.request,
409
+ status: rec.status,
410
+ reasons: rec.reasons,
411
+ evidenceSummary: rec.evidenceSummary,
412
+ };
413
+ }
414
+ const rec = reconcileSqlRow(db, resolved.request);
415
+ return {
416
+ verificationRequest: resolved.request,
417
+ status: rec.status,
418
+ reasons: rec.reasons,
419
+ evidenceSummary: rec.evidenceSummary,
420
+ };
421
+ }
422
+ export async function executeVerificationWithPolicyAsync(resolved, policy, ctx, timing) {
423
+ const p = resolveVerificationPolicyInput(policy);
424
+ const t = mergeTiming(timing);
425
+ if (p.consistencyMode === "strong") {
426
+ if (resolved.verificationKind === "sql_effects") {
427
+ const recs = await Promise.all(resolved.effects.map((e) => ctx.reconcileRow(e.request)));
428
+ const out = rollupMultiEffectsFromReconciledRows(reconcileRowsToEffectInput(resolved.effects, recs));
429
+ return {
430
+ verificationRequest: out.verificationRequest,
431
+ status: out.status,
432
+ reasons: out.reasons,
433
+ evidenceSummary: out.evidenceSummary,
434
+ };
435
+ }
436
+ if (resolved.verificationKind === "sql_relational") {
437
+ const checks = resolved.checks;
438
+ if (checks.length === 1) {
439
+ const check = checks[0];
440
+ const rec = await ctx.reconcileRelationalCheck(check);
441
+ return {
442
+ verificationRequest: { kind: "sql_relational", checks: [check] },
443
+ status: rec.status,
444
+ reasons: rec.reasons,
445
+ evidenceSummary: rec.evidenceSummary,
446
+ };
447
+ }
448
+ const out = await rollupSqlRelationalAsync(ctx.reconcileRelationalCheck, checks);
449
+ return {
450
+ verificationRequest: out.verificationRequest,
451
+ status: out.status,
452
+ reasons: out.reasons,
453
+ evidenceSummary: out.evidenceSummary,
454
+ };
455
+ }
456
+ if (resolved.verificationKind === "sql_row_absent") {
457
+ const rec = await ctx.reconcileRowAbsent(resolved.request);
458
+ return {
459
+ verificationRequest: resolved.request,
460
+ status: rec.status,
461
+ reasons: rec.reasons,
462
+ evidenceSummary: rec.evidenceSummary,
463
+ };
464
+ }
465
+ const rec = await ctx.reconcileRow(resolved.request);
466
+ return {
467
+ verificationRequest: resolved.request,
468
+ status: rec.status,
469
+ reasons: rec.reasons,
470
+ evidenceSummary: rec.evidenceSummary,
471
+ };
472
+ }
473
+ if (resolved.verificationKind === "sql_row_absent") {
474
+ return executeSqlRowAbsentEventual(resolved.request, p, ctx, t);
475
+ }
476
+ if (resolved.verificationKind === "sql_row") {
477
+ return executeSqlRowEventual(resolved.request, p, ctx, t);
478
+ }
479
+ if (resolved.verificationKind === "sql_effects") {
480
+ return executeSqlEffectsEventual(resolved.effects, p, ctx, t);
481
+ }
482
+ const checks = resolved.checks;
483
+ if (checks.length === 1) {
484
+ return executeSqlRelationalSingleEventual(checks[0], p, ctx, t);
485
+ }
486
+ return executeSqlRelationalEventual(checks, p, ctx, t);
487
+ }
488
+ export function createSqlitePolicyContext(db) {
489
+ return {
490
+ reconcileRow: (req) => Promise.resolve(reconcileSqlRow(db, req)),
491
+ reconcileRowAbsent: (req) => Promise.resolve(reconcileSqlRowAbsent(db, req)),
492
+ reconcileRelationalCheck: (check) => Promise.resolve(reconcileRelationalSqlite(db, check)),
493
+ };
494
+ }
495
+ //# sourceMappingURL=verificationPolicy.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verificationPolicy.js","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,oCAAoC,EACpC,sBAAsB,EACtB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EACL,eAAe,EACf,qBAAqB,GAEtB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,eAAe,EAAE,QAAQ;IACzB,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAOF,MAAM,aAAa,GAAe;IAChC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;IACrB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;CACjE,CAAC;AAiBF,SAAS,WAAW,CAAC,OAA6B;IAChD,OAAO;QACL,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa,CAAC,KAAK;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA0B;IACpE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;YACL,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,eAAe,EAAE,UAAU;QAC3B,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA0B;IACtE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,gDAAgD,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,8BAA8B,CAAC,KAA0B;IACvE,MAAM,MAAM,GAAG,KAAK,IAAI,2BAA2B,CAAC;IACpD,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvD,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAyB,EACzB,IAAuB;IAUvB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;YACtB,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAChC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;SACzC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iCAAiC,CACxC,OAAyB,EACzB,IAAuB;IAIvB,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC9E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAiC,EACjC,IAAuB;IAIvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM;QACvB,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO;QACzB,eAAe,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,eAAe;KAC1C,CAAC,CAAC,CAAC;IACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC/E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA4B,EAC5B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAqC,EACrC,QAAgB,EAChB,SAAiB,EACjB,MAA0B,EAC1B,OAAwB;IAExB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;IAC9C,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,0CAA0C;gBAC9E,OAAO,EACL,6GAA6G;aAChH;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;YACd,eAAe,EAAE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAyB,EACzB,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,SAAkB;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,cAAc,EAAE,CAAC,CAAC,cAAc;SACjC,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,IAAI;qBACnI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAiC,EACjC,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;SACvB,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,gBAAyB;QAC/B,MAAM,EAAE,YAAY;KACrB,CAAC;IACF,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;QACd,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO;QACtB,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;KACvC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,YAAY;qBAC3I,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,KAA8B,EAC9B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;QAChE,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAA4B,EAC5B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,OAAqC,EACrC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IACE,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,0BAA0B,EACjF,CAAC;YACD,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,0BAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,KAA8B,EAC9B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,iCAAiC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,4BAA4B,CACzC,MAAiC,EACjC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,qCAAqC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iCAAiC,CAC/C,EAAgB,EAChB,QAAoB,EACpB,MAA0B;IAE1B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,GAAG,GAAG,qBAAqB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO;QACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QACrC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,QAAoB,EACpB,MAA0B,EAC1B,GAA2B,EAC3B,MAA4B;IAE5B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAE9B,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,GAAG,oCAAoC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACrG,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;gBACtD,OAAO;oBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;oBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;iBACrC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,wBAAwB,CAAC,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO;gBACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;gBACrC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,kCAAkC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,4BAA4B,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB;IACxD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChE,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5E,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;KAC3F,CAAC;AACJ,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=verificationPolicy.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verificationPolicy.test.d.ts","sourceRoot":"","sources":["../src/verificationPolicy.test.ts"],"names":[],"mappings":""}