agentskeptic 1.0.0 → 1.0.3

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 (136) hide show
  1. package/README.md +24 -27
  2. package/dist/agentRunBundle.d.ts +2 -0
  3. package/dist/agentRunBundle.d.ts.map +1 -1
  4. package/dist/agentRunBundle.js +4 -0
  5. package/dist/agentRunBundle.js.map +1 -1
  6. package/dist/cli/lockOrchestration.d.ts.map +1 -1
  7. package/dist/cli/lockOrchestration.js +12 -1
  8. package/dist/cli/lockOrchestration.js.map +1 -1
  9. package/dist/cli/lockOrchestration.test.js +1 -0
  10. package/dist/cli/lockOrchestration.test.js.map +1 -1
  11. package/dist/cli.js +1 -0
  12. package/dist/cli.js.map +1 -1
  13. package/dist/cliArgv.d.ts +2 -0
  14. package/dist/cliArgv.d.ts.map +1 -1
  15. package/dist/cliArgv.js +2 -0
  16. package/dist/cliArgv.js.map +1 -1
  17. package/dist/cliOperationalCodes.d.ts +1 -0
  18. package/dist/cliOperationalCodes.d.ts.map +1 -1
  19. package/dist/cliOperationalCodes.js +1 -0
  20. package/dist/cliOperationalCodes.js.map +1 -1
  21. package/dist/commercial/postVerifyOutcomeBeacon.d.ts +3 -3
  22. package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
  23. package/dist/commercial/postVerifyOutcomeBeacon.js +9 -6
  24. package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
  25. package/dist/commercial/verifyOutcomeBeaconBody.d.ts +12 -0
  26. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -0
  27. package/dist/commercial/verifyOutcomeBeaconBody.js +26 -0
  28. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -0
  29. package/dist/decisionBlocker.contract.test.d.ts +2 -0
  30. package/dist/decisionBlocker.contract.test.d.ts.map +1 -0
  31. package/dist/decisionBlocker.contract.test.js +51 -0
  32. package/dist/decisionBlocker.contract.test.js.map +1 -0
  33. package/dist/decisionBlocker.d.ts +10 -0
  34. package/dist/decisionBlocker.d.ts.map +1 -0
  35. package/dist/decisionBlocker.js +66 -0
  36. package/dist/decisionBlocker.js.map +1 -0
  37. package/dist/decisionGate.assertSafe.test.d.ts +2 -0
  38. package/dist/decisionGate.assertSafe.test.d.ts.map +1 -0
  39. package/dist/decisionGate.assertSafe.test.js +52 -0
  40. package/dist/decisionGate.assertSafe.test.js.map +1 -0
  41. package/dist/decisionGate.d.ts +23 -0
  42. package/dist/decisionGate.d.ts.map +1 -0
  43. package/dist/decisionGate.js +88 -0
  44. package/dist/decisionGate.js.map +1 -0
  45. package/dist/decisionGate.persistBundle.test.d.ts +2 -0
  46. package/dist/decisionGate.persistBundle.test.d.ts.map +1 -0
  47. package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js} +31 -19
  48. package/dist/decisionGate.persistBundle.test.js.map +1 -0
  49. package/dist/decisionUnsafeError.d.ts +8 -0
  50. package/dist/decisionUnsafeError.d.ts.map +1 -0
  51. package/dist/decisionUnsafeError.js +12 -0
  52. package/dist/decisionUnsafeError.js.map +1 -0
  53. package/dist/discovery-payload-v1.json +152 -41
  54. package/dist/executionPathFindings.d.ts +1 -1
  55. package/dist/executionPathFindings.d.ts.map +1 -1
  56. package/dist/executionPathFindings.js +2 -2
  57. package/dist/executionPathFindings.js.map +1 -1
  58. package/dist/executionTrace.js +2 -2
  59. package/dist/executionTrace.js.map +1 -1
  60. package/dist/failureCatalog.d.ts +1 -0
  61. package/dist/failureCatalog.d.ts.map +1 -1
  62. package/dist/failureCatalog.js +1 -0
  63. package/dist/failureCatalog.js.map +1 -1
  64. package/dist/failureOriginCatalog.d.ts.map +1 -1
  65. package/dist/failureOriginCatalog.js +1 -0
  66. package/dist/failureOriginCatalog.js.map +1 -1
  67. package/dist/index.d.ts +15 -5
  68. package/dist/index.d.ts.map +1 -1
  69. package/dist/index.js +10 -4
  70. package/dist/index.js.map +1 -1
  71. package/dist/langGraphCheckpointTrustGate.d.ts +38 -0
  72. package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -0
  73. package/dist/langGraphCheckpointTrustGate.js +127 -0
  74. package/dist/langGraphCheckpointTrustGate.js.map +1 -0
  75. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts +8 -0
  76. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts.map +1 -0
  77. package/dist/langGraphCheckpointTrustIneligibleCertificate.js +17 -0
  78. package/dist/langGraphCheckpointTrustIneligibleCertificate.js.map +1 -0
  79. package/dist/langGraphCheckpointTrustUnsafeError.d.ts +8 -0
  80. package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +1 -0
  81. package/dist/langGraphCheckpointTrustUnsafeError.js +12 -0
  82. package/dist/langGraphCheckpointTrustUnsafeError.js.map +1 -0
  83. package/dist/loadEvents.d.ts +5 -0
  84. package/dist/loadEvents.d.ts.map +1 -1
  85. package/dist/loadEvents.js +32 -0
  86. package/dist/loadEvents.js.map +1 -1
  87. package/dist/operationalDisposition.d.ts +8 -0
  88. package/dist/operationalDisposition.d.ts.map +1 -1
  89. package/dist/operationalDisposition.js +8 -0
  90. package/dist/operationalDisposition.js.map +1 -1
  91. package/dist/outcomeCertificate.d.ts +14 -2
  92. package/dist/outcomeCertificate.d.ts.map +1 -1
  93. package/dist/outcomeCertificate.js +119 -0
  94. package/dist/outcomeCertificate.js.map +1 -1
  95. package/dist/outcomeCertificate.test.js +2 -0
  96. package/dist/outcomeCertificate.test.js.map +1 -1
  97. package/dist/pipeline.d.ts +18 -17
  98. package/dist/pipeline.d.ts.map +1 -1
  99. package/dist/pipeline.js +43 -149
  100. package/dist/pipeline.js.map +1 -1
  101. package/dist/publicDistribution.generated.d.ts +1 -1
  102. package/dist/publicDistribution.generated.js +1 -1
  103. package/dist/standardVerifyWorkflowCli.d.ts +6 -1
  104. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  105. package/dist/standardVerifyWorkflowCli.js +21 -3
  106. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  107. package/dist/trustDecision.d.ts +8 -0
  108. package/dist/trustDecision.d.ts.map +1 -0
  109. package/dist/trustDecision.js +13 -0
  110. package/dist/trustDecision.js.map +1 -0
  111. package/dist/types.d.ts +24 -4
  112. package/dist/types.d.ts.map +1 -1
  113. package/dist/types.js.map +1 -1
  114. package/dist/verificationRunContext.d.ts.map +1 -1
  115. package/dist/verificationRunContext.js +3 -0
  116. package/dist/verificationRunContext.js.map +1 -1
  117. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  118. package/dist/verify/batchVerifyTelemetrySubcommand.js +107 -19
  119. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  120. package/dist/verifyAgentskeptic.d.ts +3 -4
  121. package/dist/verifyAgentskeptic.d.ts.map +1 -1
  122. package/dist/verifyAgentskeptic.js +15 -27
  123. package/dist/verifyAgentskeptic.js.map +1 -1
  124. package/dist/verifyRunStateFromBufferedRunEvents.d.ts +18 -0
  125. package/dist/verifyRunStateFromBufferedRunEvents.d.ts.map +1 -0
  126. package/dist/verifyRunStateFromBufferedRunEvents.js +65 -0
  127. package/dist/verifyRunStateFromBufferedRunEvents.js.map +1 -0
  128. package/package.json +5 -5
  129. package/schemas/event.schema.json +35 -0
  130. package/schemas/outcome-certificate-v1.schema.json +25 -2
  131. package/schemas/workflow-engine-result.schema.json +2 -1
  132. package/scripts/discovery-acquisition.lib.cjs +54 -80
  133. package/scripts/discovery-payload.lib.cjs +34 -5
  134. package/dist/withWorkflowVerification.persistBundle.test.d.ts +0 -2
  135. package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +0 -1
  136. package/dist/withWorkflowVerification.persistBundle.test.js.map +0 -1
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,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AAUjC,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;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"}
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,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,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;AAajC,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,127 @@
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
+ const validateEvent = loadSchemaValidator("event");
14
+ const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
15
+ function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
16
+ if (POSTGRES_URL_RE.test(databaseUrl)) {
17
+ return { kind: "postgres", connectionString: databaseUrl };
18
+ }
19
+ return { kind: "sqlite", path: path.resolve(projectRoot, databaseUrl) };
20
+ }
21
+ /**
22
+ * Shared eligibility for LangGraph checkpoint trust (CLI + runtime gate).
23
+ * Preconditions: `toolObservedEvents` are schema-valid `tool_observed` for the target workflow only.
24
+ */
25
+ export function classifyLangGraphCheckpointTrustEligibility(input) {
26
+ if (input.runLevelReasons.length > 0) {
27
+ return { eligible: false, certificateReasons: [...input.runLevelReasons] };
28
+ }
29
+ if (input.toolObservedEvents.length === 0) {
30
+ return { eligible: false, certificateReasons: [runLevelIssue("NO_STEPS_FOR_WORKFLOW")] };
31
+ }
32
+ if (input.toolObservedEvents.some((t) => t.schemaVersion !== 3)) {
33
+ return {
34
+ eligible: false,
35
+ certificateReasons: [runLevelIssue("LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED")],
36
+ };
37
+ }
38
+ return { eligible: true };
39
+ }
40
+ /**
41
+ * LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
42
+ */
43
+ export function assertLangGraphCheckpointProductionGate(certificate) {
44
+ if (certificate.runKind !== "contract_sql_langgraph_checkpoint_trust") {
45
+ throw new Error("assertLangGraphCheckpointProductionGate: certificate.runKind must be contract_sql_langgraph_checkpoint_trust");
46
+ }
47
+ const verdicts = certificate.checkpointVerdicts;
48
+ const rowB = verdicts !== undefined &&
49
+ verdicts.length > 0 &&
50
+ verdicts.every((r) => r.verdict === "verified") &&
51
+ certificate.stateRelation === "matches_expectations" &&
52
+ certificate.highStakesReliance === "permitted" &&
53
+ trustDecisionFromCertificate(certificate) === "safe";
54
+ if (rowB)
55
+ return;
56
+ const { lines } = formatDecisionBlockerForHumans(certificate);
57
+ throw new LangGraphCheckpointTrustUnsafeError(certificate, lines);
58
+ }
59
+ export function createLangGraphCheckpointTrustGate(options) {
60
+ const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
61
+ const registryPath = path.resolve(projectRoot, options.registryPath);
62
+ const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
63
+ const database = verificationDatabaseFromUrl(options.databaseUrl, projectRoot);
64
+ const logStep = options.logStep ?? (() => { });
65
+ const truthReport = options.truthReport ?? (() => { });
66
+ const bufferedRunEvents = [];
67
+ const runLevelReasons = [];
68
+ const api = {};
69
+ api.appendRunEvent = (value) => {
70
+ if (typeof value !== "object" || value === null) {
71
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
72
+ return;
73
+ }
74
+ if (!validateEvent(value)) {
75
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
76
+ return;
77
+ }
78
+ const ev = value;
79
+ if (ev.workflowId !== options.workflowId) {
80
+ return;
81
+ }
82
+ bufferedRunEvents.push(ev);
83
+ };
84
+ api.toNdjsonUtf8 = () => {
85
+ const parts = [];
86
+ for (const ev of bufferedRunEvents) {
87
+ parts.push(`${JSON.stringify(ev)}\n`);
88
+ }
89
+ return Buffer.from(parts.join(""), "utf8");
90
+ };
91
+ api.runCheckpointTrust = async () => {
92
+ if (!bufferedRunEvents.length && !runLevelReasons.length) {
93
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "LangGraphCheckpointTrustGate.runCheckpointTrust requires at least one buffered run event for the workflow.");
94
+ }
95
+ const toolObservedEvents = bufferedRunEvents.filter(isToolObservedRunEvent);
96
+ const eligibility = classifyLangGraphCheckpointTrustEligibility({
97
+ runLevelReasons,
98
+ toolObservedEvents,
99
+ });
100
+ if (!eligibility.eligible) {
101
+ return validatedLangGraphIneligibleCertificate(options.workflowId, eligibility.certificateReasons);
102
+ }
103
+ const result = await verifyRunStateFromBufferedRunEvents({
104
+ workflowId: options.workflowId,
105
+ registryPath,
106
+ database,
107
+ projectRoot,
108
+ bufferedRunEvents,
109
+ runLevelReasons,
110
+ verificationPolicy,
111
+ logStep,
112
+ truthReport,
113
+ });
114
+ const certificate = buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result);
115
+ const validateCert = loadSchemaValidator("outcome-certificate-v1");
116
+ if (!validateCert(certificate)) {
117
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
118
+ }
119
+ return certificate;
120
+ };
121
+ api.assertLangGraphCheckpointProductionGate = async () => {
122
+ const certificate = await api.runCheckpointTrust();
123
+ assertLangGraphCheckpointProductionGate(certificate);
124
+ };
125
+ return api;
126
+ }
127
+ //# 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;AAE/F,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACnD,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAE/C,SAAS,2BAA2B,CAAC,WAAmB,EAAE,WAAmB;IAC3E,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;AAC1E,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
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustIneligibleCertificate.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustIneligibleCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EACL,kDAAkD,GAEnD,MAAM,yBAAyB,CAAC;AAEjC;;;GAGG;AACH,MAAM,UAAU,uCAAuC,CACrD,UAAkB,EAClB,OAAiB;IAEjB,MAAM,WAAW,GAAG,kDAAkD,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}
@@ -0,0 +1,8 @@
1
+ import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
2
+ import type { TrustDecision } from "./trustDecision.js";
3
+ export declare class LangGraphCheckpointTrustUnsafeError extends Error {
4
+ readonly trustDecision: TrustDecision;
5
+ readonly certificate: OutcomeCertificateV1;
6
+ constructor(certificate: OutcomeCertificateV1, lines: string[]);
7
+ }
8
+ //# sourceMappingURL=langGraphCheckpointTrustUnsafeError.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustUnsafeError.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustUnsafeError.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxD,qBAAa,mCAAoC,SAAQ,KAAK;IAC5D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;gBAE/B,WAAW,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE;CAM/D"}
@@ -0,0 +1,12 @@
1
+ import { trustDecisionFromCertificate } from "./trustDecision.js";
2
+ export class LangGraphCheckpointTrustUnsafeError extends Error {
3
+ trustDecision;
4
+ certificate;
5
+ constructor(certificate, lines) {
6
+ super(lines.join("\n"));
7
+ this.name = "LangGraphCheckpointTrustUnsafeError";
8
+ this.certificate = certificate;
9
+ this.trustDecision = trustDecisionFromCertificate(certificate);
10
+ }
11
+ }
12
+ //# sourceMappingURL=langGraphCheckpointTrustUnsafeError.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"langGraphCheckpointTrustUnsafeError.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustUnsafeError.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,MAAM,OAAO,mCAAoC,SAAQ,KAAK;IACnD,aAAa,CAAgB;IAC7B,WAAW,CAAuB;IAE3C,YAAY,WAAiC,EAAE,KAAe;QAC5D,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;QAClD,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,aAAa,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACjE,CAAC;CACF"}
@@ -2,4 +2,9 @@ import type { LoadEventsResult } from "./types.js";
2
2
  /** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
3
3
  export declare function resetLoadEventsTestThrowInvocationCounter(): void;
4
4
  export declare function loadEventsForWorkflow(eventsFilePath: string, workflowId: string): LoadEventsResult;
5
+ /**
6
+ * True when the events file contains at least one schema-valid `tool_observed` for `workflowId`
7
+ * with `schemaVersion === 3` (generic batch verify must refuse without `--langgraph-checkpoint-trust`).
8
+ */
9
+ export declare function eventsFileHasSchemaV3ToolObservedForWorkflow(eventsFilePath: string, workflowId: string): boolean;
5
10
  //# sourceMappingURL=loadEvents.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAQxF,uGAAuG;AACvG,wBAAgB,yCAAyC,IAAI,IAAI,CAEhE;AAMD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CAkFlB"}
