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,164 @@
1
+ import { formatOperationalMessage } from "./failureCatalog.js";
2
+ import { reconcileRelationalSqlite } from "./relationalInvariant.js";
3
+ import { reconcileSqlRow, reconcileSqlRowAsync } from "./reconciler.js";
4
+ import { compareUtf16Id } from "./resolveExpectation.js";
5
+ import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
6
+ /** Sorted by effect id; each segment is `id (firstReasonCode)`. */
7
+ function formatPerEffectFailureCodes(rows) {
8
+ const parts = [...rows]
9
+ .sort((a, b) => compareUtf16Id(a.id, b.id))
10
+ .map((e) => {
11
+ const code = e.reasons[0]?.code ?? "UNKNOWN";
12
+ return `${e.id} (${code})`;
13
+ });
14
+ return parts.join("; ");
15
+ }
16
+ /** Shared status machine for sql_effects and sql_relational multi-check rollups. */
17
+ export function computeMultiCheckRollupStatus(effectRows) {
18
+ const n = effectRows.length;
19
+ const incomplete = effectRows.filter((e) => e.status === "incomplete_verification");
20
+ const verified = effectRows.filter((e) => e.status === "verified");
21
+ if (incomplete.length > 0) {
22
+ const ids = incomplete.map((e) => e.id).sort(compareUtf16Id);
23
+ return {
24
+ status: "incomplete_verification",
25
+ reasons: [
26
+ {
27
+ code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_INCOMPLETE,
28
+ message: `Incomplete verification for effects: ${ids.join(", ")}`,
29
+ },
30
+ ],
31
+ };
32
+ }
33
+ if (verified.length === n) {
34
+ return { status: "verified", reasons: [] };
35
+ }
36
+ if (verified.length === 0) {
37
+ const ids = effectRows.map((e) => e.id).sort(compareUtf16Id);
38
+ const detail = formatPerEffectFailureCodes(effectRows);
39
+ return {
40
+ status: "inconsistent",
41
+ reasons: [
42
+ {
43
+ code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_ALL_FAILED,
44
+ message: formatOperationalMessage(`All ${n} effects failed: ${ids.join(", ")}. Per effect: ${detail}`),
45
+ },
46
+ ],
47
+ };
48
+ }
49
+ const badRows = effectRows.filter((e) => e.status === "missing" || e.status === "inconsistent");
50
+ const bad = badRows.map((e) => e.id).sort(compareUtf16Id);
51
+ const detail = formatPerEffectFailureCodes(badRows);
52
+ return {
53
+ status: "partially_verified",
54
+ reasons: [
55
+ {
56
+ code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_PARTIAL,
57
+ message: formatOperationalMessage(`Verified ${verified.length} of ${n} effects; not verified: ${bad.join(", ")}. Per effect: ${detail}`),
58
+ },
59
+ ],
60
+ };
61
+ }
62
+ function buildRollup(sorted) {
63
+ const n = sorted.length;
64
+ const verificationRequest = {
65
+ kind: "sql_effects",
66
+ effects: sorted.map((r) => ({
67
+ id: r.id,
68
+ kind: "sql_row",
69
+ table: r.table,
70
+ identityEq: r.identityEq,
71
+ requiredFields: r.requiredFields,
72
+ })),
73
+ };
74
+ const effectRows = sorted.map((r) => ({
75
+ id: r.id,
76
+ status: r.status,
77
+ reasons: r.reasons,
78
+ evidenceSummary: r.evidenceSummary,
79
+ }));
80
+ const { status, reasons } = computeMultiCheckRollupStatus(effectRows);
81
+ return {
82
+ verificationRequest,
83
+ status,
84
+ reasons,
85
+ evidenceSummary: {
86
+ effectCount: n,
87
+ effects: effectRows,
88
+ },
89
+ };
90
+ }
91
+ /** Build rollup from per-effect reconcile rows (sorted by effect id). Used by verification policy executor. */
92
+ export function rollupMultiEffectsFromReconciledRows(rows) {
93
+ const sorted = [...rows].sort((a, b) => compareUtf16Id(a.id, b.id));
94
+ return buildRollup(sorted);
95
+ }
96
+ export function rollupMultiEffectsSync(db, effects) {
97
+ const rows = effects.map((e) => {
98
+ const rec = reconcileSqlRow(db, e.request);
99
+ return {
100
+ id: e.id,
101
+ status: rec.status,
102
+ reasons: rec.reasons,
103
+ evidenceSummary: rec.evidenceSummary,
104
+ table: e.request.table,
105
+ identityEq: e.request.identityEq,
106
+ requiredFields: e.request.requiredFields,
107
+ };
108
+ });
109
+ rows.sort((a, b) => compareUtf16Id(a.id, b.id));
110
+ return buildRollup(rows);
111
+ }
112
+ export async function rollupMultiEffectsAsync(backend, effects) {
113
+ const rows = await Promise.all(effects.map(async (e) => {
114
+ const rec = await reconcileSqlRowAsync(backend, e.request);
115
+ return {
116
+ id: e.id,
117
+ status: rec.status,
118
+ reasons: rec.reasons,
119
+ evidenceSummary: rec.evidenceSummary,
120
+ table: e.request.table,
121
+ identityEq: e.request.identityEq,
122
+ requiredFields: e.request.requiredFields,
123
+ };
124
+ }));
125
+ rows.sort((a, b) => compareUtf16Id(a.id, b.id));
126
+ return buildRollup(rows);
127
+ }
128
+ function rollupRelationalMulti(sortedChecks, effectRows) {
129
+ const n = effectRows.length;
130
+ const { status, reasons } = computeMultiCheckRollupStatus(effectRows);
131
+ return {
132
+ verificationRequest: { kind: "sql_relational", checks: sortedChecks },
133
+ status,
134
+ reasons,
135
+ evidenceSummary: {
136
+ effectCount: n,
137
+ effects: effectRows,
138
+ },
139
+ };
140
+ }
141
+ export function rollupSqlRelationalFromReconciled(checks, recs) {
142
+ const pairs = checks.map((check, i) => ({
143
+ check,
144
+ rec: recs[i],
145
+ }));
146
+ pairs.sort((a, b) => compareUtf16Id(a.check.id, b.check.id));
147
+ const sortedChecks = pairs.map((p) => p.check);
148
+ const effectRows = pairs.map((p) => ({
149
+ id: p.check.id,
150
+ status: p.rec.status,
151
+ reasons: p.rec.reasons,
152
+ evidenceSummary: p.rec.evidenceSummary,
153
+ }));
154
+ return rollupRelationalMulti(sortedChecks, effectRows);
155
+ }
156
+ export function rollupSqlRelationalSync(db, checks) {
157
+ const recs = checks.map((c) => reconcileRelationalSqlite(db, c));
158
+ return rollupSqlRelationalFromReconciled(checks, recs);
159
+ }
160
+ export async function rollupSqlRelationalAsync(reconcileRelationalCheck, checks) {
161
+ const recs = await Promise.all(checks.map((c) => reconcileRelationalCheck(c)));
162
+ return rollupSqlRelationalFromReconciled(checks, recs);
163
+ }
164
+ //# sourceMappingURL=multiEffectRollup.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"multiEffectRollup.js","sourceRoot":"","sources":["../src/multiEffectRollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAYxE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAuBrE,mEAAmE;AACnE,SAAS,2BAA2B,CAAC,IAAiB;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;SACpB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS,CAAC;QAC7C,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,GAAG,CAAC;IAC7B,CAAC,CAAC,CAAC;IACL,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,6BAA6B,CAAC,UAAuB;IAInE,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC;IAC5B,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAEnE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7D,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,uBAAuB;oBAC3D,OAAO,EAAE,wCAAwC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAClE;aACF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC7C,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,uBAAuB;oBAC3D,OAAO,EAAE,wBAAwB,CAC/B,OAAO,CAAC,oBAAoB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,MAAM,EAAE,CACpE;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IAChG,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACpD,OAAO;QACL,MAAM,EAAE,oBAAoB;QAC5B,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oBAAoB;gBACxD,OAAO,EAAE,wBAAwB,CAC/B,YAAY,QAAQ,CAAC,MAAM,OAAO,CAAC,2BAA2B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,MAAM,EAAE,CACtG;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,MAQE;IAEF,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,mBAAmB,GAAkC;QACzD,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1B,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;IAEF,MAAM,UAAU,GAAgB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,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;IAEJ,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAEtE,OAAO;QACL,mBAAmB;QACnB,MAAM;QACN,OAAO;QACP,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;SACpB;KACF,CAAC;AACJ,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,oCAAoC,CAClD,IAQE;IAEF,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAgB,EAAE,OAAyB;IAChF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3C,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;IACH,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAuB,EACvB,OAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAC5B,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,GAAG,GAAG,MAAM,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3D,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,CACH,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,qBAAqB,CAC5B,YAAuC,EACvC,UAAuB;IAEvB,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC;IAC5B,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC;IACtE,OAAO;QACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE;QACrE,MAAM;QACN,OAAO;QACP,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;SACpB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,MAAiC,EACjC,IAAiD;IAEjD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,KAAK;QACL,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE;KACd,CAAC,CAAC,CAAC;IACJ,KAAK,CAAC,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;IAC7D,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAgB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,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,qBAAqB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,EAAgB,EAAE,MAAiC;IACzF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,wBAAgH,EAChH,MAAiC;IAEjC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACzD,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=multiEffectRollup.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"multiEffectRollup.test.d.ts","sourceRoot":"","sources":["../src/multiEffectRollup.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,128 @@
1
+ import { beforeEach, describe, expect, it, vi } from "vitest";
2
+ import { computeMultiCheckRollupStatus, rollupMultiEffectsSync } from "./multiEffectRollup.js";
3
+ vi.mock("./reconciler.js", () => ({
4
+ reconcileSqlRow: vi.fn(),
5
+ reconcileSqlRowAsync: vi.fn(),
6
+ }));
7
+ import { reconcileSqlRow } from "./reconciler.js";
8
+ function req(id, fields) {
9
+ return {
10
+ kind: "sql_row",
11
+ table: "contacts",
12
+ identityEq: [{ column: "id", value: id }],
13
+ requiredFields: fields,
14
+ };
15
+ }
16
+ function idFromRequest(r) {
17
+ return r.identityEq.find((p) => p.column === "id")?.value ?? r.identityEq[0].value;
18
+ }
19
+ describe("computeMultiCheckRollupStatus", () => {
20
+ it("all verified → verified empty reasons", () => {
21
+ const out = computeMultiCheckRollupStatus([
22
+ { id: "a", status: "verified", reasons: [], evidenceSummary: {} },
23
+ { id: "b", status: "verified", reasons: [], evidenceSummary: {} },
24
+ ]);
25
+ expect(out.status).toBe("verified");
26
+ expect(out.reasons).toEqual([]);
27
+ });
28
+ });
29
+ describe("rollupMultiEffectsSync", () => {
30
+ beforeEach(() => {
31
+ vi.mocked(reconcileSqlRow).mockReset();
32
+ });
33
+ it("verified when all effects match", () => {
34
+ vi.mocked(reconcileSqlRow).mockReturnValue({
35
+ status: "verified",
36
+ reasons: [],
37
+ evidenceSummary: { rowCount: 1 },
38
+ });
39
+ const effects = [
40
+ { id: "b", request: req("ok2", { name: "B" }) },
41
+ { id: "a", request: req("ok1", { name: "A" }) },
42
+ ];
43
+ const out = rollupMultiEffectsSync({}, effects);
44
+ expect(out.status).toBe("verified");
45
+ expect(out.reasons).toEqual([]);
46
+ expect(out.evidenceSummary.effectCount).toBe(2);
47
+ const fx = out.evidenceSummary.effects;
48
+ expect(fx.map((e) => e.id)).toEqual(["a", "b"]);
49
+ expect(out.verificationRequest.kind).toBe("sql_effects");
50
+ expect(out.verificationRequest.effects.map((e) => e.id)).toEqual(["a", "b"]);
51
+ });
52
+ it("partially_verified when one value mismatches", () => {
53
+ vi.mocked(reconcileSqlRow).mockImplementation((_db, r) => {
54
+ if (idFromRequest(r) === "ok1") {
55
+ return { status: "verified", reasons: [], evidenceSummary: { rowCount: 1 } };
56
+ }
57
+ return {
58
+ status: "inconsistent",
59
+ reasons: [{ code: "VALUE_MISMATCH", message: "bad" }],
60
+ evidenceSummary: { rowCount: 1 },
61
+ };
62
+ });
63
+ const effects = [
64
+ { id: "x", request: req("ok1", { name: "A" }) },
65
+ { id: "y", request: req("bad", { name: "B" }) },
66
+ ];
67
+ const out = rollupMultiEffectsSync({}, effects);
68
+ expect(out.status).toBe("partially_verified");
69
+ expect(out.reasons).toEqual([
70
+ {
71
+ code: "MULTI_EFFECT_PARTIAL",
72
+ message: "Verified 1 of 2 effects; not verified: y. Per effect: y (VALUE_MISMATCH)",
73
+ },
74
+ ]);
75
+ const fx = out.evidenceSummary.effects;
76
+ expect(fx.map((e) => e.id)).toEqual(["x", "y"]);
77
+ expect(fx.find((e) => e.id === "y").status).toBe("inconsistent");
78
+ });
79
+ it("inconsistent when all effects fail", () => {
80
+ vi.mocked(reconcileSqlRow).mockReturnValue({
81
+ status: "missing",
82
+ reasons: [{ code: "ROW_ABSENT", message: "No row matched key" }],
83
+ evidenceSummary: { rowCount: 0 },
84
+ });
85
+ const effects = [
86
+ { id: "m", request: req("missing_a", { name: "X" }) },
87
+ { id: "n", request: req("missing_b", { name: "X" }) },
88
+ ];
89
+ const out = rollupMultiEffectsSync({}, effects);
90
+ expect(out.status).toBe("inconsistent");
91
+ expect(out.reasons[0].code).toBe("MULTI_EFFECT_ALL_FAILED");
92
+ expect(out.reasons[0].message).toBe("All 2 effects failed: m, n. Per effect: m (ROW_ABSENT); n (ROW_ABSENT)");
93
+ });
94
+ it("incomplete_verification when any effect incomplete", () => {
95
+ vi.mocked(reconcileSqlRow).mockImplementation((_db, r) => {
96
+ if (idFromRequest(r) === "ok") {
97
+ return { status: "verified", reasons: [], evidenceSummary: { rowCount: 1 } };
98
+ }
99
+ return {
100
+ status: "incomplete_verification",
101
+ reasons: [{ code: "CONNECTOR_ERROR", message: "x" }],
102
+ evidenceSummary: { rowCount: null },
103
+ };
104
+ });
105
+ const effects = [
106
+ { id: "p", request: req("ok", {}) },
107
+ { id: "q", request: req("bad", {}) },
108
+ ];
109
+ const out = rollupMultiEffectsSync({}, effects);
110
+ expect(out.status).toBe("incomplete_verification");
111
+ expect(out.reasons[0].code).toBe("MULTI_EFFECT_INCOMPLETE");
112
+ expect(out.reasons[0].message).toBe("Incomplete verification for effects: q");
113
+ });
114
+ it("incomplete lists multiple effect ids sorted", () => {
115
+ vi.mocked(reconcileSqlRow).mockReturnValue({
116
+ status: "incomplete_verification",
117
+ reasons: [{ code: "CONNECTOR_ERROR", message: "x" }],
118
+ evidenceSummary: {},
119
+ });
120
+ const effects = [
121
+ { id: "z", request: req("a", {}) },
122
+ { id: "a", request: req("b", {}) },
123
+ ];
124
+ const out = rollupMultiEffectsSync({}, effects);
125
+ expect(out.reasons[0].message).toBe("Incomplete verification for effects: a, z");
126
+ });
127
+ });
128
+ //# sourceMappingURL=multiEffectRollup.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"multiEffectRollup.test.js","sourceRoot":"","sources":["../src/multiEffectRollup.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9D,OAAO,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAG/F,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;IAChC,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE;IACxB,oBAAoB,EAAE,EAAE,CAAC,EAAE,EAAE;CAC9B,CAAC,CAAC,CAAC;AAEJ,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,SAAS,GAAG,CAAC,EAAU,EAAE,MAAwD;IAC/E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACzC,cAAc,EAAE,MAAM;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,CAAsB;IAC3C,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;AACtF,CAAC;AAED,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,6BAA6B,CAAC;YACxC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;YACjE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;SAClE,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,UAAU,CAAC,GAAG,EAAE;QACd,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,eAAe,CAAC;YACzC,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SACjC,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;YAC/C,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;SAChD,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAkB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,OAAgD,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,kBAAkB,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACvD,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC/B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/E,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACrD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;aACjC,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;YAC/C,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;SAChD,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAkB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;YAC1B;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,0EAA0E;aACpF;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,OAAgD,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,eAAe,CAAC;YACzC,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SACjC,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;YACrD,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;SACtD,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAkB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,kBAAkB,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACvD,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC9B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/E,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBACpD,eAAe,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;aACpC,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;YACnC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE;SACrC,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAkB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,eAAe,CAAC;YACzC,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACpD,eAAe,EAAE,EAAE;SACpB,CAAC,CAAC;QACH,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YAClC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;SACnC,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAkB,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,7 @@
1
+ import type { EventFileAggregateCounts } from "./types.js";
2
+ export declare function formatNoStepsForWorkflowMessage(workflowId: string, c: EventFileAggregateCounts): string;
3
+ export declare function enrichNoStepsRunLevelReasons(workflowId: string, reasons: {
4
+ code: string;
5
+ message: string;
6
+ }[], c: EventFileAggregateCounts): void;
7
+ //# sourceMappingURL=noStepsMessage.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"noStepsMessage.d.ts","sourceRoot":"","sources":["../src/noStepsMessage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE3D,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE,wBAAwB,GAC1B,MAAM,CAER;AAED,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,EAC5C,CAAC,EAAE,wBAAwB,GAC1B,IAAI,CAON"}
@@ -0,0 +1,12 @@
1
+ export function formatNoStepsForWorkflowMessage(workflowId, c) {
2
+ return `No tool_observed events for workflowId ${JSON.stringify(workflowId)} after filtering. event_file_non_empty_lines=${String(c.eventFileNonEmptyLines)} schema_valid_events=${String(c.schemaValidEvents)} tool_observed_for_workflow=${String(c.toolObservedForRequestedWorkflowId)} tool_observed_other_workflows=${String(c.toolObservedForOtherWorkflowIds)}.`;
3
+ }
4
+ export function enrichNoStepsRunLevelReasons(workflowId, reasons, c) {
5
+ const msg = formatNoStepsForWorkflowMessage(workflowId, c);
6
+ for (const r of reasons) {
7
+ if (r.code === "NO_STEPS_FOR_WORKFLOW") {
8
+ r.message = msg;
9
+ }
10
+ }
11
+ }
12
+ //# sourceMappingURL=noStepsMessage.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"noStepsMessage.js","sourceRoot":"","sources":["../src/noStepsMessage.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,+BAA+B,CAC7C,UAAkB,EAClB,CAA2B;IAE3B,OAAO,0CAA0C,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,gDAAgD,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,wBAAwB,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,+BAA+B,MAAM,CAAC,CAAC,CAAC,kCAAkC,CAAC,kCAAkC,MAAM,CAAC,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC;AAC1W,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,UAAkB,EAClB,OAA4C,EAC5C,CAA2B;IAE3B,MAAM,GAAG,GAAG,+BAA+B,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACvC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=noStepsMessage.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"noStepsMessage.test.d.ts","sourceRoot":"","sources":["../src/noStepsMessage.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,15 @@
1
+ import { dirname, join } from "node:path";
2
+ import { fileURLToPath } from "node:url";
3
+ import { describe, expect, it } from "vitest";
4
+ import { loadEventsForWorkflow } from "./loadEvents.js";
5
+ import { formatNoStepsForWorkflowMessage } from "./noStepsMessage.js";
6
+ const __dirname = dirname(fileURLToPath(import.meta.url));
7
+ const fixture = join(__dirname, "..", "test", "fixtures", "adoption-validation", "wrong-workflow-id.events.ndjson");
8
+ describe("formatNoStepsForWorkflowMessage", () => {
9
+ it("matches golden for wf_requested and fixture counts", () => {
10
+ const { eventFileAggregateCounts } = loadEventsForWorkflow(fixture, "wf_requested");
11
+ const msg = formatNoStepsForWorkflowMessage("wf_requested", eventFileAggregateCounts);
12
+ expect(msg).toBe('No tool_observed events for workflowId "wf_requested" after filtering. event_file_non_empty_lines=3 schema_valid_events=2 tool_observed_for_workflow=0 tool_observed_other_workflows=2.');
13
+ });
14
+ });
15
+ //# sourceMappingURL=noStepsMessage.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"noStepsMessage.test.js","sourceRoot":"","sources":["../src/noStepsMessage.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AAEtE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;AAEpH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,wBAAwB,EAAE,GAAG,qBAAqB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACpF,MAAM,GAAG,GAAG,+BAA+B,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CACd,yLAAyL,CAC1L,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}