agentskeptic 0.2.1 → 1.0.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 (386) hide show
  1. package/README.md +39 -39
  2. package/config/marketing.json +187 -0
  3. package/dist/actionableFailure.d.ts.map +1 -1
  4. package/dist/actionableFailure.js +95 -0
  5. package/dist/actionableFailure.js.map +1 -1
  6. package/dist/actionableFailure.remediationExhaustive.test.js +4 -4
  7. package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -1
  8. package/dist/agentRunBundle.d.ts +2 -0
  9. package/dist/agentRunBundle.d.ts.map +1 -1
  10. package/dist/agentRunBundle.js +4 -0
  11. package/dist/agentRunBundle.js.map +1 -1
  12. package/dist/assurance/assurancePathArgs.d.ts.map +1 -1
  13. package/dist/assurance/assurancePathArgs.js +1 -0
  14. package/dist/assurance/assurancePathArgs.js.map +1 -1
  15. package/dist/assurance/buildAssuranceOutput.d.ts +29 -0
  16. package/dist/assurance/buildAssuranceOutput.d.ts.map +1 -0
  17. package/dist/assurance/buildAssuranceOutput.js +53 -0
  18. package/dist/assurance/buildAssuranceOutput.js.map +1 -0
  19. package/dist/assurance/checkStale.d.ts +7 -0
  20. package/dist/assurance/checkStale.d.ts.map +1 -1
  21. package/dist/assurance/checkStale.js +14 -3
  22. package/dist/assurance/checkStale.js.map +1 -1
  23. package/dist/assurance/runAssurance.d.ts.map +1 -1
  24. package/dist/assurance/runAssurance.js +26 -3
  25. package/dist/assurance/runAssurance.js.map +1 -1
  26. package/dist/bootstrap/executeBootstrapPack.d.ts.map +1 -1
  27. package/dist/bootstrap/executeBootstrapPack.js +3 -2
  28. package/dist/bootstrap/executeBootstrapPack.js.map +1 -1
  29. package/dist/certificateDigest.d.ts +4 -0
  30. package/dist/certificateDigest.d.ts.map +1 -0
  31. package/dist/certificateDigest.js +7 -0
  32. package/dist/certificateDigest.js.map +1 -0
  33. package/dist/certificateDigest.test.d.ts +2 -0
  34. package/dist/certificateDigest.test.d.ts.map +1 -0
  35. package/dist/certificateDigest.test.js +14 -0
  36. package/dist/certificateDigest.test.js.map +1 -0
  37. package/dist/ciLockWorkflow.js +1 -1
  38. package/dist/cli/lockOrchestration.d.ts.map +1 -1
  39. package/dist/cli/lockOrchestration.js +81 -50
  40. package/dist/cli/lockOrchestration.js.map +1 -1
  41. package/dist/cli/lockOrchestration.test.js +7 -1
  42. package/dist/cli/lockOrchestration.test.js.map +1 -1
  43. package/dist/cli/runFunnelAnonSet.js +1 -1
  44. package/dist/cli.js +147 -136
  45. package/dist/cli.js.map +1 -1
  46. package/dist/cliArgv.d.ts +4 -1
  47. package/dist/cliArgv.d.ts.map +1 -1
  48. package/dist/cliArgv.js +9 -4
  49. package/dist/cliArgv.js.map +1 -1
  50. package/dist/cliArgv.test.d.ts +2 -0
  51. package/dist/cliArgv.test.d.ts.map +1 -0
  52. package/dist/cliArgv.test.js +34 -0
  53. package/dist/cliArgv.test.js.map +1 -0
  54. package/dist/cliOperationalCodes.d.ts +8 -0
  55. package/dist/cliOperationalCodes.d.ts.map +1 -1
  56. package/dist/cliOperationalCodes.js +8 -0
  57. package/dist/cliOperationalCodes.js.map +1 -1
  58. package/dist/commercial/activationCorrelation.d.ts +3 -0
  59. package/dist/commercial/activationCorrelation.d.ts.map +1 -0
  60. package/dist/commercial/activationCorrelation.js +6 -0
  61. package/dist/commercial/activationCorrelation.js.map +1 -0
  62. package/dist/commercial/getCurrentUsage.d.ts +16 -0
  63. package/dist/commercial/getCurrentUsage.d.ts.map +1 -0
  64. package/dist/commercial/getCurrentUsage.js +33 -0
  65. package/dist/commercial/getCurrentUsage.js.map +1 -0
  66. package/dist/commercial/licensePreflight.d.ts +1 -0
  67. package/dist/commercial/licensePreflight.d.ts.map +1 -1
  68. package/dist/commercial/licensePreflight.js +27 -8
  69. package/dist/commercial/licensePreflight.js.map +1 -1
  70. package/dist/commercial/postVerifyOutcomeBeacon.d.ts +5 -3
  71. package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
  72. package/dist/commercial/postVerifyOutcomeBeacon.js +17 -10
  73. package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
  74. package/dist/commercial/verifyOutcomeBeaconBody.d.ts +12 -0
  75. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -0
  76. package/dist/commercial/verifyOutcomeBeaconBody.js +26 -0
  77. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -0
  78. package/dist/commercial/verifyWorkloadClassify.d.ts +2 -7
  79. package/dist/commercial/verifyWorkloadClassify.d.ts.map +1 -1
  80. package/dist/commercial/verifyWorkloadClassify.js +1 -1
  81. package/dist/commercial/verifyWorkloadClassify.js.map +1 -1
  82. package/dist/commercial/verifyWorkloadClassify.test.js +7 -0
  83. package/dist/commercial/verifyWorkloadClassify.test.js.map +1 -1
  84. package/dist/compare.acceptance.test.js +25 -0
  85. package/dist/compare.acceptance.test.js.map +1 -1
  86. package/dist/compareRunManifest.d.ts +32 -0
  87. package/dist/compareRunManifest.d.ts.map +1 -0
  88. package/dist/compareRunManifest.js +60 -0
  89. package/dist/compareRunManifest.js.map +1 -0
  90. package/dist/crossing/crossingDecisionReadyFooter.d.ts +1 -1
  91. package/dist/crossing/crossingDecisionReadyFooter.js +1 -1
  92. package/dist/crossing/runCrossingSubcommand.js +8 -8
  93. package/dist/debug-ui/app.css +42 -0
  94. package/dist/debug-ui/app.js +206 -15
  95. package/dist/debug-ui/index.html +11 -4
  96. package/dist/debug-ui/urlState.d.ts +15 -0
  97. package/dist/debug-ui/urlState.js +92 -0
  98. package/dist/debugCorpus.test.js +33 -7
  99. package/dist/debugCorpus.test.js.map +1 -1
  100. package/dist/debugPanels.d.ts +0 -3
  101. package/dist/debugPanels.d.ts.map +1 -1
  102. package/dist/debugPanels.js +0 -23
  103. package/dist/debugPanels.js.map +1 -1
  104. package/dist/debugPanels.test.js +16 -15
  105. package/dist/debugPanels.test.js.map +1 -1
  106. package/dist/debugServer.d.ts.map +1 -1
  107. package/dist/debugServer.js +19 -16
  108. package/dist/debugServer.js.map +1 -1
  109. package/dist/debugServer.test.js +18 -9
  110. package/dist/debugServer.test.js.map +1 -1
  111. package/dist/debugUiUrlState.test.d.ts +2 -0
  112. package/dist/debugUiUrlState.test.d.ts.map +1 -0
  113. package/dist/debugUiUrlState.test.js +49 -0
  114. package/dist/debugUiUrlState.test.js.map +1 -0
  115. package/dist/decisionBlocker.contract.test.d.ts +2 -0
  116. package/dist/decisionBlocker.contract.test.d.ts.map +1 -0
  117. package/dist/decisionBlocker.contract.test.js +51 -0
  118. package/dist/decisionBlocker.contract.test.js.map +1 -0
  119. package/dist/decisionBlocker.d.ts +10 -0
  120. package/dist/decisionBlocker.d.ts.map +1 -0
  121. package/dist/decisionBlocker.js +66 -0
  122. package/dist/decisionBlocker.js.map +1 -0
  123. package/dist/decisionGate.assertSafe.test.d.ts +2 -0
  124. package/dist/decisionGate.assertSafe.test.d.ts.map +1 -0
  125. package/dist/decisionGate.assertSafe.test.js +52 -0
  126. package/dist/decisionGate.assertSafe.test.js.map +1 -0
  127. package/dist/decisionGate.d.ts +23 -0
  128. package/dist/decisionGate.d.ts.map +1 -0
  129. package/dist/decisionGate.js +85 -0
  130. package/dist/decisionGate.js.map +1 -0
  131. package/dist/decisionGate.persistBundle.test.d.ts +2 -0
  132. package/dist/decisionGate.persistBundle.test.d.ts.map +1 -0
  133. package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js} +31 -19
  134. package/dist/decisionGate.persistBundle.test.js.map +1 -0
  135. package/dist/decisionUnsafeError.d.ts +8 -0
  136. package/dist/decisionUnsafeError.d.ts.map +1 -0
  137. package/dist/decisionUnsafeError.js +12 -0
  138. package/dist/decisionUnsafeError.js.map +1 -0
  139. package/dist/discovery-payload-v1.json +167 -59
  140. package/dist/enforceCli.d.ts.map +1 -1
  141. package/dist/enforceCli.js +15 -40
  142. package/dist/enforceCli.js.map +1 -1
  143. package/dist/enforceStateful.d.ts +2 -0
  144. package/dist/enforceStateful.d.ts.map +1 -0
  145. package/dist/enforceStateful.js +106 -0
  146. package/dist/enforceStateful.js.map +1 -0
  147. package/dist/enforcementProjection.d.ts +17 -0
  148. package/dist/enforcementProjection.d.ts.map +1 -0
  149. package/dist/enforcementProjection.js +20 -0
  150. package/dist/enforcementProjection.js.map +1 -0
  151. package/dist/executionPathFindings.d.ts +1 -1
  152. package/dist/executionPathFindings.d.ts.map +1 -1
  153. package/dist/executionPathFindings.js +2 -2
  154. package/dist/executionPathFindings.js.map +1 -1
  155. package/dist/executionTrace.js +2 -2
  156. package/dist/executionTrace.js.map +1 -1
  157. package/dist/executionTrace.test.js +35 -0
  158. package/dist/executionTrace.test.js.map +1 -1
  159. package/dist/executionTraceDiff.d.ts +36 -0
  160. package/dist/executionTraceDiff.d.ts.map +1 -0
  161. package/dist/executionTraceDiff.js +86 -0
  162. package/dist/executionTraceDiff.js.map +1 -0
  163. package/dist/executionTraceDiff.test.d.ts +2 -0
  164. package/dist/executionTraceDiff.test.d.ts.map +1 -0
  165. package/dist/executionTraceDiff.test.js +44 -0
  166. package/dist/executionTraceDiff.test.js.map +1 -0
  167. package/dist/failureCatalog.d.ts +1 -0
  168. package/dist/failureCatalog.d.ts.map +1 -1
  169. package/dist/failureCatalog.js +1 -0
  170. package/dist/failureCatalog.js.map +1 -1
  171. package/dist/failureOriginCatalog.d.ts.map +1 -1
  172. package/dist/failureOriginCatalog.js +20 -0
  173. package/dist/failureOriginCatalog.js.map +1 -1
  174. package/dist/firstFiveMinutesChecklist.d.ts +11 -0
  175. package/dist/firstFiveMinutesChecklist.d.ts.map +1 -0
  176. package/dist/firstFiveMinutesChecklist.js +18 -0
  177. package/dist/firstFiveMinutesChecklist.js.map +1 -0
  178. package/dist/funnel/workflowLineageClassify.d.ts +1 -1
  179. package/dist/funnel/workflowLineageClassify.js +1 -1
  180. package/dist/index.d.ts +22 -7
  181. package/dist/index.d.ts.map +1 -1
  182. package/dist/index.js +15 -6
  183. package/dist/index.js.map +1 -1
  184. package/dist/langGraphCheckpointTrustGate.d.ts +38 -0
  185. package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -0
  186. package/dist/langGraphCheckpointTrustGate.js +124 -0
  187. package/dist/langGraphCheckpointTrustGate.js.map +1 -0
  188. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts +8 -0
  189. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts.map +1 -0
  190. package/dist/langGraphCheckpointTrustIneligibleCertificate.js +17 -0
  191. package/dist/langGraphCheckpointTrustIneligibleCertificate.js.map +1 -0
  192. package/dist/langGraphCheckpointTrustUnsafeError.d.ts +8 -0
  193. package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +1 -0
  194. package/dist/langGraphCheckpointTrustUnsafeError.js +12 -0
  195. package/dist/langGraphCheckpointTrustUnsafeError.js.map +1 -0
  196. package/dist/loadEvents.d.ts +5 -0
  197. package/dist/loadEvents.d.ts.map +1 -1
  198. package/dist/loadEvents.js +32 -0
  199. package/dist/loadEvents.js.map +1 -1
  200. package/dist/operationalDisposition.d.ts +64 -0
  201. package/dist/operationalDisposition.d.ts.map +1 -1
  202. package/dist/operationalDisposition.js +64 -0
  203. package/dist/operationalDisposition.js.map +1 -1
  204. package/dist/outcomeCertificate.d.ts +60 -0
  205. package/dist/outcomeCertificate.d.ts.map +1 -0
  206. package/dist/outcomeCertificate.js +254 -0
  207. package/dist/outcomeCertificate.js.map +1 -0
  208. package/dist/outcomeCertificate.test.d.ts +2 -0
  209. package/dist/outcomeCertificate.test.d.ts.map +1 -0
  210. package/dist/outcomeCertificate.test.js +74 -0
  211. package/dist/outcomeCertificate.test.js.map +1 -0
  212. package/dist/pipeline.d.ts +19 -17
  213. package/dist/pipeline.d.ts.map +1 -1
  214. package/dist/pipeline.js +61 -167
  215. package/dist/pipeline.js.map +1 -1
  216. package/dist/planTransition.test.js +4 -4
  217. package/dist/publicDistribution.generated.d.ts +2 -2
  218. package/dist/publicDistribution.generated.d.ts.map +1 -1
  219. package/dist/publicDistribution.generated.js +7 -8
  220. package/dist/publicDistribution.generated.js.map +1 -1
  221. package/dist/quickVerify/quickVerifyScope.d.ts +1 -1
  222. package/dist/quickVerify/quickVerifyScope.js +1 -1
  223. package/dist/quickVerify/runQuickVerify.js +1 -1
  224. package/dist/quickVerify/runQuickVerify.js.map +1 -1
  225. package/dist/quickVerify/verifyExecution.d.ts +1 -1
  226. package/dist/quickVerify/verifyExecution.d.ts.map +1 -1
  227. package/dist/quickVerify/verifyExecution.js +3 -2
  228. package/dist/quickVerify/verifyExecution.js.map +1 -1
  229. package/dist/reconciler.d.ts +6 -2
  230. package/dist/reconciler.d.ts.map +1 -1
  231. package/dist/reconciler.js +17 -11
  232. package/dist/reconciler.js.map +1 -1
  233. package/dist/registryDraft/createRegistryDraftAjv.d.ts +1 -1
  234. package/dist/registryDraft/createRegistryDraftAjv.js +1 -1
  235. package/dist/regressionArtifact.d.ts +63 -0
  236. package/dist/regressionArtifact.d.ts.map +1 -0
  237. package/dist/regressionArtifact.js +290 -0
  238. package/dist/regressionArtifact.js.map +1 -0
  239. package/dist/relationalInvariant.d.ts +13 -3
  240. package/dist/relationalInvariant.d.ts.map +1 -1
  241. package/dist/relationalInvariant.existsSql.test.js +1 -1
  242. package/dist/relationalInvariant.existsSql.test.js.map +1 -1
  243. package/dist/relationalInvariant.js +59 -39
  244. package/dist/relationalInvariant.js.map +1 -1
  245. package/dist/relationalInvariant.test.js +2 -2
  246. package/dist/relationalInvariant.test.js.map +1 -1
  247. package/dist/resolveExpectation.d.ts +18 -2
  248. package/dist/resolveExpectation.d.ts.map +1 -1
  249. package/dist/resolveExpectation.js +332 -1
  250. package/dist/resolveExpectation.js.map +1 -1
  251. package/dist/resolveExpectation.test.js +25 -0
  252. package/dist/resolveExpectation.test.js.map +1 -1
  253. package/dist/runComparison.d.ts +0 -1
  254. package/dist/runComparison.d.ts.map +1 -1
  255. package/dist/runComparison.js +18 -86
  256. package/dist/runComparison.js.map +1 -1
  257. package/dist/runComparison.test.js +101 -57
  258. package/dist/runComparison.test.js.map +1 -1
  259. package/dist/schema-validation.test.js +29 -0
  260. package/dist/schema-validation.test.js.map +1 -1
  261. package/dist/schemaLoad.d.ts +1 -1
  262. package/dist/schemaLoad.d.ts.map +1 -1
  263. package/dist/schemaLoad.js +15 -0
  264. package/dist/schemaLoad.js.map +1 -1
  265. package/dist/shareReport/postPublicVerificationReport.d.ts +6 -0
  266. package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -1
  267. package/dist/shareReport/postPublicVerificationReport.js +3 -1
  268. package/dist/shareReport/postPublicVerificationReport.js.map +1 -1
  269. package/dist/sortedJsonStringify.d.ts +2 -0
  270. package/dist/sortedJsonStringify.d.ts.map +1 -0
  271. package/dist/sortedJsonStringify.js +23 -0
  272. package/dist/sortedJsonStringify.js.map +1 -0
  273. package/dist/sqlDialect.d.ts +8 -0
  274. package/dist/sqlDialect.d.ts.map +1 -0
  275. package/dist/sqlDialect.js +37 -0
  276. package/dist/sqlDialect.js.map +1 -0
  277. package/dist/standardVerifyWorkflowCli.d.ts +20 -5
  278. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  279. package/dist/standardVerifyWorkflowCli.js +56 -24
  280. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  281. package/dist/stateWitness.d.ts +4 -0
  282. package/dist/stateWitness.d.ts.map +1 -0
  283. package/dist/stateWitness.js +383 -0
  284. package/dist/stateWitness.js.map +1 -0
  285. package/dist/stateWitness.test.d.ts +2 -0
  286. package/dist/stateWitness.test.d.ts.map +1 -0
  287. package/dist/stateWitness.test.js +120 -0
  288. package/dist/stateWitness.test.js.map +1 -0
  289. package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts +2 -0
  290. package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts.map +1 -1
  291. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js +13 -2
  292. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js.map +1 -1
  293. package/dist/telemetry/ossClaimOrigin.d.ts +1 -1
  294. package/dist/telemetry/ossClaimOrigin.js +1 -1
  295. package/dist/telemetry/postOssClaimContinuation.d.ts +1 -1
  296. package/dist/telemetry/postOssClaimContinuation.d.ts.map +1 -1
  297. package/dist/telemetry/postOssClaimContinuation.js +10 -6
  298. package/dist/telemetry/postOssClaimContinuation.js.map +1 -1
  299. package/dist/telemetry/postOssClaimTicket.d.ts +8 -0
  300. package/dist/telemetry/postOssClaimTicket.d.ts.map +1 -1
  301. package/dist/telemetry/postOssClaimTicket.js +31 -5
  302. package/dist/telemetry/postOssClaimTicket.js.map +1 -1
  303. package/dist/telemetry/verificationHypothesisContract.d.ts +1 -1
  304. package/dist/telemetry/verificationHypothesisContract.js +1 -1
  305. package/dist/trustDecision.d.ts +8 -0
  306. package/dist/trustDecision.d.ts.map +1 -0
  307. package/dist/trustDecision.js +13 -0
  308. package/dist/trustDecision.js.map +1 -0
  309. package/dist/types.d.ts +139 -7
  310. package/dist/types.d.ts.map +1 -1
  311. package/dist/types.js.map +1 -1
  312. package/dist/verificationConnections.d.ts +10 -0
  313. package/dist/verificationConnections.d.ts.map +1 -0
  314. package/dist/verificationConnections.js +190 -0
  315. package/dist/verificationConnections.js.map +1 -0
  316. package/dist/verificationDatabaseUrl.d.ts +11 -0
  317. package/dist/verificationDatabaseUrl.d.ts.map +1 -0
  318. package/dist/verificationDatabaseUrl.js +41 -0
  319. package/dist/verificationDatabaseUrl.js.map +1 -0
  320. package/dist/verificationDatabaseUrl.test.d.ts +2 -0
  321. package/dist/verificationDatabaseUrl.test.d.ts.map +1 -0
  322. package/dist/verificationDatabaseUrl.test.js +66 -0
  323. package/dist/verificationDatabaseUrl.test.js.map +1 -0
  324. package/dist/verificationDiagnostics.d.ts.map +1 -1
  325. package/dist/verificationDiagnostics.js +33 -9
  326. package/dist/verificationDiagnostics.js.map +1 -1
  327. package/dist/verificationDiagnostics.test.js +15 -0
  328. package/dist/verificationDiagnostics.test.js.map +1 -1
  329. package/dist/verificationPolicy.d.ts +2 -1
  330. package/dist/verificationPolicy.d.ts.map +1 -1
  331. package/dist/verificationPolicy.js +97 -0
  332. package/dist/verificationPolicy.js.map +1 -1
  333. package/dist/verificationPolicy.test.js +7 -0
  334. package/dist/verificationPolicy.test.js.map +1 -1
  335. package/dist/verificationRunContext.d.ts.map +1 -1
  336. package/dist/verificationRunContext.js +3 -0
  337. package/dist/verificationRunContext.js.map +1 -1
  338. package/dist/verificationUserPhrases.d.ts.map +1 -1
  339. package/dist/verificationUserPhrases.js +21 -0
  340. package/dist/verificationUserPhrases.js.map +1 -1
  341. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  342. package/dist/verify/batchVerifyTelemetrySubcommand.js +131 -33
  343. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  344. package/dist/verifyAgentskeptic.d.ts +4 -8
  345. package/dist/verifyAgentskeptic.d.ts.map +1 -1
  346. package/dist/verifyAgentskeptic.js +16 -21
  347. package/dist/verifyAgentskeptic.js.map +1 -1
  348. package/dist/verifyAgentskeptic.test.js +10 -12
  349. package/dist/verifyAgentskeptic.test.js.map +1 -1
  350. package/dist/verifyRunStateFromBufferedRunEvents.d.ts +18 -0
  351. package/dist/verifyRunStateFromBufferedRunEvents.d.ts.map +1 -0
  352. package/dist/verifyRunStateFromBufferedRunEvents.js +65 -0
  353. package/dist/verifyRunStateFromBufferedRunEvents.js.map +1 -0
  354. package/dist/vitestMonorepoRoot.d.ts +10 -0
  355. package/dist/vitestMonorepoRoot.d.ts.map +1 -0
  356. package/dist/vitestMonorepoRoot.js +97 -0
  357. package/dist/vitestMonorepoRoot.js.map +1 -0
  358. package/dist/wireReasonCodes.d.ts +21 -0
  359. package/dist/wireReasonCodes.d.ts.map +1 -1
  360. package/dist/wireReasonCodes.js +21 -0
  361. package/dist/wireReasonCodes.js.map +1 -1
  362. package/package.json +63 -40
  363. package/schemas/assurance-output-v1.schema.json +81 -0
  364. package/schemas/compare-run-manifest-v1.schema.json +65 -0
  365. package/schemas/conformance-normalized-result.schema.json +73 -0
  366. package/schemas/connector-capabilities.schema.json +38 -0
  367. package/schemas/event.schema.json +35 -0
  368. package/schemas/execution-trace-view.schema.json +1 -1
  369. package/schemas/openapi-commercial-v1.in.yaml +616 -17
  370. package/schemas/openapi-commercial-v1.yaml +616 -17
  371. package/schemas/outcome-certificate-v1.schema.json +89 -0
  372. package/schemas/public-verification-report-v2.schema.json +15 -0
  373. package/schemas/quick-verify-report.schema.json +1 -1
  374. package/schemas/regression-artifact-v1.schema.json +212 -0
  375. package/schemas/tools-registry.schema.json +103 -0
  376. package/schemas/workflow-engine-result.schema.json +71 -2
  377. package/schemas/workflow-truth-report.schema.json +12 -0
  378. package/scripts/discovery-acquisition.lib.cjs +60 -97
  379. package/scripts/discovery-payload.lib.cjs +41 -7
  380. package/scripts/emit-primary-marketing.cjs +326 -0
  381. package/scripts/origin.cjs +52 -0
  382. package/scripts/public-product-anchors.cjs +3 -0
  383. package/scripts/validate-marketing.cjs +156 -0
  384. package/dist/withWorkflowVerification.persistBundle.test.d.ts +0 -2
  385. package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +0 -1
  386. package/dist/withWorkflowVerification.persistBundle.test.js.map +0 -1