1
+ {"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAQxF,uGAAuG;AACvG,wBAAgB,yCAAyC,IAAI,IAAI,CAEhE;AAMD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CAkFlB;AAED;;;GAGG;AACH,wBAAgB,4CAA4C,CAC1D,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,OAAO,CAqBT"}
@@ -93,4 +93,36 @@ export function loadEventsForWorkflow(eventsFilePath, workflowId) {
93
93
  },
94
94
  };
95
95
  }
96
+ /**
97
+ * True when the events file contains at least one schema-valid `tool_observed` for `workflowId`
98
+ * with `schemaVersion === 3` (generic batch verify must refuse without `--langgraph-checkpoint-trust`).
99
+ */
100
+ export function eventsFileHasSchemaV3ToolObservedForWorkflow(eventsFilePath, workflowId) {
101
+ let raw;
102
+ try {
103
+ raw = readFileSync(eventsFilePath, "utf8");
104
+ }
105
+ catch {
106
+ return false;
107
+ }
108
+ for (const line of raw.split(/\r?\n/)) {
109
+ if (line.trim().length === 0)
110
+ continue;
111
+ let parsed;
112
+ try {
113
+ parsed = JSON.parse(line);
114
+ }
115
+ catch {
116
+ continue;
117
+ }
118
+ if (!validateEvent(parsed))
119
+ continue;
120
+ const ev = parsed;
121
+ if (ev.type !== "tool_observed" || ev.workflowId !== workflowId)
122
+ continue;
123
+ if (ev.schemaVersion === 3)
124
+ return true;
125
+ }
126
+ return false;
127
+ }
96
128
  //# sourceMappingURL=loadEvents.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,IAAI,0BAA0B,GAAG,CAAC,CAAC;AAEnC,uGAAuG;AACvG,MAAM,UAAU,yCAAyC;IACvD,0BAA0B,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,KAAK,GAAG,EAAE,CAAC;QAC/D,0BAA0B,IAAI,CAAC,CAAC;QAChC,IAAI,0BAA0B,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,IAAI,0BAA0B,GAAG,CAAC,CAAC;AAEnC,uGAAuG;AACvG,MAAM,UAAU,yCAAyC;IACvD,0BAA0B,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,KAAK,GAAG,EAAE,CAAC;QAC/D,0BAA0B,IAAI,CAAC,CAAC;QAChC,IAAI,0BAA0B,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4CAA4C,CAC1D,cAAsB,EACtB,UAAkB;IAElB,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,SAAS;QACrC,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU;YAAE,SAAS;QAC1E,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -558,5 +558,13 @@ export declare const OPERATIONAL_DISPOSITION: {
