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,2 @@
1
+ export {};
2
+ //# sourceMappingURL=executionTrace.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"executionTrace.test.d.ts","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,200 @@
1
+ import path from "node:path";
2
+ import { fileURLToPath } from "node:url";
3
+ import { describe, expect, it } from "vitest";
4
+ import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
5
+ import { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, } from "./executionTrace.js";
6
+ import { loadEventsForWorkflow } from "./loadEvents.js";
7
+ import { loadSchemaValidator } from "./schemaLoad.js";
8
+ import { TruthLayerError } from "./truthLayerError.js";
9
+ import { finalizeEmittedWorkflowResult } from "./workflowTruthReport.js";
10
+ describe("assertValidRunEventParentGraph", () => {
11
+ it("rejects duplicate runEventId", () => {
12
+ const a = {
13
+ schemaVersion: 2,
14
+ workflowId: "w",
15
+ runEventId: "x",
16
+ type: "tool_observed",
17
+ seq: 0,
18
+ toolId: "t",
19
+ params: {},
20
+ };
21
+ const b = {
22
+ schemaVersion: 2,
23
+ workflowId: "w",
24
+ runEventId: "x",
25
+ type: "model_turn",
26
+ status: "completed",
27
+ };
28
+ try {
29
+ assertValidRunEventParentGraph([a, b]);
30
+ expect.fail("expected throw");
31
+ }
32
+ catch (e) {
33
+ expect(e).toBeInstanceOf(TruthLayerError);
34
+ expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_DUPLICATE_RUN_EVENT_ID);
35
+ }
36
+ });
37
+ it("rejects unknown parentRunEventId", () => {
38
+ const ev = {
39
+ schemaVersion: 2,
40
+ workflowId: "w",
41
+ runEventId: "b",
42
+ parentRunEventId: "nope",
43
+ type: "model_turn",
44
+ status: "completed",
45
+ };
46
+ try {
47
+ assertValidRunEventParentGraph([ev]);
48
+ expect.fail("expected throw");
49
+ }
50
+ catch (e) {
51
+ expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_UNKNOWN_PARENT_RUN_EVENT_ID);
52
+ }
53
+ });
54
+ it("rejects parent forward reference", () => {
55
+ const first = {
56
+ schemaVersion: 2,
57
+ workflowId: "w",
58
+ runEventId: "b",
59
+ parentRunEventId: "a",
60
+ type: "model_turn",
61
+ status: "completed",
62
+ };
63
+ const second = {
64
+ schemaVersion: 2,
65
+ workflowId: "w",
66
+ runEventId: "a",
67
+ type: "model_turn",
68
+ status: "completed",
69
+ };
70
+ try {
71
+ assertValidRunEventParentGraph([first, second]);
72
+ expect.fail("expected throw");
73
+ }
74
+ catch (e) {
75
+ expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_PARENT_FORWARD_REFERENCE);
76
+ }
77
+ });
78
+ });
79
+ describe("buildExecutionTraceView", () => {
80
+ it("matches golden for completed trace (examples/trace-run.ndjson)", () => {
81
+ const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
82
+ const p = path.join(root, "examples", "trace-run.ndjson");
83
+ const load = loadEventsForWorkflow(p, "wtrace");
84
+ expect(load.runEvents).toHaveLength(3);
85
+ expect(load.events).toHaveLength(1);
86
+ const view = buildExecutionTraceView({
87
+ workflowId: "wtrace",
88
+ runEvents: load.runEvents,
89
+ malformedEventLineCount: load.malformedEventLineCount,
90
+ });
91
+ const v = loadSchemaValidator("execution-trace-view");
92
+ expect(v(view)).toBe(true);
93
+ expect(view.runCompletion).toBe("completed");
94
+ expect(view.nodes[2].wireType).toBe("control");
95
+ expect(view.nodes[2].traceStepKind).toBe("success");
96
+ expect(view.backwardPaths[0]).toEqual({
97
+ pathKind: "workflow_terminal",
98
+ seedRunEventId: "c1",
99
+ ancestorRunEventIds: ["c1", "t1", "m1"],
100
+ });
101
+ expect(formatExecutionTraceText(view)).toContain("workflow_terminal");
102
+ });
103
+ it("model_turn error as last node yields unknown_or_interrupted and workflow_terminal seed", () => {
104
+ const runEvents = [
105
+ {
106
+ schemaVersion: 2,
107
+ workflowId: "w",
108
+ runEventId: "m1",
109
+ type: "model_turn",
110
+ status: "error",
111
+ },
112
+ ];
113
+ const view = buildExecutionTraceView({
114
+ workflowId: "w",
115
+ runEvents,
116
+ malformedEventLineCount: 0,
117
+ });
118
+ expect(view.runCompletion).toBe("unknown_or_interrupted");
119
+ expect(view.nodes[0].traceStepKind).toBe("failed");
120
+ expect(view.backwardPaths[0].pathKind).toBe("workflow_terminal");
121
+ expect(view.backwardPaths[0].seedRunEventId).toBe("m1");
122
+ expect(view.backwardPaths[0].ancestorRunEventIds).toEqual(["m1"]);
123
+ });
124
+ it("adds verification_step paths when WorkflowResult provided", () => {
125
+ const runEvents = [
126
+ {
127
+ schemaVersion: 2,
128
+ workflowId: "w",
129
+ runEventId: "t1",
130
+ type: "tool_observed",
131
+ seq: 0,
132
+ toolId: "crm.upsert_contact",
133
+ params: { id: "c_ok", name: "Alice" },
134
+ },
135
+ ];
136
+ const engine = {
137
+ schemaVersion: 8,
138
+ workflowId: "w",
139
+ status: "complete",
140
+ runLevelReasons: [],
141
+ verificationPolicy: {
142
+ consistencyMode: "strong",
143
+ verificationWindowMs: 0,
144
+ pollIntervalMs: 0,
145
+ },
146
+ eventSequenceIntegrity: { kind: "normal" },
147
+ verificationRunContext: {
148
+ maxWireSchemaVersion: 2,
149
+ retrievalEvents: [],
150
+ controlEvents: [],
151
+ modelTurnEvents: [],
152
+ toolSkippedEvents: [],
153
+ toolObservedIngestIndexBySeq: { "0": 0 },
154
+ firstToolObservedIngestIndex: 0,
155
+ hasRunCompletedControl: false,
156
+ lastRunEvent: { ingestIndex: 0, type: "tool_observed" },
157
+ },
158
+ steps: [
159
+ {
160
+ seq: 0,
161
+ toolId: "crm.upsert_contact",
162
+ intendedEffect: { narrative: "x" },
163
+ observedExecution: { paramsCanonical: "{}" },
164
+ verificationRequest: {
165
+ kind: "sql_row",
166
+ table: "contacts",
167
+ identityEq: [{ column: "id", value: "c_ok" }],
168
+ requiredFields: { name: "Alice" },
169
+ },
170
+ status: "verified",
171
+ reasons: [],
172
+ evidenceSummary: {},
173
+ repeatObservationCount: 1,
174
+ evaluatedObservationOrdinal: 1,
175
+ },
176
+ ],
177
+ };
178
+ const wr = finalizeEmittedWorkflowResult(engine);
179
+ const view = buildExecutionTraceView({
180
+ workflowId: "w",
181
+ runEvents,
182
+ malformedEventLineCount: 0,
183
+ workflowResult: wr,
184
+ });
185
+ const verPaths = view.backwardPaths.filter((p) => p.pathKind === "verification_step");
186
+ expect(verPaths).toHaveLength(1);
187
+ expect(verPaths[0]).toMatchObject({
188
+ pathKind: "verification_step",
189
+ stepIndex: 0,
190
+ seq: 0,
191
+ seedRunEventId: "t1",
192
+ });
193
+ expect(view.nodes[0].verificationLink).toMatchObject({
194
+ stepIndex: 0,
195
+ engineStepStatus: "verified",
196
+ });
197
+ expect(view.nodes[0].traceStepKind).toBe("success");
198
+ });
199
+ });
200
+ //# sourceMappingURL=executionTrace.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"executionTrace.test.js","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,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,qBAAqB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAQvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAwB;YAC7B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,eAAe;YACrB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,CAAC,GAAsB;YAC3B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAsB;YAC5B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,CAAC;QACpG,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAsB;YAC/B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,GAAG;YACrB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC;QACjG,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,QAAQ,EAAE,mBAAmB;YAC7B,cAAc,EAAE,IAAI;YACpB,mBAAmB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QACF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,eAAe,EAAE,EAAE;YACnB,kBAAkB,EAAE;gBAClB,eAAe,EAAE,QAAQ;gBACzB,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,CAAC;aAClB;YACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1C,sBAAsB,EAAE;gBACtB,oBAAoB,EAAE,CAAC;gBACvB,eAAe,EAAE,EAAE;gBACnB,aAAa,EAAE,EAAE;gBACjB,eAAe,EAAE,EAAE;gBACnB,iBAAiB,EAAE,EAAE;gBACrB,4BAA4B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;gBACxC,4BAA4B,EAAE,CAAC;gBAC/B,sBAAsB,EAAE,KAAK;gBAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;aACxD;YACD,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,oBAAoB;oBAC5B,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;oBAClC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,UAAU;wBACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;wBAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;qBAClC;oBACD,MAAM,EAAE,UAAU;oBAClB,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC;QACF,MAAM,EAAE,GAAmB,6BAA6B,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;YAC1B,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC;QACtF,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAChC,QAAQ,EAAE,mBAAmB;YAC7B,SAAS,EAAE,CAAC;YACZ,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,aAAa,CAAC;YACpD,SAAS,EAAE,CAAC;YACZ,gBAAgB,EAAE,UAAU;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,8 @@
1
+ import type { FailureAnalysisBase, StepOutcome, WorkflowEngineResult } from "./types.js";
2
+ /** Same ordering as P5 driver step selection; exported for `failureExplanation` (no duplicate logic). */
3
+ export declare function normativeDriverStep(steps: StepOutcome[]): StepOutcome;
4
+ /**
5
+ * Normative failure analysis (P0–P5) per product spec. `engine` must include `verificationRunContext`.
6
+ */
7
+ export declare function buildFailureAnalysis(engine: WorkflowEngineResult): FailureAnalysisBase | null;
8
+ //# sourceMappingURL=failureAnalysis.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"failureAnalysis.d.ts","sourceRoot":"","sources":["../src/failureAnalysis.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EACV,mBAAmB,EAGnB,WAAW,EAGX,oBAAoB,EACrB,MAAM,YAAY,CAAC;AA0FpB,yGAAyG;AACzG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,WAAW,CAUrE;AA8DD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,oBAAoB,GAAG,mBAAmB,GAAG,IAAI,CAkN7F"}
@@ -0,0 +1,337 @@
1
+ import { EVENT_SEQUENCE_CODE_TO_ORIGIN, REASON_CODE_TO_ORIGIN, RUN_LEVEL_CODE_TO_ORIGIN, STEP_NO_REASON_CODE, } from "./failureOriginCatalog.js";
2
+ import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
3
+ function sortUniqueCodes(codes) {
4
+ return [...new Set(codes)].sort((a, b) => a.localeCompare(b));
5
+ }
6
+ const RATIONALE_ROW_ABSENT_DOWNSTREAM = "The database has no row at the verified key; the tool log may not have committed a write, or replication lag prevented observation.";
7
+ const RATIONALE_ROW_ABSENT_TOOL_USE = "The database has no row at the verified key; the registry key/value or pointer resolution from tool params may not match the row that was written.";
8
+ const RATIONALE_VALUE_MISMATCH_DOWNSTREAM = "Stored column values differ from required fields; the live database state may have diverged from what the tool reported.";
9
+ const RATIONALE_VALUE_MISMATCH_INPUTS = "Stored column values differ from required fields; registry pointers or consts used to build the verification request may not match the observation payload.";
10
+ const RATIONALE_BRANCH_SKIPPED_ALT = "A branch or gate was skipped earlier in capture order; sequencing or capture may also explain the later verification outcome.";
11
+ const MULTI_EFFECT_ROLLUP_CODES = new Set([
12
+ "MULTI_EFFECT_PARTIAL",
13
+ "MULTI_EFFECT_ALL_FAILED",
14
+ "MULTI_EFFECT_INCOMPLETE",
15
+ "MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW",
16
+ ]);
17
+ const STATUS_RANK = {
18
+ incomplete_verification: 0,
19
+ missing: 1,
20
+ inconsistent: 2,
21
+ partially_verified: 3,
22
+ uncertain: 4,
23
+ verified: 99,
24
+ };
25
+ function minLex(codes) {
26
+ return [...new Set(codes)].sort((a, b) => a.localeCompare(b))[0];
27
+ }
28
+ function failingSeqSet(steps) {
29
+ const F = new Set();
30
+ for (const s of steps) {
31
+ if (s.status !== "verified")
32
+ F.add(s.seq);
33
+ }
34
+ return F;
35
+ }
36
+ function iFailForF(F, ctx) {
37
+ const indices = [];
38
+ for (const seq of F) {
39
+ const idx = ctx.toolObservedIngestIndexBySeq[String(seq)];
40
+ if (idx !== undefined)
41
+ indices.push(idx);
42
+ }
43
+ if (indices.length === 0)
44
+ return null;
45
+ return Math.min(...indices);
46
+ }
47
+ function parseEffects(evidenceSummary) {
48
+ const raw = evidenceSummary.effects;
49
+ if (!Array.isArray(raw))
50
+ return [];
51
+ const out = [];
52
+ for (const row of raw) {
53
+ if (typeof row !== "object" || row === null)
54
+ continue;
55
+ const o = row;
56
+ if (typeof o.id !== "string" || typeof o.status !== "string" || !Array.isArray(o.reasons))
57
+ continue;
58
+ out.push({
59
+ id: o.id,
60
+ status: o.status,
61
+ reasons: o.reasons,
62
+ });
63
+ }
64
+ return out;
65
+ }
66
+ function primaryCodeForStep(step) {
67
+ const rollup = step.reasons[0]?.code;
68
+ if (rollup !== undefined && MULTI_EFFECT_ROLLUP_CODES.has(rollup)) {
69
+ const effects = parseEffects(step.evidenceSummary);
70
+ const failing = effects
71
+ .filter((e) => e.status !== "verified")
72
+ .sort((a, b) => a.id.localeCompare(b.id));
73
+ const first = failing[0];
74
+ if (first !== undefined && first.reasons[0] !== undefined) {
75
+ return first.reasons[0].code;
76
+ }
77
+ }
78
+ if (step.reasons.length > 0)
79
+ return step.reasons[0].code;
80
+ return STEP_NO_REASON_CODE;
81
+ }
82
+ /** Same ordering as P5 driver step selection; exported for `failureExplanation` (no duplicate logic). */
83
+ export function normativeDriverStep(steps) {
84
+ const bad = steps.filter((s) => s.status !== "verified");
85
+ bad.sort((a, b) => {
86
+ const ra = STATUS_RANK[a.status];
87
+ const rb = STATUS_RANK[b.status];
88
+ if (ra !== rb)
89
+ return ra - rb;
90
+ if (a.seq !== b.seq)
91
+ return a.seq - b.seq;
92
+ return a.toolId.localeCompare(b.toolId);
93
+ });
94
+ return bad[0];
95
+ }
96
+ function pickDriverStep(steps) {
97
+ return normativeDriverStep(steps);
98
+ }
99
+ function alternativesForCode(primaryCode) {
100
+ if (primaryCode === "ROW_ABSENT") {
101
+ return [
102
+ { primaryOrigin: "downstream_system_state", rationale: RATIONALE_ROW_ABSENT_DOWNSTREAM },
103
+ { primaryOrigin: "tool_use", rationale: RATIONALE_ROW_ABSENT_TOOL_USE },
104
+ ];
105
+ }
106
+ if (primaryCode === "VALUE_MISMATCH") {
107
+ return [
108
+ { primaryOrigin: "downstream_system_state", rationale: RATIONALE_VALUE_MISMATCH_DOWNSTREAM },
109
+ { primaryOrigin: "inputs", rationale: RATIONALE_VALUE_MISMATCH_INPUTS },
110
+ ];
111
+ }
112
+ return undefined;
113
+ }
114
+ function buildSummary(origin, phase, detail) {
115
+ switch (phase) {
116
+ case "p0":
117
+ return `Run-level ingest or planning issue (${detail.codes?.join(", ") ?? ""}); origin: ${origin}.`;
118
+ case "p1":
119
+ return `A retrieval step failed before the failing tool observation (${detail.retrievalLabel ?? "retrieval error"}); origin: retrieval.`;
120
+ case "p2":
121
+ return `A model or control event indicates the run did not complete normally before the failing tool observation; origin: ${origin}.`;
122
+ case "p2b":
123
+ return `A branch or gate was skipped before the failing tool observation; decision-making may explain downstream behavior (see alternatives).`;
124
+ case "p3":
125
+ return `A tool was skipped before the failing tool observation; origin: tool_use.`;
126
+ case "p4":
127
+ return `Event capture order or timestamps were irregular (${detail.eventCode ?? ""}); origin: workflow_flow.`;
128
+ case "p5": {
129
+ const st = detail.driverStep;
130
+ const pc = detail.primaryCode ?? "";
131
+ let s = `Primary failure at seq ${st?.seq ?? "?"} tool ${st?.toolId ?? "?"} (code ${pc}); origin: ${origin}.`;
132
+ const rollup = st?.reasons[0]?.code;
133
+ if (rollup !== undefined && MULTI_EFFECT_ROLLUP_CODES.has(rollup)) {
134
+ s +=
135
+ " Multi-effect verification: authoritative per-effect outcomes are under workflowTruthReport.steps[].effects.";
136
+ }
137
+ return s;
138
+ }
139
+ default:
140
+ return `Verification did not complete; origin: ${origin}.`;
141
+ }
142
+ }
143
+ /**
144
+ * Normative failure analysis (P0–P5) per product spec. `engine` must include `verificationRunContext`.
145
+ */
146
+ export function buildFailureAnalysis(engine) {
147
+ if (engine.status === "complete")
148
+ return null;
149
+ const ctx = engine.verificationRunContext ?? createEmptyVerificationRunContext();
150
+ const F = failingSeqSet(engine.steps);
151
+ const iFail = F.size > 0 ? iFailForF(F, ctx) : null;
152
+ // P0
153
+ if (engine.runLevelReasons.length > 0) {
154
+ const codes = engine.runLevelReasons.map((r) => r.code);
155
+ const unique = sortUniqueCodes(codes);
156
+ const unknownReasonCodes = sortUniqueCodes(unique.filter((c) => !(c in RUN_LEVEL_CODE_TO_ORIGIN)));
157
+ const knownOnly = unique.filter((c) => c in RUN_LEVEL_CODE_TO_ORIGIN);
158
+ const first = knownOnly.length > 0 ? minLex(knownOnly) : minLex(unique);
159
+ const origin = knownOnly.length > 0 ? RUN_LEVEL_CODE_TO_ORIGIN[first] : "workflow_flow";
160
+ let confidence;
161
+ if (unknownReasonCodes.length > 0) {
162
+ confidence = "low";
163
+ }
164
+ else if (new Set(codes).size === 1) {
165
+ confidence = "high";
166
+ }
167
+ else {
168
+ confidence = "medium";
169
+ }
170
+ const evidence = [{ scope: "run_level", codes: unique }];
171
+ return {
172
+ summary: buildSummary(origin, "p0", { codes: unique }),
173
+ primaryOrigin: origin,
174
+ confidence,
175
+ unknownReasonCodes,
176
+ evidence,
177
+ };
178
+ }
179
+ // P1–P3 need iFail
180
+ if (iFail !== null) {
181
+ const errRetrievals = ctx.retrievalEvents.filter((e) => e.status === "error" && e.ingestIndex < iFail);
182
+ if (errRetrievals.length > 0) {
183
+ const e0 = errRetrievals[0];
184
+ const evidence = errRetrievals.map((e) => ({
185
+ scope: "run_context",
186
+ ingestIndex: e.ingestIndex,
187
+ source: e.source,
188
+ runEventId: e.runEventId,
189
+ codes: ["RETRIEVAL_ERROR"],
190
+ }));
191
+ return {
192
+ summary: buildSummary("retrieval", "p1", { retrievalLabel: e0.source }),
193
+ primaryOrigin: "retrieval",
194
+ confidence: "high",
195
+ unknownReasonCodes: [],
196
+ evidence,
197
+ };
198
+ }
199
+ const badModel = ctx.modelTurnEvents.find((e) => ["error", "aborted", "incomplete"].includes(e.status) && e.ingestIndex < iFail);
200
+ if (badModel !== undefined) {
201
+ return {
202
+ summary: buildSummary("decision_making", "p2", {}),
203
+ primaryOrigin: "decision_making",
204
+ confidence: "high",
205
+ unknownReasonCodes: [],
206
+ evidence: [
207
+ {
208
+ scope: "run_context",
209
+ ingestIndex: badModel.ingestIndex,
210
+ runEventId: badModel.runEventId,
211
+ codes: [`MODEL_TURN_${badModel.status.toUpperCase()}`],
212
+ },
213
+ ],
214
+ };
215
+ }
216
+ const interrupt = ctx.controlEvents.find((e) => e.controlKind === "interrupt" && e.ingestIndex < iFail);
217
+ if (interrupt !== undefined) {
218
+ return {
219
+ summary: buildSummary("decision_making", "p2", {}),
220
+ primaryOrigin: "decision_making",
221
+ confidence: "high",
222
+ unknownReasonCodes: [],
223
+ evidence: [
224
+ {
225
+ scope: "run_context",
226
+ ingestIndex: interrupt.ingestIndex,
227
+ runEventId: interrupt.runEventId,
228
+ codes: ["CONTROL_INTERRUPT"],
229
+ },
230
+ ],
231
+ };
232
+ }
233
+ const skippedBg = ctx.controlEvents.find((e) => (e.controlKind === "branch" || e.controlKind === "gate") &&
234
+ e.decision === "skipped" &&
235
+ e.ingestIndex < iFail);
236
+ if (skippedBg !== undefined) {
237
+ return {
238
+ summary: buildSummary("decision_making", "p2b", {}),
239
+ primaryOrigin: "decision_making",
240
+ confidence: "medium",
241
+ unknownReasonCodes: [],
242
+ evidence: [
243
+ {
244
+ scope: "run_context",
245
+ ingestIndex: skippedBg.ingestIndex,
246
+ runEventId: skippedBg.runEventId,
247
+ codes: [`CONTROL_${skippedBg.controlKind.toUpperCase()}_SKIPPED`],
248
+ },
249
+ ],
250
+ alternativeHypotheses: [{ primaryOrigin: "workflow_flow", rationale: RATIONALE_BRANCH_SKIPPED_ALT }],
251
+ };
252
+ }
253
+ const skippedTool = ctx.toolSkippedEvents.find((e) => e.ingestIndex < iFail);
254
+ if (skippedTool !== undefined) {
255
+ return {
256
+ summary: buildSummary("tool_use", "p3", {}),
257
+ primaryOrigin: "tool_use",
258
+ confidence: "medium",
259
+ unknownReasonCodes: [],
260
+ evidence: [
261
+ {
262
+ scope: "run_context",
263
+ ingestIndex: skippedTool.ingestIndex,
264
+ toolId: skippedTool.toolId,
265
+ codes: ["TOOL_SKIPPED"],
266
+ },
267
+ ],
268
+ };
269
+ }
270
+ }
271
+ // P4
272
+ if (engine.eventSequenceIntegrity.kind === "irregular") {
273
+ const reasons = engine.eventSequenceIntegrity.reasons;
274
+ const esCodes = sortUniqueCodes(reasons.map((r) => r.code));
275
+ const unknownReasonCodes = sortUniqueCodes(esCodes.filter((c) => !(c in EVENT_SEQUENCE_CODE_TO_ORIGIN)));
276
+ const knownEs = esCodes.filter((c) => c in EVENT_SEQUENCE_CODE_TO_ORIGIN);
277
+ const firstCode = knownEs.length > 0 ? minLex(knownEs) : minLex(esCodes);
278
+ const origin = knownEs.length > 0
279
+ ? EVENT_SEQUENCE_CODE_TO_ORIGIN[firstCode]
280
+ : "workflow_flow";
281
+ const confidence = unknownReasonCodes.length > 0 ? "low" : "high";
282
+ return {
283
+ summary: buildSummary(origin, "p4", { eventCode: firstCode }),
284
+ primaryOrigin: origin,
285
+ confidence,
286
+ unknownReasonCodes,
287
+ evidence: [{ scope: "event_sequence", codes: esCodes }],
288
+ };
289
+ }
290
+ // P5
291
+ if (engine.steps.length === 0) {
292
+ return {
293
+ summary: "No verification steps were produced; origin: workflow_flow.",
294
+ primaryOrigin: "workflow_flow",
295
+ confidence: "high",
296
+ unknownReasonCodes: [],
297
+ evidence: [{ scope: "step", codes: ["NO_STEPS_FOR_WORKFLOW"] }],
298
+ };
299
+ }
300
+ const driverStep = pickDriverStep(engine.steps);
301
+ const primaryCode = primaryCodeForStep(driverStep);
302
+ const mappedOrigin = REASON_CODE_TO_ORIGIN[primaryCode];
303
+ const origin = mappedOrigin ?? "workflow_flow";
304
+ const alts = alternativesForCode(primaryCode);
305
+ const unknownReasonCodes = primaryCode in REASON_CODE_TO_ORIGIN ? [] : sortUniqueCodes([primaryCode]);
306
+ const confidence = primaryCode === STEP_NO_REASON_CODE || mappedOrigin === undefined
307
+ ? "low"
308
+ : alts !== undefined
309
+ ? "medium"
310
+ : "high";
311
+ const evidence = [
312
+ {
313
+ scope: "step",
314
+ seq: driverStep.seq,
315
+ toolId: driverStep.toolId,
316
+ codes: [primaryCode],
317
+ },
318
+ ];
319
+ if (MULTI_EFFECT_ROLLUP_CODES.has(driverStep.reasons[0]?.code ?? "") && primaryCode !== driverStep.reasons[0]?.code) {
320
+ const effects = parseEffects(driverStep.evidenceSummary);
321
+ const failing = effects
322
+ .filter((e) => e.status !== "verified")
323
+ .sort((a, b) => a.id.localeCompare(b.id))[0];
324
+ if (failing !== undefined) {
325
+ evidence.push({ scope: "effect", effectId: failing.id, seq: driverStep.seq, codes: [primaryCode] });
326
+ }
327
+ }
328
+ return {
329
+ summary: buildSummary(origin, "p5", { driverStep, primaryCode }),
330
+ primaryOrigin: origin,
331
+ confidence,
332
+ unknownReasonCodes,
333
+ evidence,
334
+ ...(alts !== undefined ? { alternativeHypotheses: alts } : {}),
335
+ };
336
+ }
337
+ //# sourceMappingURL=failureAnalysis.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"failureAnalysis.js","sourceRoot":"","sources":["../src/failureAnalysis.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,qBAAqB,EACrB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAWhF,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,+BAA+B,GACnC,qIAAqI,CAAC;AACxI,MAAM,6BAA6B,GACjC,oJAAoJ,CAAC;AACvJ,MAAM,mCAAmC,GACvC,0HAA0H,CAAC;AAC7H,MAAM,+BAA+B,GACnC,6JAA6J,CAAC;AAChK,MAAM,4BAA4B,GAChC,+HAA+H,CAAC;AAElI,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,sCAAsC;CACvC,CAAC,CAAC;AAEH,MAAM,WAAW,GAA+B;IAC9C,uBAAuB,EAAE,CAAC;IAC1B,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,CAAC;IACf,kBAAkB,EAAE,CAAC;IACrB,SAAS,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;AACpE,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,CAAc,EAAE,GAA2B;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,4BAA4B,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AAC9B,CAAC;AAID,SAAS,YAAY,CAAC,eAAwC;IAC5D,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QACtD,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,SAAS;QACpG,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAA8C;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,OAAO;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;aACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAChC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAC1D,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,mBAAmB,CAAC,KAAoB;IACtD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACzD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;YAAE,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QAC1C,OAAO,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC,CAAC,CAAE,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB;IAC1C,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,aAAa,EAAE,yBAAyB,EAAE,SAAS,EAAE,+BAA+B,EAAE;YACxF,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,6BAA6B,EAAE;SACxE,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,aAAa,EAAE,yBAAyB,EAAE,SAAS,EAAE,mCAAmC,EAAE;YAC5F,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,+BAA+B,EAAE;SACxE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CACnB,MAAqB,EACrB,KAAsD,EACtD,MAMC;IAED,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,IAAI;YACP,OAAO,uCAAuC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,MAAM,GAAG,CAAC;QACtG,KAAK,IAAI;YACP,OAAO,gEAAgE,MAAM,CAAC,cAAc,IAAI,iBAAiB,uBAAuB,CAAC;QAC3I,KAAK,IAAI;YACP,OAAO,qHAAqH,MAAM,GAAG,CAAC;QACxI,KAAK,KAAK;YACR,OAAO,uIAAuI,CAAC;QACjJ,KAAK,IAAI;YACP,OAAO,2EAA2E,CAAC;QACrF,KAAK,IAAI;YACP,OAAO,qDAAqD,MAAM,CAAC,SAAS,IAAI,EAAE,2BAA2B,CAAC;QAChH,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC;YAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;YACpC,IAAI,CAAC,GAAG,0BAA0B,EAAE,EAAE,GAAG,IAAI,GAAG,SAAS,EAAE,EAAE,MAAM,IAAI,GAAG,UAAU,EAAE,cAAc,MAAM,GAAG,CAAC;YAC9G,MAAM,MAAM,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClE,CAAC;oBACC,8GAA8G,CAAC;YACnH,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD;YACE,OAAO,0CAA0C,MAAM,GAAG,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA4B;IAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAE9C,MAAM,GAAG,GAAG,MAAM,CAAC,sBAAsB,IAAI,iCAAiC,EAAE,CAAC;IACjF,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,KAAK;IACL,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,kBAAkB,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxE,MAAM,MAAM,GACV,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAA8C,CAAE,CAAC,CAAC,CAAC,eAAe,CAAC;QACrH,IAAI,UAA6C,CAAC;QAClD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,UAAU,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrC,UAAU,GAAG,MAAM,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;QACD,MAAM,QAAQ,GAAkC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACxF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YACtD,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QACvG,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;YAC7B,MAAM,QAAQ,GAAkC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxE,KAAK,EAAE,aAAsB;gBAC7B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,KAAK,EAAE,CAAC,iBAAiB,CAAC;aAC3B,CAAC,CAAC,CAAC;YACJ,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC;gBACvE,aAAa,EAAE,WAAW;gBAC1B,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ;aACT,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CACtF,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,IAAI,EAAE,EAAE,CAAC;gBAClD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,QAAQ,CAAC,WAAW;wBACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;wBAC/B,KAAK,EAAE,CAAC,cAAc,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;qBACvD;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QACxG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,IAAI,EAAE,EAAE,CAAC;gBAClD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,UAAU,EAAE,SAAS,CAAC,UAAU;wBAChC,KAAK,EAAE,CAAC,mBAAmB,CAAC;qBAC7B;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC;YACxD,CAAC,CAAC,QAAQ,KAAK,SAAS;YACxB,CAAC,CAAC,WAAW,GAAG,KAAK,CACxB,CAAC;QACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,KAAK,EAAE,EAAE,CAAC;gBACnD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,QAAQ;gBACpB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,UAAU,EAAE,SAAS,CAAC,UAAU;wBAChC,KAAK,EAAE,CAAC,WAAW,SAAS,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC;qBAClE;iBACF;gBACD,qBAAqB,EAAE,CAAC,EAAE,aAAa,EAAE,eAAe,EAAE,SAAS,EAAE,4BAA4B,EAAE,CAAC;aACrG,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QAC7E,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC3C,aAAa,EAAE,UAAU;gBACzB,UAAU,EAAE,QAAQ;gBACpB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,WAAW,CAAC,WAAW;wBACpC,MAAM,EAAE,WAAW,CAAC,MAAM;wBAC1B,KAAK,EAAE,CAAC,cAAc,CAAC;qBACxB;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK;IACL,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC;QACtD,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,kBAAkB,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,6BAA6B,CAAC,CAAC,CAAC,CAAC;QACzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,6BAA6B,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,6BAA6B,CAAC,SAAuD,CAAE;YACzF,CAAC,CAAC,eAAe,CAAC;QACtB,MAAM,UAAU,GACd,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACjD,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;YAC7D,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;SACxD,CAAC;IACJ,CAAC;IAED,KAAK;IACL,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,6DAA6D;YACtE,aAAa,EAAE,eAAe;YAC9B,UAAU,EAAE,MAAM;YAClB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC;SAChE,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,MAAM,GAAkB,YAAY,IAAI,eAAe,CAAC;IAC9D,MAAM,IAAI,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,kBAAkB,GACtB,WAAW,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7E,MAAM,UAAU,GACd,WAAW,KAAK,mBAAmB,IAAI,YAAY,KAAK,SAAS;QAC/D,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,MAAM,CAAC;IAEf,MAAM,QAAQ,GAAkC;QAC9C;YACE,KAAK,EAAE,MAAM;YACb,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,CAAC,WAAW,CAAC;SACrB;KACF,CAAC;IAEF,IAAI,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,WAAW,KAAK,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACpH,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,OAAO;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;aACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;QAChE,aAAa,EAAE,MAAM;QACrB,UAAU;QACV,kBAAkB;QAClB,QAAQ;QACR,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=failureAnalysis.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"failureAnalysis.test.d.ts","sourceRoot":"","sources":["../src/failureAnalysis.test.ts"],"names":[],"mappings":""}