@@ -0,0 +1 @@
1
+ {"version":3,"file":"executionTraceDiff.js","sourceRoot":"","sources":["../src/executionTraceDiff.ts"],"names":[],"mappings":"AAmBA,SAAS,eAAe,CAAC,CAAqB;IAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC;IAC7B,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI;QAC/C,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI;QACjD,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,IAAwB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,QAAQ,KAAK,eAAe,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,SAAS;QACnE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgC,CAAC;IACpD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAwB;IACpD,MAAM,CAAC,GAA2B,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,QAAQ,KAAK,eAAe;YAAE,SAAS;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACrB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0FAA0F;AAC1F,SAAS,eAAe,CAAC,KAAyB,EAAE,SAA4C;IAC9F,MAAM,iBAAiB,GAA2C,EAAE,CAAC;IACrE,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC/B,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAOD,MAAM,UAAU,yBAAyB,CAAC,OAKzC;IAQC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC;IAC3E,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAsB,CAAC,GAAG,OAAO,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAClC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QACpC,IAAI,EAAqB,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,EAAE,GAAG,eAAe,CAAC;aAC7B,IAAI,CAAC,CAAC,IAAI,CAAC;YAAE,EAAE,GAAG,iBAAiB,CAAC;;YACpC,EAAE,GAAG,SAAS,CAAC;QACpB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,wBAAwB,GAC5B,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAEjF,OAAO;QACL,aAAa;QACb,eAAe;QACf,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE;QACrD,KAAK;QACL,wBAAwB;QACxB,kBAAkB,EAAE;YAClB,KAAK,EAAE,oBAAoB,CAAC,SAAS,CAAC;YACtC,OAAO,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC3C;KACF,CAAC;AACJ,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=executionTraceDiff.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"executionTraceDiff.test.d.ts","sourceRoot":"","sources":["../src/executionTraceDiff.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,44 @@
1
+ import { readFileSync } from "node:fs";
2
+ import { dirname, join } from "node:path";
3
+ import { fileURLToPath } from "node:url";
4
+ import { describe, expect, it } from "vitest";
5
+ import { buildExecutionTraceView } from "./executionTrace.js";
6
+ import { buildTracePairwisePayload } from "./executionTraceDiff.js";
7
+ import { loadEventsForWorkflow } from "./loadEvents.js";
8
+ const __dirname = dirname(fileURLToPath(import.meta.url));
9
+ const root = join(__dirname, "..");
10
+ describe("buildTracePairwisePayload", () => {
11
+ it("identical corpus runs: in_both for shared seq; timeline not diverged", () => {
12
+ const base = join(root, "test/fixtures/debug-ui-compare");
13
+ const wrPath = join(base, "run_a/workflow-result.json");
14
+ const evPath = join(base, "run_a/events.ndjson");
15
+ const wr = JSON.parse(readFileSync(wrPath, "utf8"));
16
+ const a = loadEventsForWorkflow(evPath, wr.workflowId);
17
+ const b = loadEventsForWorkflow(evPath, wr.workflowId);
18
+ const priorView = buildExecutionTraceView({
19
+ workflowId: wr.workflowId,
20
+ runEvents: a.runEvents,
21
+ malformedEventLineCount: a.malformedEventLineCount,
22
+ workflowResult: wr,
23
+ });
24
+ const currentView = buildExecutionTraceView({
25
+ workflowId: wr.workflowId,
26
+ runEvents: b.runEvents,
27
+ malformedEventLineCount: b.malformedEventLineCount,
28
+ workflowResult: wr,
29
+ });
30
+ const d = buildTracePairwisePayload({
31
+ priorView,
32
+ currentView,
33
+ priorRunIndex: 0,
34
+ currentRunIndex: 1,
35
+ });
36
+ expect(d.seqTimelineOrderDiverged).toBe(false);
37
+ expect(d.bySeq.every((r) => r.class === "in_both")).toBe(true);
38
+ expect(stringifySorted(d.nonToolEventCounts.prior)).toBe(stringifySorted(d.nonToolEventCounts.current));
39
+ });
40
+ });
41
+ function stringifySorted(o) {
42
+ return JSON.stringify(o, Object.keys(o).sort());
43
+ }
44
+ //# sourceMappingURL=executionTraceDiff.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"executionTraceDiff.test.js","sourceRoot":"","sources":["../src/executionTraceDiff.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,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,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAGxD,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAmB,CAAC;QACtE,MAAM,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,uBAAuB,CAAC;YACxC,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,uBAAuB,EAAE,CAAC,CAAC,uBAAuB;YAClD,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,uBAAuB,CAAC;YAC1C,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,uBAAuB,EAAE,CAAC,CAAC,uBAAuB;YAClD,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,yBAAyB,CAAC;YAClC,SAAS;YACT,WAAW;YACX,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,CAAC;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CACtD,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,eAAe,CAAC,CAAyB;IAChD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC"}
@@ -11,6 +11,7 @@ export declare const RETRY_OBSERVATIONS_DIVERGE_MESSAGE = "Multiple observations
11
11
  export declare const RUN_LEVEL_MESSAGES: {
12
12
  readonly MALFORMED_EVENT_LINE: "Event line was missing, invalid JSON, or failed schema validation for a tool observation.";
13
13
  readonly NO_STEPS_FOR_WORKFLOW: "No tool_observed events for this workflow id after filtering.";
14
+ readonly LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED: "LangGraph checkpoint trust requires every tool_observed line for this workflow to use schemaVersion 3 with langgraphCheckpoint.";
14
15
  };
15
16
  export declare function runLevelIssue(code: keyof typeof RUN_LEVEL_MESSAGES): Reason;
16
17
  /** SSOT for WorkflowResult.eventSequenceIntegrity.reasons (machine codes + messages). */
@@ -1 +1 @@
1
- {"version":3,"file":"failureCatalog.d.ts","sourceRoot":"","sources":["../src/failureCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,KAAK,eAAe,EACrB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,KAAK,eAAe,EAAE,CAAC;AAEvD,uDAAuD;AACvD,eAAO,MAAM,wBAAwB,EAAG,CAAU,CAAC;AACnD,eAAO,MAAM,cAAc,EAAG,6BAAsC,CAAC;AAErE,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAElD,yGAAyG;AACzG,eAAO,MAAM,kCAAkC,4GAC4D,CAAC;AAE5G,eAAO,MAAM,kBAAkB;;;CAIrB,CAAC;AAEX,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,OAAO,kBAAkB,GAAG,MAAM,CAE3E;AAED,yFAAyF;AACzF,eAAO,MAAM,uBAAuB;;CAG1B,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,MAAM,OAAO,uBAAuB,CAAC;AAE1E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,sBAAsB,GAAG,MAAM,CAEvE;AAID,gHAAgH;AAChH,wBAAgB,wCAAwC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKpG;AAED,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAQtE"}
1
+ {"version":3,"file":"failureCatalog.d.ts","sourceRoot":"","sources":["../src/failureCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,KAAK,eAAe,EACrB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,KAAK,eAAe,EAAE,CAAC;AAEvD,uDAAuD;AACvD,eAAO,MAAM,wBAAwB,EAAG,CAAU,CAAC;AACnD,eAAO,MAAM,cAAc,EAAG,6BAAsC,CAAC;AAErE,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAElD,yGAAyG;AACzG,eAAO,MAAM,kCAAkC,4GAC4D,CAAC;AAE5G,eAAO,MAAM,kBAAkB;;;;CAMrB,CAAC;AAEX,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,OAAO,kBAAkB,GAAG,MAAM,CAE3E;AAED,yFAAyF;AACzF,eAAO,MAAM,uBAAuB;;CAG1B,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,MAAM,OAAO,uBAAuB,CAAC;AAE1E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,sBAAsB,GAAG,MAAM,CAEvE;AAID,gHAAgH;AAChH,wBAAgB,wCAAwC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKpG;AAED,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAQtE"}
@@ -11,6 +11,7 @@ export const RETRY_OBSERVATIONS_DIVERGE_MESSAGE = "Multiple observations for thi
11
11
  export const RUN_LEVEL_MESSAGES = {
12
12
  MALFORMED_EVENT_LINE: "Event line was missing, invalid JSON, or failed schema validation for a tool observation.",
13
13
  NO_STEPS_FOR_WORKFLOW: "No tool_observed events for this workflow id after filtering.",
14
+ LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED: "LangGraph checkpoint trust requires every tool_observed line for this workflow to use schemaVersion 3 with langgraphCheckpoint.",
14
15
  };
15
16
  export function runLevelIssue(code) {
16
17
  return { code, message: RUN_LEVEL_MESSAGES[code] };
@@ -1 +1 @@
1
- {"version":3,"file":"failureCatalog.js","sourceRoot":"","sources":["../src/failureCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,GAEtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AAGpF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAwB,CAAC;AAEvD,uDAAuD;AACvD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAU,CAAC;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,6BAAsC,CAAC;AAErE,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC;AAElD,yGAAyG;AACzG,MAAM,CAAC,MAAM,kCAAkC,GAC7C,yGAAyG,CAAC;AAE5G,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,oBAAoB,EAClB,2FAA2F;IAC7F,qBAAqB,EAAE,+DAA+D;CAC9E,CAAC;AAEX,MAAM,UAAU,aAAa,CAAC,IAAqC;IACjE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,kCAAkC,EAChC,kHAAkH;CAC5G,CAAC;AAIX,MAAM,UAAU,kBAAkB,CAAC,IAA4B;IAC7D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,4BAA4B,GAAG,6CAAsD,CAAC;AAE5F,gHAAgH;AAChH,MAAM,UAAU,wCAAwC,CAAC,SAAiB,EAAE,QAAgB;IAC1F,OAAO;QACL,IAAI,EAAE,4BAA4B;QAClC,OAAO,EAAE,wDAAwD,SAAS,YAAY,QAAQ,GAAG;KAClG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAW;IAClD,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,6BAA6B,CAAC;IAC1C,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAe;IAC5D,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,aAAa,EAAE,wBAAwB;QACvC,IAAI,EAAE,cAAc;QACpB,IAAI;QACJ,OAAO,EAAE,wBAAwB,CAAC,OAAO,CAAC;QAC1C,gBAAgB,EAAE,gCAAgC,CAAC,IAAI,CAAC;KACzD,CAAC,CAAC;AACL,CAAC"}
1
+ {"version":3,"file":"failureCatalog.js","sourceRoot":"","sources":["../src/failureCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,GAEtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AAGpF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAwB,CAAC;AAEvD,uDAAuD;AACvD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAU,CAAC;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,6BAAsC,CAAC;AAErE,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC;AAElD,yGAAyG;AACzG,MAAM,CAAC,MAAM,kCAAkC,GAC7C,yGAAyG,CAAC;AAE5G,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,oBAAoB,EAClB,2FAA2F;IAC7F,qBAAqB,EAAE,+DAA+D;IACtF,+CAA+C,EAC7C,iIAAiI;CAC3H,CAAC;AAEX,MAAM,UAAU,aAAa,CAAC,IAAqC;IACjE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,kCAAkC,EAChC,kHAAkH;CAC5G,CAAC;AAIX,MAAM,UAAU,kBAAkB,CAAC,IAA4B;IAC7D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,4BAA4B,GAAG,6CAAsD,CAAC;AAE5F,gHAAgH;AAChH,MAAM,UAAU,wCAAwC,CAAC,SAAiB,EAAE,QAAgB;IAC1F,OAAO;QACL,IAAI,EAAE,4BAA4B;QAClC,OAAO,EAAE,wDAAwD,SAAS,YAAY,QAAQ,GAAG;KAClG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAW;IAClD,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,6BAA6B,CAAC;IAC1C,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAe;IAC5D,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,aAAa,EAAE,wBAAwB;QACvC,IAAI,EAAE,cAAc;QACpB,IAAI;QACJ,OAAO,EAAE,wBAAwB,CAAC,OAAO,CAAC;QAC1C,gBAAgB,EAAE,gCAAgC,CAAC,IAAI,CAAC;KACzD,CAAC,CAAC;AACL,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"failureOriginCatalog.d.ts","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAyB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAI7D,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,EAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,eAAO,MAAM,kBAAkB,EAAG,oBAA6B,CAAC;AAOhE;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAkC/D,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAIlE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAGvE,CAAC;AAkBF,yDAAyD;AACzD,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,eAAe,EAAE,aAAa,CAAc,CAAC;AAE7F,4EAA4E;AAC5E,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAe,CAAC;AAExF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMnE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMjE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMtE;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAKpE;AAED,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC"}
1
+ {"version":3,"file":"failureOriginCatalog.d.ts","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAyB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAI7D,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,EAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,eAAO,MAAM,kBAAkB,EAAG,oBAA6B,CAAC;AAOhE;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAsD/D,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAKlE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAGvE,CAAC;AAkBF,yDAAyD;AACzD,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,eAAe,EAAE,aAAa,CAAc,CAAC;AAE7F,4EAA4E;AAC5E,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAe,CAAC;AAExF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMnE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMjE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMtE;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAKpE;AAED,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC"}
@@ -41,6 +41,25 @@ export const REASON_CODE_TO_ORIGIN = {
41
41
  [SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_PARTIAL]: DOWNSTREAM,
42
42
  [SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_ALL_FAILED]: DOWNSTREAM,
43
43
  [SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_INCOMPLETE]: DOWNSTREAM,
44
+ [SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE]: WORKFLOW_FLOW,
45
+ [SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR]: INPUTS,
46
+ [SQL_VERIFICATION_OUTCOME_CODE.VECTOR_NOT_FOUND]: DOWNSTREAM,
47
+ [SQL_VERIFICATION_OUTCOME_CODE.VECTOR_METADATA_MISMATCH]: DOWNSTREAM,
48
+ [SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PAYLOAD_MISMATCH]: DOWNSTREAM,
49
+ [SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PROVIDER_ERROR]: DOWNSTREAM,
50
+ [SQL_VERIFICATION_OUTCOME_CODE.OBJECT_MISSING]: DOWNSTREAM,
51
+ [SQL_VERIFICATION_OUTCOME_CODE.OBJECT_DIGEST_MISMATCH]: DOWNSTREAM,
52
+ [SQL_VERIFICATION_OUTCOME_CODE.OBJECT_SIZE_MISMATCH]: DOWNSTREAM,
53
+ [SQL_VERIFICATION_OUTCOME_CODE.OBJECT_METADATA_MISMATCH]: DOWNSTREAM,
54
+ [SQL_VERIFICATION_OUTCOME_CODE.OBJECT_TOO_LARGE_FOR_HASH]: DOWNSTREAM,
55
+ [SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_STATUS_MISMATCH]: DOWNSTREAM,
56
+ [SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_ASSERTION_MISMATCH]: DOWNSTREAM,
57
+ [SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_NETWORK_ERROR]: DOWNSTREAM,
58
+ [SQL_VERIFICATION_OUTCOME_CODE.MONGO_DOCUMENT_MISSING]: DOWNSTREAM,
59
+ [SQL_VERIFICATION_OUTCOME_CODE.MONGO_VALUE_MISMATCH]: DOWNSTREAM,
60
+ [SQL_VERIFICATION_OUTCOME_CODE.BOUNDED_WINDOW_EXPIRED_WITHOUT_OBSERVATION]: DOWNSTREAM,
61
+ [SQL_VERIFICATION_OUTCOME_CODE.BOUNDED_MODE_UNSUPPORTED_FOR_CONNECTOR]: INPUTS,
62
+ [SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_UNSUPPORTED_IN_SCOPE]: WORKFLOW_FLOW,
44
63
  PLAN_RULE_ROW_KIND_MISMATCH: WORKFLOW_FLOW,
45
64
  PLAN_RULE_FORBIDDEN_ROW: WORKFLOW_FLOW,
46
65
  PLAN_RULE_REQUIRED_ROW_MISSING: WORKFLOW_FLOW,
@@ -51,6 +70,7 @@ export const REASON_CODE_TO_ORIGIN = {
51
70
  export const RUN_LEVEL_CODE_TO_ORIGIN = {
52
71
  MALFORMED_EVENT_LINE: INPUTS,
53
72
  NO_STEPS_FOR_WORKFLOW: WORKFLOW_FLOW,
73
+ LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED: INPUTS,
54
74
  [TEST_BLOCKING_CODE]: WORKFLOW_FLOW,
55
75
  };
56
76
  export const EVENT_SEQUENCE_CODE_TO_ORIGIN = {
@@ -1 +1 @@
1
- {"version":3,"file":"failureOriginCatalog.js","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAGrE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAA6B,CAAC;AAEhE,MAAM,UAAU,GAAG,yBAA0D,CAAC;AAC9E,MAAM,MAAM,GAAG,QAAyC,CAAC;AACzD,MAAM,QAAQ,GAAG,UAA2C,CAAC;AAC7D,MAAM,aAAa,GAAG,eAAgD,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC;IAClE,CAAC,mBAAmB,CAAC,EAAE,aAAa;IACpC,CAAC,kBAAkB,CAAC,EAAE,aAAa;IAEnC,CAAC,6BAA6B,CAAC,UAAU,CAAC,EAAE,UAAU;IACtD,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,+BAA+B,CAAC,EAAE,UAAU;IAC3E,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,8BAA8B,CAAC,EAAE,UAAU;IAC1E,CAAC,6BAA6B,CAAC,oCAAoC,CAAC,EAAE,UAAU;IAChF,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,0CAA0C,CAAC,EAAE,UAAU;IAEtF,CAAC,6BAA6B,CAAC,eAAe,CAAC,EAAE,UAAU;IAC3D,CAAC,6BAA6B,CAAC,kBAAkB,CAAC,EAAE,UAAU;IAC9D,CAAC,6BAA6B,CAAC,gBAAgB,CAAC,EAAE,UAAU;IAE5D,CAAC,6BAA6B,CAAC,YAAY,CAAC,EAAE,QAAQ;IACtD,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,QAAQ;IAEpE,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,UAAU;IAChE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IACnE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IAEnE,2BAA2B,EAAE,aAAa;IAC1C,uBAAuB,EAAE,aAAa;IACtC,8BAA8B,EAAE,aAAa;IAC7C,6BAA6B,EAAE,aAAa;IAC5C,yBAAyB,EAAE,aAAa;IAExC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAkC;CAC3G,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAkC;IACrE,oBAAoB,EAAE,MAAM;IAC5B,qBAAqB,EAAE,aAAa;IACpC,CAAC,kBAAkB,CAAC,EAAE,aAAa;CACpC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAkC;IAC1E,kCAAkC,EAAE,aAAa;IACjD,2CAA2C,EAAE,aAAa;CAC3D,CAAC;AAEF,SAAS,eAAe;IAItB,MAAM,MAAM,GAAG,EAA4C,CAAC;IAC5D,MAAM,OAAO,GAAG,EAAqC,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAsB,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,0BAA0B,GAA2C,GAAG,CAAC,MAAM,CAAC;AAE7F,4EAA4E;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GAAoC,GAAG,CAAC,OAAO,CAAC;AAExF,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,gDAAgD,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wDAAwD,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,IAAI,CAAC,CAAC,IAAI,IAAI,0BAA0B,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,0BAA0B,CAAC,IAAuB,CAAC,CAAC;AAC7D,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IACvE,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,kBAAkB,CAC7D;CACF,CAAC,CAAC"}
1
+ {"version":3,"file":"failureOriginCatalog.js","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAGrE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAA6B,CAAC;AAEhE,MAAM,UAAU,GAAG,yBAA0D,CAAC;AAC9E,MAAM,MAAM,GAAG,QAAyC,CAAC;AACzD,MAAM,QAAQ,GAAG,UAA2C,CAAC;AAC7D,MAAM,aAAa,GAAG,eAAgD,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC;IAClE,CAAC,mBAAmB,CAAC,EAAE,aAAa;IACpC,CAAC,kBAAkB,CAAC,EAAE,aAAa;IAEnC,CAAC,6BAA6B,CAAC,UAAU,CAAC,EAAE,UAAU;IACtD,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,+BAA+B,CAAC,EAAE,UAAU;IAC3E,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,8BAA8B,CAAC,EAAE,UAAU;IAC1E,CAAC,6BAA6B,CAAC,oCAAoC,CAAC,EAAE,UAAU;IAChF,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,0CAA0C,CAAC,EAAE,UAAU;IAEtF,CAAC,6BAA6B,CAAC,eAAe,CAAC,EAAE,UAAU;IAC3D,CAAC,6BAA6B,CAAC,kBAAkB,CAAC,EAAE,UAAU;IAC9D,CAAC,6BAA6B,CAAC,gBAAgB,CAAC,EAAE,UAAU;IAE5D,CAAC,6BAA6B,CAAC,YAAY,CAAC,EAAE,QAAQ;IACtD,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,QAAQ;IAEpE,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,UAAU;IAChE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IACnE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IAEnE,CAAC,6BAA6B,CAAC,6CAA6C,CAAC,EAAE,aAAa;IAC5F,CAAC,6BAA6B,CAAC,yBAAyB,CAAC,EAAE,MAAM;IACjE,CAAC,6BAA6B,CAAC,gBAAgB,CAAC,EAAE,UAAU;IAC5D,CAAC,6BAA6B,CAAC,wBAAwB,CAAC,EAAE,UAAU;IACpE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IACnE,CAAC,6BAA6B,CAAC,qBAAqB,CAAC,EAAE,UAAU;IACjE,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,sBAAsB,CAAC,EAAE,UAAU;IAClE,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,UAAU;IAChE,CAAC,6BAA6B,CAAC,wBAAwB,CAAC,EAAE,UAAU;IACpE,CAAC,6BAA6B,CAAC,yBAAyB,CAAC,EAAE,UAAU;IACrE,CAAC,6BAA6B,CAAC,4BAA4B,CAAC,EAAE,UAAU;IACxE,CAAC,6BAA6B,CAAC,+BAA+B,CAAC,EAAE,UAAU;IAC3E,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,sBAAsB,CAAC,EAAE,UAAU;IAClE,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,UAAU;IAChE,CAAC,6BAA6B,CAAC,0CAA0C,CAAC,EAAE,UAAU;IACtF,CAAC,6BAA6B,CAAC,sCAAsC,CAAC,EAAE,MAAM;IAC9E,CAAC,6BAA6B,CAAC,8BAA8B,CAAC,EAAE,aAAa;IAE7E,2BAA2B,EAAE,aAAa;IAC1C,uBAAuB,EAAE,aAAa;IACtC,8BAA8B,EAAE,aAAa;IAC7C,6BAA6B,EAAE,aAAa;IAC5C,yBAAyB,EAAE,aAAa;IAExC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAkC;CAC3G,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAkC;IACrE,oBAAoB,EAAE,MAAM;IAC5B,qBAAqB,EAAE,aAAa;IACpC,+CAA+C,EAAE,MAAM;IACvD,CAAC,kBAAkB,CAAC,EAAE,aAAa;CACpC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAkC;IAC1E,kCAAkC,EAAE,aAAa;IACjD,2CAA2C,EAAE,aAAa;CAC3D,CAAC;AAEF,SAAS,eAAe;IAItB,MAAM,MAAM,GAAG,EAA4C,CAAC;IAC5D,MAAM,OAAO,GAAG,EAAqC,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAsB,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,0BAA0B,GAA2C,GAAG,CAAC,MAAM,CAAC;AAE7F,4EAA4E;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GAAoC,GAAG,CAAC,OAAO,CAAC;AAExF,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,gDAAgD,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wDAAwD,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,IAAI,CAAC,CAAC,IAAI,IAAI,0BAA0B,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,0BAA0B,CAAC,IAAuB,CAAC,CAAC;AAC7D,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IACvE,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,kBAAkB,CAC7D;CACF,CAAC,CAAC"}
@@ -0,0 +1,11 @@
1
+ /**
2
+ * Single source of truth for the “first five minutes” onboarding checklist
3
+ * (product success decoupled from telemetry). Imported by CLI, website, and
4
+ * enforced in CI via doc fingerprints — do not duplicate these strings in markdown.
5
+ */
6
+ export declare const FIRST_FIVE_MINUTES_CHECKLIST: readonly string[];
7
+ /** One line framing telemetry vs product outcome (shown in UI + envelope context). */
8
+ export declare const TELEMETRY_ICING_LINE: "Optional telemetry helps connect browser demos and CLI verification. It never affects verification results and can be disabled.";
9
+ /** Full lines that must not appear verbatim under docs/ (any .md file; guards hand-copied checklist drift). */
10
+ export declare function getChecklistDocFingerprints(): ReadonlyArray<string>;
11
+ //# sourceMappingURL=firstFiveMinutesChecklist.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"firstFiveMinutesChecklist.d.ts","sourceRoot":"","sources":["../src/firstFiveMinutesChecklist.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,SAAS,MAAM,EAKhD,CAAC;AAEX,sFAAsF;AACtF,eAAO,MAAM,oBAAoB,EAC/B,iIAA0I,CAAC;AAE7I,+GAA+G;AAC/G,wBAAgB,2BAA2B,IAAI,aAAa,CAAC,MAAM,CAAC,CAEnE"}
@@ -0,0 +1,18 @@
1
+ /**
2
+ * Single source of truth for the “first five minutes” onboarding checklist
3
+ * (product success decoupled from telemetry). Imported by CLI, website, and
4
+ * enforced in CI via doc fingerprints — do not duplicate these strings in markdown.
5
+ */
6
+ export const FIRST_FIVE_MINUTES_CHECKLIST = [
7
+ "Visit an allowlisted marketing page or /integrate so the site can mint or reuse funnel_anon_id (skipped on routes without the beacon).",
8
+ "Join CLI to that id: run agentskeptic funnel-anon pull once, or agentskeptic funnel-anon set <uuid> if you already copied one from the browser.",
9
+ "Run verification on your workflow; green exit and verdict are product success.",
10
+ "Set AGENTSKEPTIC_TELEMETRY=0 to disable opt-in activity posts; they never change verification results.",
11
+ ];
12
+ /** One line framing telemetry vs product outcome (shown in UI + envelope context). */
13
+ export const TELEMETRY_ICING_LINE = "Optional telemetry helps connect browser demos and CLI verification. It never affects verification results and can be disabled.";
14
+ /** Full lines that must not appear verbatim under docs/ (any .md file; guards hand-copied checklist drift). */
15
+ export function getChecklistDocFingerprints() {
16
+ return [...FIRST_FIVE_MINUTES_CHECKLIST, TELEMETRY_ICING_LINE];
17
+ }
18
+ //# sourceMappingURL=firstFiveMinutesChecklist.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"firstFiveMinutesChecklist.js","sourceRoot":"","sources":["../src/firstFiveMinutesChecklist.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAsB;IAC7D,wIAAwI;IACxI,iJAAiJ;IACjJ,gFAAgF;IAChF,wGAAwG;CAChG,CAAC;AAEX,sFAAsF;AACtF,MAAM,CAAC,MAAM,oBAAoB,GAC/B,iIAA0I,CAAC;AAE7I,+GAA+G;AAC/G,MAAM,UAAU,2BAA2B;IACzC,OAAO,CAAC,GAAG,4BAA4B,EAAE,oBAAoB,CAAC,CAAC;AACjE,CAAC"}
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * Machine-derived workflow lineage for product-activation telemetry (schema v3).
3
- * Normative semantics: docs/adoption-epistemics-ssot.md, docs/growth-metrics-ssot.md
3
+ * Normative semantics: docs/adoption-epistemics.md, docs/growth-metrics.md
4
4
  */
5
5
  export type WorkflowLineage = "catalog_shipped" | "integrate_spine" | "integrator_scoped" | "unknown";
6
6
  export type ClassifyWorkflowLineageInput = {
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * Machine-derived workflow lineage for product-activation telemetry (schema v3).
3
- * Normative semantics: docs/adoption-epistemics-ssot.md, docs/growth-metrics-ssot.md
3
+ * Normative semantics: docs/adoption-epistemics.md, docs/growth-metrics.md
4
4
  */
5
5
  /** Shipped demo / partner / mid-spine workflow ids (integrate terminal uses its own bucket). */
6
6
  const CATALOG_SHIPPED_WORKFLOW_IDS = new Set([
package/dist/index.d.ts CHANGED
@@ -1,7 +1,19 @@
1
1
  export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
2
2
  export type { CiLockV1, CiLockBatchV1, CiLockQuickV1 } from "./ciLock.js";
3
- export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
4
- export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
3
+ export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
4
+ export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
5
+ export type { OutcomeCertificateV1, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, } from "./outcomeCertificate.js";
6
+ export { verifyWorkflow, loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
7
+ export type { VerifyRunStateFromEventsInput } from "./pipeline.js";
8
+ export { createDecisionGate } from "./decisionGate.js";
9
+ export type { CreateDecisionGateOptions, DecisionGate } from "./decisionGate.js";
10
+ export { assertLangGraphCheckpointProductionGate, classifyLangGraphCheckpointTrustEligibility, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
11
+ export type { CreateLangGraphCheckpointTrustGateOptions, LangGraphCheckpointTrustEligibility, LangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
12
+ export { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
13
+ export { trustDecisionFromCertificate } from "./trustDecision.js";
14
+ export type { TrustDecision } from "./trustDecision.js";
15
+ export { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
16
+ export { DecisionUnsafeError } from "./decisionUnsafeError.js";
5
17
  export { verifyAgentskeptic } from "./verifyAgentskeptic.js";
6
18
  export { loadSchemaValidator } from "./schemaLoad.js";
7
19
  export type { SchemaValidatorName } from "./schemaLoad.js";
@@ -13,7 +25,7 @@ export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryA
13
25
  export type { EventLoadSummary, RegistryValidationResult, ResolutionIssue, ResolutionSkipped, StructuralIssue, } from "./registryValidation.js";
14
26
  export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
15
27
  export type { BuildExecutionTraceViewInput } from "./executionTrace.js";
16
- export { loadEventsForWorkflow } from "./loadEvents.js";
28
+ export { loadEventsForWorkflow, eventsFileHasSchemaV3ToolObservedForWorkflow } from "./loadEvents.js";
17
29
  export { formatNoStepsForWorkflowMessage, enrichNoStepsRunLevelReasons } from "./noStepsMessage.js";
18
30
  export { TruthLayerError } from "./truthLayerError.js";
19
31
  export { CLI_OPERATIONAL_CODES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, cliErrorEnvelope, CLI_ERROR_KIND, CLI_ERROR_SCHEMA_VERSION, eventSequenceIssue, EVENT_SEQUENCE_MESSAGES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, } from "./failureCatalog.js";
@@ -22,22 +34,25 @@ export { canonicalJsonForParams } from "./canonicalParams.js";
22
34
  export { reconcileSqlRow, reconcileSqlRowAsync } from "./reconciler.js";
23
35
  export { aggregateWorkflow } from "./aggregate.js";
24
36
  export { ACTIONABLE_FAILURE_CATEGORIES, ACTIONABLE_FAILURE_SEVERITIES, buildActionableCategoryRecurrence, buildCategoryHistogram, deriveActionableCategory, deriveActionableFailureOperational, deriveActionableFailureWorkflow, deriveSeverityWorkflow, maxConsecutiveStreak, productionStepReasonCodeToActionableCategory, productionStepReasonCodeToRemediation, } from "./actionableFailure.js";
25
- export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, formatRunComparisonReport, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
26
- export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderComparePanelHtml, renderRunTrustPanelHtml, } from "./debugPanels.js";
37
+ export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
38
+ export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderRunTrustPanelHtml, } from "./debugPanels.js";
39
+ export type { RegressionArtifactV1 } from "./regressionArtifact.js";
40
+ export { buildRegressionArtifactFromCompareManifest, buildRegressionArtifactFromDebugCorpus, DEBUG_MANIFEST_SHA256_PLACEHOLDER, stringifyRegressionArtifact, } from "./regressionArtifact.js";
41
+ export { certificateCanonicalDigestHex } from "./certificateDigest.js";
27
42
  export { buildWorkflowTruthReport, buildWorkflowVerdictSurface, finalizeEmittedWorkflowResult, formatWorkflowTruthReport, formatWorkflowTruthReportStruct, HUMAN_REPORT_PLAN_TRANSITION_PHRASE, HUMAN_REPORT_RESULT_PHRASE, STEP_STATUS_TRUTH_LABELS, TRUST_LINE_UNCERTAIN_WITHIN_WINDOW, TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX, } from "./workflowTruthReport.js";
28
43
  export type { WorkflowVerdictSurface } from "./workflowTruthReport.js";
29
44
  export { assertGitVersionAtLeast_2_30, buildPlanTransitionEventsNdjson, buildPlanTransitionWorkflowResult, evaluatePlanRules, loadPlanTransitionRules, parseGitNameStatusZ, parseGitVersionTriple, PLAN_RULE_CODES, preflightPatternString, } from "./planTransition.js";
30
45
  export { extractMarkdownBodyAfterFrontMatter } from "./planTransitionPathHarvest.js";
31
46
  export type { PlanDiffRow, PlanDiffRowKind, TransitionRulesProvenance } from "./planTransition.js";
32
47
  export { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
33
- export { writeAgentRunBundle } from "./agentRunBundle.js";
48
+ export { writeAgentRunBundle, writeRunBundleFromDecisionGate } from "./agentRunBundle.js";
34
49
  export type { WriteAgentRunBundleOptions } from "./agentRunBundle.js";
35
50
  export { workflowEngineResultFromEmitted, normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
36
51
  export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
37
52
  export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
38
53
  export { applyPostgresVerificationSessionGuards, buildSelectByIdentitySqlPostgres, connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
39
54
  export { RECOMMENDED_ACTION_CODES } from "./types.js";
40
- export type { ActionableFailure, ActionableFailureCategory, ActionableFailureSeverity, RecommendedActionCode, ControlRunEvent, ExecutionTraceBackwardPath, ExecutionTraceNode, ExecutionTraceVerificationLink, ExecutionTraceView, FailureDiagnostic, EventFileAggregateCounts, LoadEventsResult, ModelTurnRunEvent, Reason, RetrievalRunEvent, RunEvent, ToolObservedEvent, ToolObservedEventV1, ToolObservedEventV2, ToolSkippedRunEvent, TraceStepKind, ToolRegistryEntry, VerificationRequest, VerificationDatabase, VerificationPolicy, WorkflowEngineResult, WorkflowResult, WorkflowTruthReport, WorkflowTruthStep, StepOutcome, EventSequenceIntegrity, IntendedEffect, ObservedExecution, } from "./types.js";
55
+ export type { ActionableFailure, ActionableFailureCategory, ActionableFailureSeverity, RecommendedActionCode, ControlRunEvent, ExecutionTraceBackwardPath, ExecutionTraceNode, ExecutionTraceVerificationLink, ExecutionTraceView, FailureDiagnostic, EventFileAggregateCounts, LoadEventsResult, ModelTurnRunEvent, Reason, RetrievalRunEvent, RunEvent, ToolObservedEvent, ToolObservedEventV1, ToolObservedEventV2, ToolSkippedRunEvent, TraceStepKind, ToolRegistryEntry, VerificationRequest, VerificationDatabase, VerificationPolicy, EventSequenceIntegrity, IntendedEffect, ObservedExecution, } from "./types.js";
41
56
  export type { BucketAEntry, CompareHighlights, PairwiseBucketB, RecurrencePattern, ReliabilityAssessment, ReliabilityTrend, RunComparisonReport, } from "./runComparison.js";
42
57
  export type { SqlReadBackend } from "./sqlReadBackend.js";
43
58
  export { AGENT_RUN_FILENAME, buildAgentRunRecordForBundle, sha256Hex, EVENTS_FILENAME, EVENTS_RELATIVE, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,GACpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EACL,uCAAuC,EACvC,2CAA2C,EAC3C,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAC1F,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
package/dist/index.js CHANGED
@@ -1,13 +1,20 @@
1
1
  export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
2
- export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
3
- export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
2
+ export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
3
+ export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
4
+ export { verifyWorkflow, loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
5
+ export { createDecisionGate } from "./decisionGate.js";
6
+ export { assertLangGraphCheckpointProductionGate, classifyLangGraphCheckpointTrustEligibility, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
7
+ export { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
8
+ export { trustDecisionFromCertificate } from "./trustDecision.js";
9
+ export { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
10
+ export { DecisionUnsafeError } from "./decisionUnsafeError.js";
4
11
  export { verifyAgentskeptic } from "./verifyAgentskeptic.js";
5
12
  export { loadSchemaValidator } from "./schemaLoad.js";
6
13
  export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
7
14
  export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
8
15
  export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
9
16
  export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
10
- export { loadEventsForWorkflow } from "./loadEvents.js";
17
+ export { loadEventsForWorkflow, eventsFileHasSchemaV3ToolObservedForWorkflow } from "./loadEvents.js";
11
18
  export { formatNoStepsForWorkflowMessage, enrichNoStepsRunLevelReasons } from "./noStepsMessage.js";
12
19
  export { TruthLayerError } from "./truthLayerError.js";
13
20
  export { CLI_OPERATIONAL_CODES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, cliErrorEnvelope, CLI_ERROR_KIND, CLI_ERROR_SCHEMA_VERSION, eventSequenceIssue, EVENT_SEQUENCE_MESSAGES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, } from "./failureCatalog.js";
@@ -16,13 +23,15 @@ export { canonicalJsonForParams } from "./canonicalParams.js";
16
23
  export { reconcileSqlRow, reconcileSqlRowAsync } from "./reconciler.js";
17
24
  export { aggregateWorkflow } from "./aggregate.js";
18
25
  export { ACTIONABLE_FAILURE_CATEGORIES, ACTIONABLE_FAILURE_SEVERITIES, buildActionableCategoryRecurrence, buildCategoryHistogram, deriveActionableCategory, deriveActionableFailureOperational, deriveActionableFailureWorkflow, deriveSeverityWorkflow, maxConsecutiveStreak, productionStepReasonCodeToActionableCategory, productionStepReasonCodeToRemediation, } from "./actionableFailure.js";
19
- export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, formatRunComparisonReport, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
20
- export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderComparePanelHtml, renderRunTrustPanelHtml, } from "./debugPanels.js";
26
+ export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
27
+ export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderRunTrustPanelHtml, } from "./debugPanels.js";
28
+ export { buildRegressionArtifactFromCompareManifest, buildRegressionArtifactFromDebugCorpus, DEBUG_MANIFEST_SHA256_PLACEHOLDER, stringifyRegressionArtifact, } from "./regressionArtifact.js";
29
+ export { certificateCanonicalDigestHex } from "./certificateDigest.js";
21
30
  export { buildWorkflowTruthReport, buildWorkflowVerdictSurface, finalizeEmittedWorkflowResult, formatWorkflowTruthReport, formatWorkflowTruthReportStruct, HUMAN_REPORT_PLAN_TRANSITION_PHRASE, HUMAN_REPORT_RESULT_PHRASE, STEP_STATUS_TRUTH_LABELS, TRUST_LINE_UNCERTAIN_WITHIN_WINDOW, TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX, } from "./workflowTruthReport.js";
22
31
  export { assertGitVersionAtLeast_2_30, buildPlanTransitionEventsNdjson, buildPlanTransitionWorkflowResult, evaluatePlanRules, loadPlanTransitionRules, parseGitNameStatusZ, parseGitVersionTriple, PLAN_RULE_CODES, preflightPatternString, } from "./planTransition.js";
23
32
  export { extractMarkdownBodyAfterFrontMatter } from "./planTransitionPathHarvest.js";
24
33
  export { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
25
- export { writeAgentRunBundle } from "./agentRunBundle.js";
34
+ export { writeAgentRunBundle, writeRunBundleFromDecisionGate } from "./agentRunBundle.js";
26
35
  export { workflowEngineResultFromEmitted, normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
27
36
  export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
28
37
  export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
package/dist/index.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA8CtD,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AAWjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EACL,uCAAuC,EACvC,2CAA2C,EAC3C,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAM3C,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAE1F,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAyCtD,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
@@ -0,0 +1,38 @@
1
+ import type { Reason, ToolObservedEvent, VerificationPolicy } from "./types.js";
2
+ import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
3
+ export type LangGraphCheckpointTrustEligibility = {
4
+ eligible: true;
5
+ } | {
6
+ eligible: false;
7
+ certificateReasons: Reason[];
8
+ };
9
+ /**
10
+ * Shared eligibility for LangGraph checkpoint trust (CLI + runtime gate).
11
+ * Preconditions: `toolObservedEvents` are schema-valid `tool_observed` for the target workflow only.
12
+ */
13
+ export declare function classifyLangGraphCheckpointTrustEligibility(input: {
14
+ runLevelReasons: Reason[];
15
+ toolObservedEvents: ToolObservedEvent[];
16
+ }): LangGraphCheckpointTrustEligibility;
17
+ /**
18
+ * LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
19
+ */
20
+ export declare function assertLangGraphCheckpointProductionGate(certificate: OutcomeCertificateV1): void;
21
+ export type CreateLangGraphCheckpointTrustGateOptions = {
22
+ workflowId: string;
23
+ registryPath: string;
24
+ databaseUrl: string;
25
+ projectRoot?: string;
26
+ verificationPolicy?: VerificationPolicy;
27
+ logStep?: (line: object) => void;
28
+ truthReport?: (report: string) => void;
29
+ };
30
+ export type LangGraphCheckpointTrustGate = {
31
+ appendRunEvent(value: unknown): void;
32
+ toNdjsonUtf8(): Buffer;
33
+ /** Eligible path hits the DB; ineligible returns certificate only (no DB). */
34
+ runCheckpointTrust(): Promise<OutcomeCertificateV1>;
35
+ assertLangGraphCheckpointProductionGate(): Promise<void>;
36
+ };
37
+ export declare function createLangGraphCheckpointTrustGate(options: CreateLangGraphCheckpointTrustGateOptions): LangGraphCheckpointTrustGate;
38
+ //# sourceMappingURL=langGraphCheckpointTrustGate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustGate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,MAAM,EAAY,iBAAiB,EAAwB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChH,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAUjC,MAAM,MAAM,mCAAmC,GAC3C;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEtD;;;GAGG;AACH,wBAAgB,2CAA2C,CAAC,KAAK,EAAE;IACjE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;CACzC,GAAG,mCAAmC,CActC;AAED;;GAEG;AACH,wBAAgB,uCAAuC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAiB/F;AAED,MAAM,MAAM,yCAAyC,GAAG;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IACrC,YAAY,IAAI,MAAM,CAAC;IACvB,8EAA8E;IAC9E,kBAAkB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACpD,uCAAuC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1D,CAAC;AAEF,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,yCAAyC,GACjD,4BAA4B,CAgF9B"}
@@ -0,0 +1,124 @@
1
+ import path from "node:path";
2
+ import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
3
+ import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
4
+ import { isToolObservedRunEvent } from "./executionTrace.js";
5
+ import { validatedLangGraphIneligibleCertificate } from "./langGraphCheckpointTrustIneligibleCertificate.js";
6
+ import { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
7
+ import { loadSchemaValidator } from "./schemaLoad.js";
8
+ import { resolveVerificationPolicyInput } from "./verificationPolicy.js";
9
+ import { TruthLayerError } from "./truthLayerError.js";
10
+ import { trustDecisionFromCertificate } from "./trustDecision.js";
11
+ import { buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, } from "./outcomeCertificate.js";
12
+ import { verifyRunStateFromBufferedRunEvents } from "./verifyRunStateFromBufferedRunEvents.js";
13
+ import { parseVerificationDatabaseUrl } from "./verificationDatabaseUrl.js";
14
+ const validateEvent = loadSchemaValidator("event");
15
+ function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
16
+ return parseVerificationDatabaseUrl(databaseUrl, projectRoot);
17
+ }
18
+ /**
19
+ * Shared eligibility for LangGraph checkpoint trust (CLI + runtime gate).
20
+ * Preconditions: `toolObservedEvents` are schema-valid `tool_observed` for the target workflow only.
21
+ */
22
+ export function classifyLangGraphCheckpointTrustEligibility(input) {
23
+ if (input.runLevelReasons.length > 0) {
24
+ return { eligible: false, certificateReasons: [...input.runLevelReasons] };
25
+ }
26
+ if (input.toolObservedEvents.length === 0) {
27
+ return { eligible: false, certificateReasons: [runLevelIssue("NO_STEPS_FOR_WORKFLOW")] };
28
+ }
29
+ if (input.toolObservedEvents.some((t) => t.schemaVersion !== 3)) {
30
+ return {
31
+ eligible: false,
32
+ certificateReasons: [runLevelIssue("LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED")],
33
+ };
34
+ }
35
+ return { eligible: true };
36
+ }
37
+ /**
38
+ * LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
39
+ */
40
+ export function assertLangGraphCheckpointProductionGate(certificate) {
41
+ if (certificate.runKind !== "contract_sql_langgraph_checkpoint_trust") {
42
+ throw new Error("assertLangGraphCheckpointProductionGate: certificate.runKind must be contract_sql_langgraph_checkpoint_trust");
43
+ }
44
+ const verdicts = certificate.checkpointVerdicts;
45
+ const rowB = verdicts !== undefined &&
46
+ verdicts.length > 0 &&
47
+ verdicts.every((r) => r.verdict === "verified") &&
48
+ certificate.stateRelation === "matches_expectations" &&
49
+ certificate.highStakesReliance === "permitted" &&
50
+ trustDecisionFromCertificate(certificate) === "safe";
51
+ if (rowB)
52
+ return;
53
+ const { lines } = formatDecisionBlockerForHumans(certificate);
54
+ throw new LangGraphCheckpointTrustUnsafeError(certificate, lines);
55
+ }
56
+ export function createLangGraphCheckpointTrustGate(options) {
57
+ const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
58
+ const registryPath = path.resolve(projectRoot, options.registryPath);
59
+ const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
60
+ const database = verificationDatabaseFromUrl(options.databaseUrl, projectRoot);
61
+ const logStep = options.logStep ?? (() => { });
62
+ const truthReport = options.truthReport ?? (() => { });
63
+ const bufferedRunEvents = [];
64
+ const runLevelReasons = [];
65
+ const api = {};
66
+ api.appendRunEvent = (value) => {
67
+ if (typeof value !== "object" || value === null) {
68
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
69
+ return;
70
+ }
71
+ if (!validateEvent(value)) {
72
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
73
+ return;
74
+ }
75
+ const ev = value;
76
+ if (ev.workflowId !== options.workflowId) {
77
+ return;
78
+ }
79
+ bufferedRunEvents.push(ev);
80
+ };
81
+ api.toNdjsonUtf8 = () => {
82
+ const parts = [];
83
+ for (const ev of bufferedRunEvents) {
84
+ parts.push(`${JSON.stringify(ev)}\n`);
85
+ }
86
+ return Buffer.from(parts.join(""), "utf8");
87
+ };
88
+ api.runCheckpointTrust = async () => {
89
+ if (!bufferedRunEvents.length && !runLevelReasons.length) {
90
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "LangGraphCheckpointTrustGate.runCheckpointTrust requires at least one buffered run event for the workflow.");
91
+ }
92
+ const toolObservedEvents = bufferedRunEvents.filter(isToolObservedRunEvent);
93
+ const eligibility = classifyLangGraphCheckpointTrustEligibility({
94
+ runLevelReasons,
95
+ toolObservedEvents,
96
+ });
97
+ if (!eligibility.eligible) {
98
+ return validatedLangGraphIneligibleCertificate(options.workflowId, eligibility.certificateReasons);
99
+ }
100
+ const result = await verifyRunStateFromBufferedRunEvents({
101
+ workflowId: options.workflowId,
102
+ registryPath,
103
+ database,
104
+ projectRoot,
105
+ bufferedRunEvents,
106
+ runLevelReasons,
107
+ verificationPolicy,
108
+ logStep,
109
+ truthReport,
110
+ });
111
+ const certificate = buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result);
112
+ const validateCert = loadSchemaValidator("outcome-certificate-v1");
113
+ if (!validateCert(certificate)) {
114
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
115
+ }
116
+ return certificate;
117
+ };
118
+ api.assertLangGraphCheckpointProductionGate = async () => {
119
+ const certificate = await api.runCheckpointTrust();
120
+ assertLangGraphCheckpointProductionGate(certificate);
121
+ };
122
+ return api;
123
+ }
124
+ //# sourceMappingURL=langGraphCheckpointTrustGate.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustGate.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,uCAAuC,EAAE,MAAM,oDAAoD,CAAC;AAC7G,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EACL,iEAAiE,GAElE,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,SAAS,2BAA2B,CAAC,WAAmB,EAAE,WAAmB;IAC3E,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;AAChE,CAAC;AAMD;;;GAGG;AACH,MAAM,UAAU,2CAA2C,CAAC,KAG3D;IACC,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,kBAAkB,EAAE,CAAC,aAAa,CAAC,iDAAiD,CAAC,CAAC;SACvF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uCAAuC,CAAC,WAAiC;IACvF,IAAI,WAAW,CAAC,OAAO,KAAK,yCAAyC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,8GAA8G,CAC/G,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,kBAAkB,CAAC;IAChD,MAAM,IAAI,GACR,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC;QAC/C,WAAW,CAAC,aAAa,KAAK,sBAAsB;QACpD,WAAW,CAAC,kBAAkB,KAAK,WAAW;QAC9C,4BAA4B,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC;IACvD,IAAI,IAAI;QAAE,OAAO;IACjB,MAAM,EAAE,KAAK,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,IAAI,mCAAmC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AAoBD,MAAM,UAAU,kCAAkC,CAChD,OAAkD;IAElD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,iBAAiB,GAAe,EAAE,CAAC;IACzC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,MAAM,GAAG,GAAG,EAAkC,CAAC;IAE/C,GAAG,CAAC,cAAc,GAAG,CAAC,KAAc,EAAQ,EAAE;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,KAAiB,CAAC;QAC7B,IAAI,EAAE,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;QACT,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,GAAG,CAAC,YAAY,GAAG,GAAW,EAAE;QAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC;IAEF,GAAG,CAAC,kBAAkB,GAAG,KAAK,IAAmC,EAAE;QACjE,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,4GAA4G,CAC7G,CAAC;QACJ,CAAC;QACD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,sBAAsB,CAAwB,CAAC;QACnG,MAAM,WAAW,GAAG,2CAA2C,CAAC;YAC9D,eAAe;YACf,kBAAkB;SACnB,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,OAAO,uCAAuC,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACrG,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mCAAmC,CAAC;YACvD,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY;YACZ,QAAQ;YACR,WAAW;YACX,iBAAiB;YACjB,eAAe;YACf,kBAAkB;YAClB,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,iEAAiE,CAAC,MAAM,CAAC,CAAC;QAC9F,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;QACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;QACJ,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IAEF,GAAG,CAAC,uCAAuC,GAAG,KAAK,IAAmB,EAAE;QACtE,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACnD,uCAAuC,CAAC,WAAW,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}
@@ -0,0 +1,8 @@
1
+ import type { Reason } from "./types.js";
2
+ import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
3
+ /**
4
+ * Ineligible LangGraph checkpoint trust: Outcome Certificate only (no DB, no reconcile path).
5
+ * Import surface is intentionally tiny; CI guards this file against forbidden imports.
6
+ */
7
+ export declare function validatedLangGraphIneligibleCertificate(workflowId: string, reasons: Reason[]): OutcomeCertificateV1;
8
+ //# sourceMappingURL=langGraphCheckpointTrustIneligibleCertificate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustIneligibleCertificate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustIneligibleCertificate.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAEjC;;;GAGG;AACH,wBAAgB,uCAAuC,CACrD,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EAAE,GAChB,oBAAoB,CAUtB"}
@@ -0,0 +1,17 @@
1
+ import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
2
+ import { loadSchemaValidator } from "./schemaLoad.js";
3
+ import { TruthLayerError } from "./truthLayerError.js";
4
+ import { buildIneligibleLangGraphCheckpointTrustCertificate, } from "./outcomeCertificate.js";
5
+ /**
6
+ * Ineligible LangGraph checkpoint trust: Outcome Certificate only (no DB, no reconcile path).
7
+ * Import surface is intentionally tiny; CI guards this file against forbidden imports.
8
+ */
9
+ export function validatedLangGraphIneligibleCertificate(workflowId, reasons) {
10
+ const certificate = buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, reasons);
11
+ const validateCert = loadSchemaValidator("outcome-certificate-v1");
12
+ if (!validateCert(certificate)) {
13
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
14
+ }
15
+ return certificate;
16
+ }
17
+ //# sourceMappingURL=langGraphCheckpointTrustIneligibleCertificate.js.map