558
558
  readonly recommendedAction: "fix_cli_usage";
559
559
  readonly automationSafe: false;
560
560
  };
561
+ readonly LANGGRAPH_CHECKPOINT_TRUST_GENERIC_MODE_CONFLICT: {
562
+ readonly origin: "inputs";
563
+ readonly summary: "Generic contract verify was invoked without --langgraph-checkpoint-trust while the events file contains schemaVersion 3 tool_observed lines for the workflow.";
564
+ readonly actionableCategory: "bad_input";
565
+ readonly actionableSeverity: "low";
566
+ readonly recommendedAction: "fix_cli_usage";
567
+ readonly automationSafe: false;
568
+ };
561
569
  };
562
570
  //# sourceMappingURL=operationalDisposition.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwiBmC,CAAC"}
1
+ {"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAijBmC,CAAC"}
@@ -550,5 +550,13 @@ export const OPERATIONAL_DISPOSITION = {
550
550
  recommendedAction: "fix_cli_usage",
551
551
  automationSafe: false,
552
552
  },
553
+ [CLI_OPERATIONAL_CODES.LANGGRAPH_CHECKPOINT_TRUST_GENERIC_MODE_CONFLICT]: {
554
+ origin: "inputs",
555
+ summary: "Generic contract verify was invoked without --langgraph-checkpoint-trust while the events file contains schemaVersion 3 tool_observed lines for the workflow.",
556
+ actionableCategory: "bad_input",
557
+ actionableSeverity: "low",
558
+ recommendedAction: "fix_cli_usage",
559
+ automationSafe: false,
560
+ },
553
561
  };
554
562
  //# sourceMappingURL=operationalDisposition.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2EAA2E;QACpF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0EAA0E;QACnF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,EAAE;QAChD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+EAA+E;QACxF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}
1
+ {"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2EAA2E;QACpF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0EAA0E;QACnF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,EAAE;QAChD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+EAA+E;QACxF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,gDAAgD,CAAC,EAAE;QACxE,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,+JAA+J;QACjK,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}
@@ -1,7 +1,7 @@
1
1
  import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
2
2
  import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
3
- import type { WorkflowResult } from "./types.js";
4
- export type OutcomeCertificateRunKind = "contract_sql" | "quick_preview";
3
+ import type { Reason, WorkflowResult } from "./types.js";
4
+ export type OutcomeCertificateRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
5
5
  export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
6
6
  export type OutcomeCertificateHighStakesReliance = "permitted" | "prohibited";
7
7
  export type OutcomeCertificateExplanationDetail = {
@@ -15,6 +15,12 @@ export type OutcomeCertificateStep = {
15
15
  expectedOutcome: string;
16
16
  observedOutcome: string;
17
17
  };
18
+ export type OutcomeCertificateCheckpointVerdict = {
19
+ checkpointKey: string;
20
+ verdict: "verified" | "inconsistent" | "incomplete";
21
+ seqs: number[];
22
+ productionMeaning: string;
23
+ };
18
24
  /** Public verification artifact (v1). Normative: docs/outcome-certificate-normative.md */
19
25
  export type OutcomeCertificateV1 = {
20
26
  schemaVersion: 1;
@@ -30,9 +36,15 @@ export type OutcomeCertificateV1 = {
30
36
  };
31
37
  steps: OutcomeCertificateStep[];
32
38
  humanReport: string;
39
+ checkpointVerdicts?: OutcomeCertificateCheckpointVerdict[];
33
40
  };
34
41
  export declare function deriveHighStakesReliance(runKind: OutcomeCertificateRunKind, stateRelation: OutcomeCertificateStateRelation): OutcomeCertificateHighStakesReliance;
35
42
  export declare function workflowResultToStateRelation(result: WorkflowResult): OutcomeCertificateStateRelation;
43
+ export declare function computeCheckpointVerdictsFromWorkflowResult(result: WorkflowResult): OutcomeCertificateCheckpointVerdict[];
44
+ /** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
45
+ export declare const LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE: "LangGraph checkpoint trust: ineligible";
46
+ export declare function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId: string, runLevelReasons: Reason[]): OutcomeCertificateV1;
47
+ export declare function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result: WorkflowResult): OutcomeCertificateV1;
36
48
  /**
37
49
  * Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
38
50
  */
@@ -1 +1 @@
1
- {"version":3,"file":"outcomeCertificate.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,KAAK,EAAE,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGpE,MAAM,MAAM,yBAAyB,GAAG,cAAc,GAAG,eAAe,CAAC;AAEzE,MAAM,MAAM,+BAA+B,GACvC,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,oCAAoC,GAAG,WAAW,GAAG,YAAY,CAAC;AAE9E,MAAM,MAAM,mCAAmC,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0FAA0F;AAC1F,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,yBAAyB,CAAC;IACnC,aAAa,EAAE,+BAA+B,CAAC;IAC/C,kBAAkB,EAAE,oCAAoC,CAAC;IACzD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,mCAAmC,EAAE,CAAC;KAChD,CAAC;IACF,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,EAClC,aAAa,EAAE,+BAA+B,GAC7C,oCAAoC,CAItC;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,cAAc,GAAG,+BAA+B,CAIrG;AA+CD;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAoBtB;AAQD,MAAM,MAAM,mCAAmC,GAAG;IAChD,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,mCAAmC,GAAG,oBAAoB,CAqCzH;AAED,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEvF;AAED,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAU1F"}
1
+ {"version":3,"file":"outcomeCertificate.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,KAAK,EAAE,MAAM,EAAe,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGzF,MAAM,MAAM,yBAAyB,GACjC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,MAAM,MAAM,+BAA+B,GACvC,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,oCAAoC,GAAG,WAAW,GAAG,YAAY,CAAC;AAE9E,MAAM,MAAM,mCAAmC,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,mCAAmC,GAAG;IAChD,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,0FAA0F;AAC1F,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,yBAAyB,CAAC;IACnC,aAAa,EAAE,+BAA+B,CAAC;IAC/C,kBAAkB,EAAE,oCAAoC,CAAC;IACzD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,mCAAmC,EAAE,CAAC;KAChD,CAAC;IACF,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,mCAAmC,EAAE,CAAC;CAC5D,CAAC;AAEF,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,EAClC,aAAa,EAAE,+BAA+B,GAC7C,oCAAoC,CAItC;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,cAAc,GAAG,+BAA+B,CAIrG;AAkFD,wBAAgB,2CAA2C,CACzD,MAAM,EAAE,cAAc,GACrB,mCAAmC,EAAE,CA2BvC;AAED,6EAA6E;AAC7E,eAAO,MAAM,8CAA8C,EACzD,wCAAiD,CAAC;AAEpD,wBAAgB,kDAAkD,CAChE,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,GACxB,oBAAoB,CAiCtB;AAED,wBAAgB,iEAAiE,CAC/E,MAAM,EAAE,cAAc,GACrB,oBAAoB,CA6BtB;AAED;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAoBtB;AAQD,MAAM,MAAM,mCAAmC,GAAG;IAChD,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,mCAAmC,GAAG,oBAAoB,CAqCzH;AAED,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEvF;AAED,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAU1F"}
@@ -27,6 +27,15 @@ function buildRelianceRationale(runKind, stateRelation, highStakesReliance) {
27
27
  if (runKind === "quick_preview") {
28
28
  return "Quick preview uses inferred, provisional checks. It is never sufficient as the sole basis for high-stakes ship, bill, compliance, or audit-final decisions—even when state appears to match.";
29
29
  }
30
+ if (runKind === "contract_sql_langgraph_checkpoint_trust") {
31
+ if (highStakesReliance === "permitted") {
32
+ return "Contract verification used your registry and read-only SQL; every captured step matched declared expectations under the configured rules, and every LangGraph checkpoint rollup verdict is verified. You may treat this artifact as decision-grade for those steps, subject to your own scope and retention policy.";
33
+ }
34
+ if (stateRelation === "does_not_match") {
35
+ return "At least one step failed verification against the database (missing row, wrong values, or partial multi-effect failure), or a LangGraph checkpoint rollup verdict is inconsistent. Do not treat this run as meeting its intended persisted outcome.";
36
+ }
37
+ return "LangGraph checkpoint trust mode did not establish a single approved production snapshot (ineligible wire, incomplete verification, incomplete checkpoint rollup, or sequence integrity). Do not treat absence of a mismatch as proof of success.";
38
+ }
30
39
  if (highStakesReliance === "permitted") {
31
40
  return "Contract verification used your registry and read-only SQL; every captured step matched declared expectations under the configured rules. You may treat this artifact as decision-grade for those steps, subject to your own scope and retention policy.";
32
41
  }
@@ -51,6 +60,116 @@ function buildExplanationFromWorkflowResult(result) {
51
60
  (fe !== null ? `${fe.divergence} — expected: ${fe.expected}; observed: ${fe.observed}` : truth.trustSummary);
52
61
  return { headline, details };
53
62
  }
63
+ function rollupCheckpointGroupVerdict(outcomes) {
64
+ if (outcomes.some((o) => o.status === "incomplete_verification"))
65
+ return "incomplete";
66
+ if (outcomes.some((o) => o.status === "missing" || o.status === "inconsistent" || o.status === "partially_verified")) {
67
+ return "inconsistent";
68
+ }
69
+ if (outcomes.every((o) => o.status === "verified"))
70
+ return "verified";
71
+ return "incomplete";
72
+ }
73
+ function checkpointProductionMeaning(verdict) {
74
+ if (verdict === "verified") {
75
+ return "Production may advance under this checkpoint identity.";
76
+ }
77
+ if (verdict === "inconsistent") {
78
+ return "Do not advance production for this checkpoint identity until traces and database agree.";
79
+ }
80
+ return "Verification is incomplete for this checkpoint identity; production gate remains closed.";
81
+ }
82
+ export function computeCheckpointVerdictsFromWorkflowResult(result) {
83
+ const byKey = new Map();
84
+ for (const s of result.steps) {
85
+ if (s.langgraphCheckpointKey === undefined)
86
+ continue;
87
+ const g = byKey.get(s.langgraphCheckpointKey) ?? { seqs: [], outcomes: [] };
88
+ g.seqs.push(s.seq);
89
+ g.outcomes.push(s);
90
+ byKey.set(s.langgraphCheckpointKey, g);
91
+ }
92
+ const keys = [...byKey.keys()].sort((a, b) => {
93
+ const ea = byKey.get(a);
94
+ const eb = byKey.get(b);
95
+ const minA = Math.min(...ea.seqs);
96
+ const minB = Math.min(...eb.seqs);
97
+ return minA - minB || a.localeCompare(b);
98
+ });
99
+ return keys.map((key) => {
100
+ const { seqs, outcomes } = byKey.get(key);
101
+ const sortedSeqs = [...new Set(seqs)].sort((x, y) => x - y);
102
+ const verdict = rollupCheckpointGroupVerdict(outcomes);
103
+ return {
104
+ checkpointKey: key,
105
+ verdict,
106
+ seqs: sortedSeqs,
107
+ productionMeaning: checkpointProductionMeaning(verdict),
108
+ };
109
+ });
110
+ }
111
+ /** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
112
+ export const LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE = "LangGraph checkpoint trust: ineligible";
113
+ export function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, runLevelReasons) {
114
+ const runKind = "contract_sql_langgraph_checkpoint_trust";
115
+ const stateRelation = "not_established";
116
+ const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
117
+ const ineligibleHeadline = LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE;
118
+ const details = runLevelReasons.length > 0
119
+ ? runLevelReasons.map((r) => ({ code: r.code, message: r.message }))
120
+ : [
121
+ {
122
+ code: "LANGGRAPH_INELIGIBLE",
123
+ message: "No schema-valid schemaVersion 3 tool_observed lines for this workflow in LangGraph checkpoint trust mode.",
124
+ },
125
+ ];
126
+ const humanReport = runLevelReasons.length > 0
127
+ ? `${ineligibleHeadline}\n${runLevelReasons.map((r) => `${r.code}: ${r.message}`).join("\n")}`
128
+ : `${ineligibleHeadline}\n${details[0].code}: ${details[0].message}`;
129
+ const cert = {
130
+ schemaVersion: 1,
131
+ workflowId,
132
+ runKind,
133
+ stateRelation,
134
+ highStakesReliance,
135
+ relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
136
+ intentSummary: ineligibleHeadline,
137
+ explanation: { headline: ineligibleHeadline, details },
138
+ steps: [],
139
+ humanReport,
140
+ };
141
+ assertOutcomeCertificateInvariants(cert);
142
+ return cert;
143
+ }
144
+ export function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result) {
145
+ const runKind = "contract_sql_langgraph_checkpoint_trust";
146
+ const stateRelation = workflowResultToStateRelation(result);
147
+ const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
148
+ const truth = result.workflowTruthReport;
149
+ const steps = truth.steps.map(truthStepToCertificateStep);
150
+ const checkpointVerdicts = computeCheckpointVerdictsFromWorkflowResult(result);
151
+ const baseHuman = formatWorkflowTruthReportStruct(truth);
152
+ const humanReport = checkpointVerdicts.length === 0
153
+ ? baseHuman
154
+ : `${baseHuman}\n\nlanggraph_checkpoint_verdicts:\n${checkpointVerdicts
155
+ .map((c) => `${c.checkpointKey}\t${c.verdict}\t${c.productionMeaning}`)
156
+ .join("\n")}`;
157
+ const cert = {
158
+ schemaVersion: 1,
159
+ workflowId: result.workflowId,
160
+ runKind,
161
+ stateRelation,
162
+ highStakesReliance,
163
+ relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
164
+ intentSummary: truth.trustSummary,
165
+ explanation: buildExplanationFromWorkflowResult(result),
166
+ steps,
167
+ humanReport,
168
+ checkpointVerdicts,
169
+ };
170
+ assertOutcomeCertificateInvariants(cert);
171
+ return cert;
172
+ }
54
173
  /**
55
174
  * Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
56
175
  */