agentskeptic 0.2.1 → 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 (160) hide show
  1. package/README.md +24 -22
  2. package/dist/actionableFailure.remediationExhaustive.test.js +4 -4
  3. package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -1
  4. package/dist/agentRunBundle.d.ts +2 -0
  5. package/dist/agentRunBundle.d.ts.map +1 -1
  6. package/dist/agentRunBundle.js +4 -0
  7. package/dist/agentRunBundle.js.map +1 -1
  8. package/dist/ciLockWorkflow.js +1 -1
  9. package/dist/cli/lockOrchestration.d.ts.map +1 -1
  10. package/dist/cli/lockOrchestration.js +51 -45
  11. package/dist/cli/lockOrchestration.js.map +1 -1
  12. package/dist/cli/lockOrchestration.test.js +7 -1
  13. package/dist/cli/lockOrchestration.test.js.map +1 -1
  14. package/dist/cli.js +27 -23
  15. package/dist/cli.js.map +1 -1
  16. package/dist/cliArgv.d.ts +4 -1
  17. package/dist/cliArgv.d.ts.map +1 -1
  18. package/dist/cliArgv.js +5 -2
  19. package/dist/cliArgv.js.map +1 -1
  20. package/dist/cliOperationalCodes.d.ts +1 -0
  21. package/dist/cliOperationalCodes.d.ts.map +1 -1
  22. package/dist/cliOperationalCodes.js +1 -0
  23. package/dist/cliOperationalCodes.js.map +1 -1
  24. package/dist/commercial/postVerifyOutcomeBeacon.d.ts +3 -3
  25. package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
  26. package/dist/commercial/postVerifyOutcomeBeacon.js +9 -6
  27. package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
  28. package/dist/commercial/verifyOutcomeBeaconBody.d.ts +12 -0
  29. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -0
  30. package/dist/commercial/verifyOutcomeBeaconBody.js +26 -0
  31. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -0
  32. package/dist/crossing/crossingDecisionReadyFooter.d.ts +1 -1
  33. package/dist/crossing/crossingDecisionReadyFooter.d.ts.map +1 -1
  34. package/dist/crossing/crossingDecisionReadyFooter.js +1 -1
  35. package/dist/crossing/crossingDecisionReadyFooter.js.map +1 -1
  36. package/dist/crossing/runCrossingSubcommand.js +8 -8
  37. package/dist/decisionBlocker.contract.test.d.ts +2 -0
  38. package/dist/decisionBlocker.contract.test.d.ts.map +1 -0
  39. package/dist/decisionBlocker.contract.test.js +51 -0
  40. package/dist/decisionBlocker.contract.test.js.map +1 -0
  41. package/dist/decisionBlocker.d.ts +10 -0
  42. package/dist/decisionBlocker.d.ts.map +1 -0
  43. package/dist/decisionBlocker.js +66 -0
  44. package/dist/decisionBlocker.js.map +1 -0
  45. package/dist/decisionGate.assertSafe.test.d.ts +2 -0
  46. package/dist/decisionGate.assertSafe.test.d.ts.map +1 -0
  47. package/dist/decisionGate.assertSafe.test.js +52 -0
  48. package/dist/decisionGate.assertSafe.test.js.map +1 -0
  49. package/dist/decisionGate.d.ts +23 -0
  50. package/dist/decisionGate.d.ts.map +1 -0
  51. package/dist/decisionGate.js +88 -0
  52. package/dist/decisionGate.js.map +1 -0
  53. package/dist/decisionGate.persistBundle.test.d.ts +2 -0
  54. package/dist/decisionGate.persistBundle.test.d.ts.map +1 -0
  55. package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js} +31 -19
  56. package/dist/decisionGate.persistBundle.test.js.map +1 -0
  57. package/dist/decisionUnsafeError.d.ts +8 -0
  58. package/dist/decisionUnsafeError.d.ts.map +1 -0
  59. package/dist/decisionUnsafeError.js +12 -0
  60. package/dist/decisionUnsafeError.js.map +1 -0
  61. package/dist/discovery-payload-v1.json +152 -41
  62. package/dist/executionPathFindings.d.ts +1 -1
  63. package/dist/executionPathFindings.d.ts.map +1 -1
  64. package/dist/executionPathFindings.js +2 -2
  65. package/dist/executionPathFindings.js.map +1 -1
  66. package/dist/executionTrace.js +2 -2
  67. package/dist/executionTrace.js.map +1 -1
  68. package/dist/failureCatalog.d.ts +1 -0
  69. package/dist/failureCatalog.d.ts.map +1 -1
  70. package/dist/failureCatalog.js +1 -0
  71. package/dist/failureCatalog.js.map +1 -1
  72. package/dist/failureOriginCatalog.d.ts.map +1 -1
  73. package/dist/failureOriginCatalog.js +1 -0
  74. package/dist/failureOriginCatalog.js.map +1 -1
  75. package/dist/index.d.ts +17 -5
  76. package/dist/index.d.ts.map +1 -1
  77. package/dist/index.js +11 -4
  78. package/dist/index.js.map +1 -1
  79. package/dist/langGraphCheckpointTrustGate.d.ts +38 -0
  80. package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -0
  81. package/dist/langGraphCheckpointTrustGate.js +127 -0
  82. package/dist/langGraphCheckpointTrustGate.js.map +1 -0
  83. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts +8 -0
  84. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts.map +1 -0
  85. package/dist/langGraphCheckpointTrustIneligibleCertificate.js +17 -0
  86. package/dist/langGraphCheckpointTrustIneligibleCertificate.js.map +1 -0
  87. package/dist/langGraphCheckpointTrustUnsafeError.d.ts +8 -0
  88. package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +1 -0
  89. package/dist/langGraphCheckpointTrustUnsafeError.js +12 -0
  90. package/dist/langGraphCheckpointTrustUnsafeError.js.map +1 -0
  91. package/dist/loadEvents.d.ts +5 -0
  92. package/dist/loadEvents.d.ts.map +1 -1
  93. package/dist/loadEvents.js +32 -0
  94. package/dist/loadEvents.js.map +1 -1
  95. package/dist/operationalDisposition.d.ts +8 -0
  96. package/dist/operationalDisposition.d.ts.map +1 -1
  97. package/dist/operationalDisposition.js +8 -0
  98. package/dist/operationalDisposition.js.map +1 -1
  99. package/dist/outcomeCertificate.d.ts +60 -0
  100. package/dist/outcomeCertificate.d.ts.map +1 -0
  101. package/dist/outcomeCertificate.js +254 -0
  102. package/dist/outcomeCertificate.js.map +1 -0
  103. package/dist/outcomeCertificate.test.d.ts +2 -0
  104. package/dist/outcomeCertificate.test.d.ts.map +1 -0
  105. package/dist/outcomeCertificate.test.js +74 -0
  106. package/dist/outcomeCertificate.test.js.map +1 -0
  107. package/dist/pipeline.d.ts +18 -17
  108. package/dist/pipeline.d.ts.map +1 -1
  109. package/dist/pipeline.js +43 -149
  110. package/dist/pipeline.js.map +1 -1
  111. package/dist/planTransition.test.js +4 -4
  112. package/dist/publicDistribution.generated.d.ts +1 -1
  113. package/dist/publicDistribution.generated.js +1 -1
  114. package/dist/schemaLoad.d.ts +1 -1
  115. package/dist/schemaLoad.d.ts.map +1 -1
  116. package/dist/schemaLoad.js +5 -0
  117. package/dist/schemaLoad.js.map +1 -1
  118. package/dist/shareReport/postPublicVerificationReport.d.ts +6 -0
  119. package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -1
  120. package/dist/shareReport/postPublicVerificationReport.js +3 -1
  121. package/dist/shareReport/postPublicVerificationReport.js.map +1 -1
  122. package/dist/standardVerifyWorkflowCli.d.ts +20 -5
  123. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  124. package/dist/standardVerifyWorkflowCli.js +53 -22
  125. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  126. package/dist/trustDecision.d.ts +8 -0
  127. package/dist/trustDecision.d.ts.map +1 -0
  128. package/dist/trustDecision.js +13 -0
  129. package/dist/trustDecision.js.map +1 -0
  130. package/dist/types.d.ts +24 -4
  131. package/dist/types.d.ts.map +1 -1
  132. package/dist/types.js.map +1 -1
  133. package/dist/verificationRunContext.d.ts.map +1 -1
  134. package/dist/verificationRunContext.js +3 -0
  135. package/dist/verificationRunContext.js.map +1 -1
  136. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  137. package/dist/verify/batchVerifyTelemetrySubcommand.js +123 -32
  138. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  139. package/dist/verifyAgentskeptic.d.ts +4 -8
  140. package/dist/verifyAgentskeptic.d.ts.map +1 -1
  141. package/dist/verifyAgentskeptic.js +16 -21
  142. package/dist/verifyAgentskeptic.js.map +1 -1
  143. package/dist/verifyAgentskeptic.test.js +10 -12
  144. package/dist/verifyAgentskeptic.test.js.map +1 -1
  145. package/dist/verifyRunStateFromBufferedRunEvents.d.ts +18 -0
  146. package/dist/verifyRunStateFromBufferedRunEvents.d.ts.map +1 -0
  147. package/dist/verifyRunStateFromBufferedRunEvents.js +65 -0
  148. package/dist/verifyRunStateFromBufferedRunEvents.js.map +1 -0
  149. package/package.json +6 -5
  150. package/schemas/event.schema.json +35 -0
  151. package/schemas/openapi-commercial-v1.in.yaml +3 -3
  152. package/schemas/openapi-commercial-v1.yaml +3 -3
  153. package/schemas/outcome-certificate-v1.schema.json +89 -0
  154. package/schemas/public-verification-report-v2.schema.json +15 -0
  155. package/schemas/workflow-engine-result.schema.json +2 -1
  156. package/scripts/discovery-acquisition.lib.cjs +54 -80
  157. package/scripts/discovery-payload.lib.cjs +34 -5
  158. package/dist/withWorkflowVerification.persistBundle.test.d.ts +0 -2
  159. package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +0 -1
  160. package/dist/withWorkflowVerification.persistBundle.test.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"batchVerifyTelemetrySubcommand.js","sourceRoot":"","sources":["../../src/verify/batchVerifyTelemetrySubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAEL,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4CAA4C,CAAC;AAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,EACL,sBAAsB,EACtB,wCAAwC,EACxC,4CAA4C,GAC7C,MAAM,iCAAiC,CAAC;AAEzC,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qCAAqC,CACzD,SAAmB,EACnB,IAKC;IAED,IAAI,WAAW,CAAC;IAChB,IAAI,CAAC;QACH,WAAW,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,oBAAoB,GACxB,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;QAC5C,UAAU,EAAE,CAAC;IACf,IAAI,cAAwC,CAAC;IAC7C,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,2BAA2B,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,qBAAqB,GAAG,WAAW,CAAC,aAAa,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,CAAC;IACvG,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,CAAC,CAAE,YAAsB,CAAC,CAAC,CAAE,KAAe,CAAC;IACjG,MAAM,kBAAkB,GAAG,2BAA2B,CAAC;QACrD,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ;KAC/B,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,aAAa,IAAI,kBAAkB,KAAK,kBAAkB,EAAE,CAAC;QACpE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,4HAA4H;YAC1H,4JAA4J,CAC/J,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,YAAY,GAAG,uBAAuB,CAAC;QAC3C,UAAU,EAAE,IAAI,CAAC,mBAAmB;QACpC,aAAa,EAAE,kBAAkB;QACjC,UAAU,EAAE,WAAW,CAAC,UAAU;KACnC,CAAC,CAAC;IACH,MAAM,0BAA0B,CAAC;QAC/B,KAAK,EAAE,gBAAgB;QACvB,MAAM,EAAE,oBAAoB;QAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,kBAAkB;QAClC,gBAAgB,EAAE,YAAY;QAC9B,UAAU,EAAE,IAAI,CAAC,mBAAmB;QACpC,aAAa,EAAE,iBAAiB;KACjC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG;QACd,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE;YAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE;YAC3B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,EAAE,CAAC,IAAY,EAAE,EAAE;YACrB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;KACF,CAAC;IACF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,4CAA4C,CAAC;YAChE,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;YAChD,SAAS,EAAE,GAAG,EAAE,CACd,cAAc,CAAC;gBACb,UAAU,EAAE,WAAW,CAAC,UAAU;gBAClC,UAAU,EAAE,WAAW,CAAC,UAAU;gBAClC,YAAY,EAAE,WAAW,CAAC,YAAY;gBACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ;gBAC9B,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;gBAClD,GAAG,CAAC,qBAAqB,CAAC,CAAC;oBACzB,EAAE,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE;oBAC3B,CAAC,CAAC;wBACE,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE;4BAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;4BACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC,CAAC;wBACnD,CAAC;qBACF,CAAC;aACL,CAAC;YACJ,gBAAgB,EACd,WAAW,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,CAAC,QAAwB,EAAE,EAAE,CAC3B,iBAAiB,CACf,WAAW,CAAC,iBAAkB,EAC9B,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,EAClD,QAAQ,EACR,WAAW,CAAC,kBAAkB,CAC/B;YACT,EAAE,EAAE,OAAO;SACZ,CAAC,CAAC;QACH,MAAM,0BAA0B,CAAC;YAC/B,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,oBAAoB;YAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc,EAAE,kBAAkB;YAClC,gBAAgB,EAAE,YAAY;YAC9B,UAAU,EAAE,IAAI,CAAC,mBAAmB;YACpC,aAAa,EAAE,iBAAiB;YAChC,eAAe,EAAE,MAAM,CAAC,MAAM;SAC/B,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;YAC/B,MAAM,kCAAkC,CAAC;gBACvC,MAAM,EAAE,oBAAoB;gBAC5B,eAAe,EAAE,MAAM,CAAC,MAAM;gBAC9B,cAAc,EAAE,kBAAkB;gBAClC,UAAU,EAAE,IAAI,CAAC,mBAAmB;gBACpC,aAAa,EAAE,iBAAiB;aACjC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,uBAAuB,CAAC;YAC5B,KAAK,EAAE,cAAc,CAAC,KAAK;YAC3B,eAAe,EAAE,MAAM,CAAC,MAAM;YAC9B,cAAc,EAAE,kBAAkB;YAClC,UAAU,EAAE,IAAI,CAAC,mBAAmB;SACrC,CAAC,CAAC;QACH,IAAI,CAAC,wBAAwB,EAAE,CAAC,MAAM,CAAC,CAAC;QACxC,wCAAwC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB;YAAE,OAAO;QACvE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"batchVerifyTelemetrySubcommand.js","sourceRoot":"","sources":["../../src/verify/batchVerifyTelemetrySubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAA6B,MAAM,eAAe,CAAC;AACnF,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,2CAA2C,GAC5C,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,uCAAuC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,EAAE,4CAA4C,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACvG,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4CAA4C,CAAC;AAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,EACL,iEAAiE,GAElE,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,gDAAgD,CAAC;AAC9F,OAAO,EAAE,mCAAmC,EAAE,MAAM,2CAA2C,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,+CAA+C,EAC/C,4CAA4C,GAC7C,MAAM,iCAAiC,CAAC;AAEzC,SAAS,6BAA6B,CACpC,CAA0D;IAE1D,IAAI,CAAC,CAAC,aAAa,KAAK,sBAAsB;QAAE,OAAO,UAAU,CAAC;IAClE,IAAI,CAAC,CAAC,aAAa,KAAK,gBAAgB;QAAE,OAAO,cAAc,CAAC;IAChE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qCAAqC,CACzD,SAAmB,EACnB,IAKC;IAED,IAAI,WAAiC,CAAC;IACtC,IAAI,CAAC;QACH,WAAW,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,IACE,CAAC,WAAW,CAAC,wBAAwB;QACrC,4CAA4C,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC,EAC5F,CAAC;QACD,aAAa,CACX,qBAAqB,CAAC,gDAAgD,EACtE,wBAAwB,CACtB,0LAA0L,CAC3L,CACF,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,oBAAoB,GACxB,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;QAC5C,UAAU,EAAE,CAAC;IACf,IAAI,cAAwC,CAAC;IAC7C,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,2BAA2B,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,CAAC,CAAE,YAAsB,CAAC,CAAC,CAAE,KAAe,CAAC;IACjG,MAAM,kBAAkB,GAAG,2BAA2B,CAAC;QACrD,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ;KAC/B,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,aAAa,IAAI,kBAAkB,KAAK,kBAAkB,EAAE,CAAC;QACpE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,4HAA4H;YAC1H,4JAA4J,CAC/J,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,YAAY,GAAG,uBAAuB,CAAC;QAC3C,UAAU,EAAE,IAAI,CAAC,mBAAmB;QACpC,aAAa,EAAE,kBAAkB;QACjC,UAAU,EAAE,WAAW,CAAC,UAAU;KACnC,CAAC,CAAC;IACH,MAAM,0BAA0B,CAAC;QAC/B,KAAK,EAAE,gBAAgB;QACvB,MAAM,EAAE,oBAAoB;QAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,kBAAkB;QAClC,gBAAgB,EAAE,YAAY;QAC9B,UAAU,EAAE,IAAI,CAAC,mBAAmB;QACpC,aAAa,EAAE,iBAAiB;KACjC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG;QACd,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE;YAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE;YAC3B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,EAAE,CAAC,IAAY,EAAE,EAAE;YACrB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;KACF,CAAC;IAEF,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEhD,KAAK,UAAU,iCAAiC,CAC9C,WAAiC,EACjC,2BAAuD,EACvD,iBAAsE;QAEtE,IAAI,iBAAiB,KAAK,2BAA2B,EAAE,CAAC;YACtD,MAAM,WAAW,GAAG,WAAW,CAAC,iBAAiB,CAAC;YAClD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,WAAW,EAAE;oBAC/D,aAAa,EAAE,CAAC;oBAChB,WAAW;iBACZ,CAAC,CAAC;gBACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;oBACjB,aAAa,CACX,qBAAqB,CAAC,mBAAmB,EACzC,wBAAwB,CACtB,uBAAuB,WAAW,gBAAgB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,WAAW,EAAE,CAC3G,CACF,CAAC;oBACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAChB,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;gBAC1C,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;oBAC/B,OAAO,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,WAAW,KAAK,wBAAwB,EAAE,EAAE,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;gBACtC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,WAAW,KAAK,wBAAwB,EAAE,IAAI,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,WAAW,CAAC,aAAa,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACrF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,WAAW,KAAK,wBAAwB,EAAE,IAAI,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,cAAc,GAAG,6BAA6B,CAAC,WAAW,CAAC,CAAC;QAClE,MAAM,0BAA0B,CAAC;YAC/B,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,oBAAoB;YAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc,EAAE,kBAAkB;YAClC,gBAAgB,EAAE,YAAY;YAC9B,UAAU,EAAE,IAAI,CAAC,mBAAmB;YACpC,aAAa,EAAE,iBAAiB;YAChC,eAAe,EAAE,cAAc;SAChC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;YAC/B,MAAM,kCAAkC,CAAC;gBACvC,MAAM,EAAE,oBAAoB;gBAC5B,eAAe,EAAE,cAAc;gBAC/B,cAAc,EAAE,kBAAkB;gBAClC,UAAU,EAAE,IAAI,CAAC,mBAAmB;gBACpC,aAAa,EAAE,iBAAiB;aACjC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,uBAAuB,CAAC;YAC5B,KAAK,EAAE,cAAc,CAAC,KAAK;YAC3B,WAAW;YACX,eAAe,EAAE,cAAc;YAC/B,cAAc,EAAE,kBAAkB;YAClC,UAAU,EAAE,IAAI,CAAC,mBAAmB;SACrC,CAAC,CAAC;QACH,IAAI,2BAA2B,KAAK,SAAS,EAAE,CAAC;YAC9C,IAAI,CAAC,wBAAwB,EAAE,CAAC,2BAA2B,CAAC,CAAC;QAC/D,CAAC;QACD,+CAA+C,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,qBAAmD,CAAC;IACxD,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,qBAAqB,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;QACnF,MAAM,WAAW,GAAG,2CAA2C,CAAC;YAC9D,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,kBAAkB,EAAE,IAAI,CAAC,MAAM;SAChC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,uCAAuC,CACzD,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,kBAAkB,CAC/B,CAAC;gBACF,MAAM,iCAAiC,CAAC,WAAW,EAAE,SAAS,EAAE,2BAA2B,CAAC,CAAC;YAC/F,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB;oBAAE,OAAO;gBACvE,MAAM,CAAC,CAAC;YACV,CAAC;YACD,OAAO;QACT,CAAC;QACD,qBAAqB,GAAG,IAAI,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE,GAAG,MAAM,4CAA4C,CAAC;YACzF,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;YAChD,SAAS,EAAE,WAAW,CAAC,wBAAwB;gBAC7C,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,GAAG,EAAE,CACH,cAAc,CAAC;oBACb,UAAU,EAAE,WAAW,CAAC,UAAU;oBAClC,UAAU,EAAE,WAAW,CAAC,UAAU;oBAClC,YAAY,EAAE,WAAW,CAAC,YAAY;oBACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ;oBAC9B,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;oBAClD,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;iBACtB,CAAC;YACR,wBAAwB,EAAE,WAAW,CAAC,wBAAwB;gBAC5D,CAAC,CAAC,KAAK,IAAI,EAAE;oBACT,MAAM,IAAI,GAAG,qBAAsB,CAAC;oBACpC,MAAM,cAAc,GAAG,MAAM,mCAAmC,CAAC;wBAC/D,UAAU,EAAE,WAAW,CAAC,UAAU;wBAClC,YAAY,EAAE,WAAW,CAAC,YAAY;wBACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ;wBAC9B,WAAW;wBACX,iBAAiB,EAAE,IAAI,CAAC,SAAS;wBACjC,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;wBAClD,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;wBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;qBACtB,CAAC,CAAC;oBACH,MAAM,UAAU,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;oBAC1D,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;wBAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CACxC,CAAC;oBACJ,CAAC;oBACD,MAAM,WAAW,GAAG,iEAAiE,CAAC,cAAc,CAAC,CAAC;oBACtG,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;oBACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;wBAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;oBACJ,CAAC;oBACD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;gBACzC,CAAC;gBACH,CAAC,CAAC,SAAS;YACb,gBAAgB,EACd,WAAW,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,CAAC,QAAwB,EAAE,EAAE,CAC3B,iBAAiB,CACf,WAAW,CAAC,iBAAkB,EAC9B,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,EAClD,QAAQ,EACR,WAAW,CAAC,kBAAkB,CAC/B;YACT,EAAE,EAAE,OAAO;SACZ,CAAC,CAAC;QACH,MAAM,iCAAiC,CAAC,WAAW,EAAE,cAAc,EAAE,qBAAqB,CAAC,CAAC;IAC9F,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB;YAAE,OAAO;QACvE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}
@@ -1,15 +1,11 @@
1
- import type { WorkflowResult } from "./types.js";
1
+ import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
2
2
  /**
3
- * Default adoption path: reads `agentskeptic/events.ndjson` and `agentskeptic/tools.json`
4
- * under `projectRoot`, verifies `workflowId` against `databaseUrl` (SQLite path or postgres URL).
5
- * For arbitrary paths use `verifyWorkflow` instead.
3
+ * Thin file-replay alias: reads `agentskeptic/events.ndjson` into a DecisionGate buffer and returns the same Outcome Certificate as batch verify.
4
+ * Prefer `createDecisionGate` for runtime integration.
6
5
  */
7
6
  export declare function verifyAgentskeptic(options: {
8
7
  workflowId: string;
9
8
  databaseUrl: string;
10
9
  projectRoot?: string;
11
- }): Promise<{
12
- ok: boolean;
13
- result: WorkflowResult;
14
- }>;
10
+ }): Promise<OutcomeCertificateV1>;
15
11
  //# sourceMappingURL=verifyAgentskeptic.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"verifyAgentskeptic.d.ts","sourceRoot":"","sources":["../src/verifyAgentskeptic.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAajD;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,OAAO,EAAE;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAAC;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC,CA0BnD"}
1
+ {"version":3,"file":"verifyAgentskeptic.d.ts","sourceRoot":"","sources":["../src/verifyAgentskeptic.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAIpE;;;GAGG;AACH,wBAAsB,kBAAkB,CAAC,OAAO,EAAE;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA2BhC"}
@@ -1,39 +1,34 @@
1
1
  import { existsSync } from "node:fs";
2
2
  import path from "node:path";
3
- import { verifyWorkflow } from "./pipeline.js";
3
+ import { createDecisionGate } from "./decisionGate.js";
4
+ import { loadEventsForWorkflow } from "./loadEvents.js";
4
5
  import { TruthLayerError } from "./truthLayerError.js";
5
- const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
6
6
  const PROJECT_LAYOUT_MISSING = "PROJECT_VERIFICATION_LAYOUT_MISSING";
7
- function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
8
- if (POSTGRES_URL_RE.test(databaseUrl)) {
9
- return { kind: "postgres", connectionString: databaseUrl };
10
- }
11
- return { kind: "sqlite", path: path.resolve(projectRoot, databaseUrl) };
12
- }
13
7
  /**
14
- * Default adoption path: reads `agentskeptic/events.ndjson` and `agentskeptic/tools.json`
15
- * under `projectRoot`, verifies `workflowId` against `databaseUrl` (SQLite path or postgres URL).
16
- * For arbitrary paths use `verifyWorkflow` instead.
8
+ * Thin file-replay alias: reads `agentskeptic/events.ndjson` into a DecisionGate buffer and returns the same Outcome Certificate as batch verify.
9
+ * Prefer `createDecisionGate` for runtime integration.
17
10
  */
18
11
  export async function verifyAgentskeptic(options) {
19
12
  const projectRoot = options.projectRoot ?? process.cwd();
20
13
  const resolvedRoot = path.resolve(projectRoot);
21
14
  const agentskepticDir = path.join(resolvedRoot, "agentskeptic");
22
15
  const eventsPath = path.join(agentskepticDir, "events.ndjson");
23
- const registryPath = path.join(agentskepticDir, "tools.json");
24
- if (!existsSync(eventsPath) || !existsSync(registryPath)) {
25
- throw new TruthLayerError(PROJECT_LAYOUT_MISSING, `${eventsPath}, ${registryPath}`);
16
+ const registryPathRel = path.join("agentskeptic", "tools.json");
17
+ if (!existsSync(eventsPath) || !existsSync(path.join(resolvedRoot, registryPathRel))) {
18
+ throw new TruthLayerError(PROJECT_LAYOUT_MISSING, `${eventsPath}, ${path.join(resolvedRoot, registryPathRel)}`);
26
19
  }
27
- const database = verificationDatabaseFromUrl(options.databaseUrl, resolvedRoot);
28
- const result = await verifyWorkflow({
20
+ const load = loadEventsForWorkflow(eventsPath, options.workflowId);
21
+ const gate = createDecisionGate({
29
22
  workflowId: options.workflowId,
30
- eventsPath,
31
- registryPath,
32
- database,
23
+ registryPath: registryPathRel,
24
+ databaseUrl: options.databaseUrl,
25
+ projectRoot: resolvedRoot,
33
26
  logStep: () => { },
34
27
  truthReport: () => { },
35
28
  });
36
- const ok = result.status === "complete";
37
- return { ok, result };
29
+ for (const ev of load.runEvents) {
30
+ gate.appendRunEvent(ev);
31
+ }
32
+ return gate.evaluateCertificate();
38
33
  }
39
34
  //# sourceMappingURL=verifyAgentskeptic.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"verifyAgentskeptic.js","sourceRoot":"","sources":["../src/verifyAgentskeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAE/C,MAAM,sBAAsB,GAAG,qCAA8C,CAAC;AAE9E,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;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAIxC;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;IAE9D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,eAAe,CACvB,sBAAsB,EACtB,GAAG,UAAU,KAAK,YAAY,EAAE,CACjC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU;QACV,YAAY;QACZ,QAAQ;QACR,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;QACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;KACtB,CAAC,CAAC;IAEH,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;AACxB,CAAC"}
1
+ {"version":3,"file":"verifyAgentskeptic.js","sourceRoot":"","sources":["../src/verifyAgentskeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGvD,MAAM,sBAAsB,GAAG,qCAA8C,CAAC;AAE9E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAIxC;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IAEhE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,eAAe,CACvB,sBAAsB,EACtB,GAAG,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,eAAe,CAAC,EAAE,CAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,eAAe;QAC7B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;QACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;KACtB,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;AACpC,CAAC"}
@@ -22,37 +22,35 @@ function seedTempProject() {
22
22
  return dir;
23
23
  }
24
24
  describe("verifyAgentskeptic", () => {
25
- it("wf_complete: ok true and status complete", async () => {
25
+ it("wf_complete: contract certificate matches expectations and permits high-stakes reliance", async () => {
26
26
  const projectRoot = seedTempProject();
27
27
  try {
28
28
  const dbPath = join(projectRoot, "demo.db");
29
- const { ok, result } = await verifyAgentskeptic({
29
+ const certificate = await verifyAgentskeptic({
30
30
  workflowId: "wf_complete",
31
31
  databaseUrl: dbPath,
32
32
  projectRoot,
33
33
  });
34
- expect(result.status).toBe("complete");
35
- expect(ok).toBe(true);
36
- expect(ok === (result.status === "complete")).toBe(true);
34
+ expect(certificate.stateRelation).toBe("matches_expectations");
35
+ expect(certificate.highStakesReliance).toBe("permitted");
36
+ expect(certificate.runKind).toBe("contract_sql");
37
37
  }
38
38
  finally {
39
39
  rmSync(projectRoot, { recursive: true, force: true });
40
40
  }
41
41
  });
42
- it("wf_missing: ok false and status inconsistent", async () => {
42
+ it("wf_missing: mismatch and prohibited reliance; explanation cites ROW_ABSENT", async () => {
43
43
  const projectRoot = seedTempProject();
44
44
  try {
45
45
  const dbPath = join(projectRoot, "demo.db");
46
- const { ok, result } = await verifyAgentskeptic({
46
+ const certificate = await verifyAgentskeptic({
47
47
  workflowId: "wf_missing",
48
48
  databaseUrl: dbPath,
49
49
  projectRoot,
50
50
  });
51
- expect(result.status).toBe("inconsistent");
52
- expect(ok).toBe(false);
53
- expect(ok === (result.status === "complete")).toBe(true);
54
- expect(result.steps[0]?.status).toBe("missing");
55
- expect(result.steps[0]?.reasons[0]?.code).toBe("ROW_ABSENT");
51
+ expect(certificate.stateRelation).toBe("does_not_match");
52
+ expect(certificate.highStakesReliance).toBe("prohibited");
53
+ expect(certificate.explanation.details.some((d) => d.code === "ROW_ABSENT")).toBe(true);
56
54
  }
57
55
  finally {
58
56
  rmSync(projectRoot, { recursive: true, force: true });
@@ -1 +1 @@
1
- {"version":3,"file":"verifyAgentskeptic.test.js","sourceRoot":"","sources":["../src/verifyAgentskeptic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEvC,SAAS,eAAe;IACtB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAClD,SAAS,CAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;IAClG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,kBAAkB,CAAC;gBAC9C,UAAU,EAAE,aAAa;gBACzB,WAAW,EAAE,MAAM;gBACnB,WAAW;aACZ,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,kBAAkB,CAAC;gBAC9C,UAAU,EAAE,YAAY;gBACxB,WAAW,EAAE,MAAM;gBACnB,WAAW;aACZ,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/D,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5D,MAAM,MAAM,CACV,kBAAkB,CAAC;gBACjB,UAAU,EAAE,aAAa;gBACzB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC;gBACzC,WAAW;aACZ,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAEnC,IAAI,CAAC;gBACH,MAAM,kBAAkB,CAAC;oBACvB,UAAU,EAAE,aAAa;oBACzB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC;oBACzC,WAAW;iBACZ,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;gBAC1C,MAAM,GAAG,GAAG,MAAM,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;gBACzC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"verifyAgentskeptic.test.js","sourceRoot":"","sources":["../src/verifyAgentskeptic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEvC,SAAS,eAAe;IACtB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAClD,SAAS,CAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;IAClG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,yFAAyF,EAAE,KAAK,IAAI,EAAE;QACvG,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC;gBAC3C,UAAU,EAAE,aAAa;gBACzB,WAAW,EAAE,MAAM;gBACnB,WAAW;aACZ,CAAC,CAAC;YACH,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YAC/D,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC;gBAC3C,UAAU,EAAE,YAAY;gBACxB,WAAW,EAAE,MAAM;gBACnB,WAAW;aACZ,CAAC,CAAC;YACH,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1F,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC;QACtC,IAAI,CAAC;YACH,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5D,MAAM,MAAM,CACV,kBAAkB,CAAC;gBACjB,UAAU,EAAE,aAAa;gBACzB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC;gBACzC,WAAW;aACZ,CAAC,CACH,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAEnC,IAAI,CAAC;gBACH,MAAM,kBAAkB,CAAC;oBACvB,UAAU,EAAE,aAAa;oBACzB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC;oBACzC,WAAW;iBACZ,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;gBAC1C,MAAM,GAAG,GAAG,MAAM,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;gBACzC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,18 @@
1
+ import type { Reason, RunEvent, VerificationDatabase, VerificationPolicy, WorkflowResult } from "./types.js";
2
+ export type VerifyRunStateFromBufferedRunEventsInput = {
3
+ workflowId: string;
4
+ registryPath: string;
5
+ database: VerificationDatabase;
6
+ projectRoot: string;
7
+ bufferedRunEvents: RunEvent[];
8
+ runLevelReasons: Reason[];
9
+ verificationPolicy: VerificationPolicy;
10
+ logStep?: (line: object) => void;
11
+ truthReport?: (report: string) => void;
12
+ };
13
+ /**
14
+ * Single shared path: buffered run events + registry + DB → `WorkflowResult`.
15
+ * Used by `createDecisionGate` and `createLangGraphCheckpointTrustGate.runCheckpointTrust` (eligible path only).
16
+ */
17
+ export declare function verifyRunStateFromBufferedRunEvents(input: VerifyRunStateFromBufferedRunEventsInput): Promise<WorkflowResult>;
18
+ //# sourceMappingURL=verifyRunStateFromBufferedRunEvents.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verifyRunStateFromBufferedRunEvents.d.ts","sourceRoot":"","sources":["../src/verifyRunStateFromBufferedRunEvents.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,MAAM,EACN,QAAQ,EAER,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACf,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,wCAAwC,GAAG;IACrD,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,QAAQ,EAAE,CAAC;IAC9B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC,CAAC;AAEF;;;GAGG;AACH,wBAAsB,mCAAmC,CACvD,KAAK,EAAE,wCAAwC,GAC9C,OAAO,CAAC,cAAc,CAAC,CA0DzB"}
@@ -0,0 +1,65 @@
1
+ import path from "node:path";
2
+ import { isToolObservedRunEvent } from "./executionTrace.js";
3
+ import { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
4
+ import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
5
+ /**
6
+ * Single shared path: buffered run events + registry + DB → `WorkflowResult`.
7
+ * Used by `createDecisionGate` and `createLangGraphCheckpointTrustGate.runCheckpointTrust` (eligible path only).
8
+ */
9
+ export async function verifyRunStateFromBufferedRunEvents(input) {
10
+ const projectRoot = path.resolve(input.projectRoot);
11
+ const registryPath = path.resolve(projectRoot, input.registryPath);
12
+ const logStep = input.logStep ?? (() => { });
13
+ const truthReport = input.truthReport ?? (() => { });
14
+ if (!input.bufferedRunEvents.length && !input.runLevelReasons.length) {
15
+ throw new Error("verifyRunStateFromBufferedRunEvents: empty buffer and no run-level reasons");
16
+ }
17
+ if (!input.bufferedRunEvents.length) {
18
+ const registry = loadToolsRegistry(registryPath);
19
+ return verifyRunStateFromEvents({
20
+ workflowId: input.workflowId,
21
+ events: [],
22
+ runEvents: [],
23
+ runLevelReasons: [...input.runLevelReasons],
24
+ eventSequenceIntegrity: { kind: "normal" },
25
+ eventFileAggregateCounts: {
26
+ eventFileNonEmptyLines: 0,
27
+ schemaValidEvents: 0,
28
+ toolObservedForRequestedWorkflowId: 0,
29
+ toolObservedForOtherWorkflowIds: 0,
30
+ },
31
+ registry,
32
+ database: input.database,
33
+ verificationPolicy: input.verificationPolicy,
34
+ logStep,
35
+ truthReport,
36
+ });
37
+ }
38
+ const toolCandidates = [];
39
+ for (const ev of input.bufferedRunEvents) {
40
+ if (isToolObservedRunEvent(ev)) {
41
+ toolCandidates.push(ev);
42
+ }
43
+ }
44
+ const { eventsSorted, eventSequenceIntegrity } = prepareWorkflowEvents(toolCandidates);
45
+ const registry = loadToolsRegistry(registryPath);
46
+ return verifyRunStateFromEvents({
47
+ workflowId: input.workflowId,
48
+ events: eventsSorted,
49
+ runEvents: input.bufferedRunEvents,
50
+ runLevelReasons: [...input.runLevelReasons],
51
+ eventSequenceIntegrity,
52
+ eventFileAggregateCounts: {
53
+ eventFileNonEmptyLines: 0,
54
+ schemaValidEvents: 0,
55
+ toolObservedForRequestedWorkflowId: toolCandidates.length,
56
+ toolObservedForOtherWorkflowIds: 0,
57
+ },
58
+ registry,
59
+ database: input.database,
60
+ verificationPolicy: input.verificationPolicy,
61
+ logStep,
62
+ truthReport,
63
+ });
64
+ }
65
+ //# sourceMappingURL=verifyRunStateFromBufferedRunEvents.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verifyRunStateFromBufferedRunEvents.js","sourceRoot":"","sources":["../src/verifyRunStateFromBufferedRunEvents.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAsBnE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,KAA+C;IAE/C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAEpD,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACjD,OAAO,wBAAwB,CAAC;YAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE;YACb,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC;YAC3C,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1C,wBAAwB,EAAE;gBACxB,sBAAsB,EAAE,CAAC;gBACzB,iBAAiB,EAAE,CAAC;gBACpB,kCAAkC,EAAE,CAAC;gBACrC,+BAA+B,EAAE,CAAC;aACnC;YACD,QAAQ;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACzC,IAAI,sBAAsB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/B,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACjD,OAAO,wBAAwB,CAAC;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,KAAK,CAAC,iBAAiB;QAClC,eAAe,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC;QAC3C,sBAAsB;QACtB,wBAAwB,EAAE;YACxB,sBAAsB,EAAE,CAAC;YACzB,iBAAiB,EAAE,CAAC;YACpB,kCAAkC,EAAE,cAAc,CAAC,MAAM;YACzD,+BAA+B,EAAE,CAAC;SACnC;QACD,QAAQ;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,OAAO;QACP,WAAW;KACZ,CAAC,CAAC;AACL,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "agentskeptic",
3
- "version": "0.2.1",
3
+ "version": "1.0.3",
4
4
  "description": "Traces say success while rows are missing or wrong. AgentSkeptic runs read-only SQL at verification time on Postgres or SQLite—ground truth from structured tool activity, not trace color alone.",
5
5
  "license": "MIT",
6
6
  "type": "module",
@@ -14,6 +14,7 @@
14
14
  },
15
15
  "exports": {
16
16
  ".": "./dist/index.js",
17
+ "./schemaLoad": "./dist/schemaLoad.js",
17
18
  "./registryDraft": "./dist/registryDraft/index.js",
18
19
  "./bootstrapPackSynthesis": "./dist/bootstrap/bootstrapPackSynthesis.js",
19
20
  "./verificationHypothesisContract": "./dist/telemetry/verificationHypothesisContract.js"
@@ -26,13 +27,13 @@
26
27
  "dev": "npm run dev -w agentskeptic-web",
27
28
  "test:vitest": "vitest run",
28
29
  "verify:decision-readiness": "npm run test:vitest -w agentskeptic-web -- __tests__/githubHeadingSlug.contract.test.ts __tests__/integrateActivationNorthStar.contract.test.ts __tests__/integrate-page-completion-semantics.contract.test.tsx __tests__/growth-metrics-ssot.contract.test.ts __tests__/repo-reference-integrity.growth-observability.test.ts",
29
- "test:node:sqlite": "node scripts/assert-dependency-security-pins.mjs && node --test --test-force-exit test/reconciler.sqlite.test.mjs test/pipeline.sqlite.test.mjs test/withWorkflowVerification.test.mjs test/workflowTruthReport.test.mjs test/cli.test.mjs test/post-product-activation-install-id.test.mjs test/workflow-lineage-classify.test.mjs test/resolve-telemetry-source.test.mjs test/github-workflows-agentskeptic-telemetry-env.test.mjs test/maybe-emit-oss-claim-telemetry-off.test.mjs test/first-run-verify-output.integration.test.mjs test/stable-failure-consistency.test.mjs test/workflow-result-consumer-contract.test.mjs test/workflow-result-stdout-version.test.mjs test/docs-relational-ssot.test.mjs test/tools-registry-relational-surface.test.mjs test/docs-contract.test.mjs test/docs-commercial-enforce-gate-normative.test.mjs test/docs-remediation-doctrine.test.mjs test/bundle-signature-fixture.test.mjs test/bundle-signature-codes-doc.test.mjs test/bundle-signature-cli-write.test.mjs test/quick-verify.sqlite.test.mjs test/bootstrap-pack.test.mjs test/crossing-cli.test.mjs test/quickVerifyPostbuildGate.test.mjs test/npm-scripts-contract.test.mjs test/langgraph-reference-emitter-before-cli-spawn.test.mjs test/removed-script-names-ban.test.mjs test/docs-workflow-result-normative-prose.test.mjs test/enforce-oss-forbidden.test.mjs test/oss-output-lock-batch.test.mjs test/lock-success-monetized-footer.integration.test.mjs test/docs-enforce-stream-contract.test.mjs test/docs-quick-enforce-link.test.mjs test/commercial-pricing-policy-parity.test.mjs test/discovery-payload.test.mjs test/redaction-rules.test.mjs test/indexable-guide-paths-fs.contract.test.mjs test/npm-pack-discovery-scripts.test.mjs test/registry-metadata-parity.test.mjs test/docs-related-exists-export-ssot-negative.mjs test/quick-param-pointer.gates.test.mjs test/dependency-security-pins.schema.contract.test.mjs test/drizzle-identifier-safety.contract.test.mjs test/assert-destructive-postgres-urls.test.mjs test/readme-wedge-inevitability.test.mjs test/adoption-complete-surface-parity.test.mjs test/adoption-epistemics-contract.test.mjs test/integrate-spine-contract.test.mjs test/integrate-spine-ssot-fixtures.test.mjs test/integrate-route-copy-absence.test.mjs test/adoption-validation-registry.test.mjs test/decision-ready-surfaces-manifest.test.mjs test/oss-legacy-handoff-ban.test.mjs test/sync-adoption-canonical-to-llms.test.mjs test/verify-agentskeptic-consumer.e2e.test.mjs",
30
- "test:postgres": "node scripts/pg-ci-init.mjs && node --test --test-force-exit test/postgres-session-readonly.test.mjs test/postgres-privilege.test.mjs test/pipeline.postgres.test.mjs test/ci-workflow-truth-postgres-contract.test.mjs test/quick-verify.postgres.test.mjs",
30
+ "test:node:sqlite": "node scripts/assert-dependency-security-pins.mjs && node scripts/assert-no-legacy-verify-surface.mjs && node scripts/assert-no-withWorkflowVerification-surface.mjs && node --test --test-force-exit test/reconciler.sqlite.test.mjs test/pipeline.sqlite.test.mjs test/decisionGate.test.mjs test/workflowTruthReport.test.mjs test/cli.test.mjs test/post-product-activation-install-id.test.mjs test/workflow-lineage-classify.test.mjs test/resolve-telemetry-source.test.mjs test/github-workflows-agentskeptic-telemetry-env.test.mjs test/maybe-emit-oss-claim-telemetry-off.test.mjs test/first-run-verify-output.integration.test.mjs test/stable-failure-consistency.test.mjs test/workflow-result-consumer-contract.test.mjs test/workflow-result-stdout-version.test.mjs test/docs-relational-ssot.test.mjs test/tools-registry-relational-surface.test.mjs test/docs-contract.test.mjs test/docs-commercial-enforce-gate-normative.test.mjs test/docs-remediation-doctrine.test.mjs test/bundle-signature-fixture.test.mjs test/bundle-signature-codes-doc.test.mjs test/bundle-signature-cli-write.test.mjs test/quick-verify.sqlite.test.mjs test/bootstrap-pack.test.mjs test/crossing-cli.test.mjs test/quickVerifyPostbuildGate.test.mjs test/npm-scripts-contract.test.mjs test/langgraph-reference-emitter-before-cli-spawn.test.mjs test/langgraph-checkpoint-trust-terminal.contract.test.mjs test/langgraph-ineligible-certificate.import-guard.test.mjs test/removed-script-names-ban.test.mjs test/docs-workflow-result-normative-prose.test.mjs test/enforce-oss-forbidden.test.mjs test/oss-output-lock-batch.test.mjs test/lock-success-monetized-footer.integration.test.mjs test/docs-enforce-stream-contract.test.mjs test/docs-quick-enforce-link.test.mjs test/commercial-pricing-policy-parity.test.mjs test/discovery-payload.test.mjs test/redaction-rules.test.mjs test/indexable-guide-paths-fs.contract.test.mjs test/npm-pack-discovery-scripts.test.mjs test/registry-metadata-parity.test.mjs test/docs-related-exists-export-ssot-negative.mjs test/quick-param-pointer.gates.test.mjs test/dependency-security-pins.schema.contract.test.mjs test/drizzle-identifier-safety.contract.test.mjs test/assert-destructive-postgres-urls.test.mjs test/readme-wedge-inevitability.test.mjs test/adoption-complete-surface-parity.test.mjs test/adoption-epistemics-contract.test.mjs test/integrate-spine-contract.test.mjs test/integrate-spine-ssot-fixtures.test.mjs test/integrate-route-copy-absence.test.mjs test/adoption-validation-registry.test.mjs test/decision-ready-surfaces-manifest.test.mjs test/oss-legacy-handoff-ban.test.mjs test/sync-adoption-canonical-to-llms.test.mjs test/verify-agentskeptic-consumer.e2e.test.mjs",
31
+ "test:postgres": "node scripts/pg-ci-init.mjs && node --test --test-force-exit test/postgres-session-readonly.test.mjs test/postgres-privilege.test.mjs test/pipeline.postgres.test.mjs test/decisionGate.postgres.test.mjs test/ci-workflow-truth-postgres-contract.test.mjs test/quick-verify.postgres.test.mjs",
31
32
  "test:workflow-truth-contract": "node --test --test-force-exit test/ci-workflow-truth-postgres-contract.test.mjs",
32
33
  "validate-ttfv": "node scripts/validate-ttfv.mjs",
33
- "test": "npm run build && npm run check:epistemic-contract-structure && npm run test:vitest && npm run test:vitest -w agentskeptic-web -- __tests__/langgraph-reference-primacy.dom.test.tsx __tests__/oss-claim-client-flow.dom.test.tsx __tests__/integrate-page-completion-semantics.contract.test.tsx && npm run test:node:sqlite && node scripts/first-run.mjs && node scripts/validate-adoption-complete.mjs && node --test test/validate-adoption-complete-failure.test.mjs && node scripts/validate-adoption-complete.mjs && npm run partner-quickstart && node scripts/validate-integrate-spine.mjs && node scripts/validate-integrator-onboarding-shape.mjs && node scripts/langgraph-reference-verify.mjs && node test/partner-quickstart.adversarial.mjs && npm run check:partner-quickstart-ssot && node dist/cli.js assurance run --manifest examples/assurance/manifest.json && node scripts/commercial-enforce-test-harness.mjs && npm run build && npm run validate-ttfv && node scripts/related-exists-export-user-outcome.mjs",
34
+ "test": "npm run build && npm run check:epistemic-contract-structure && npm run test:vitest && npm run test:vitest -w agentskeptic-web -- __tests__/langgraph-reference-primacy.dom.test.tsx __tests__/oss-claim-client-flow.dom.test.tsx __tests__/integrate-page-completion-semantics.contract.test.tsx && npm run test:node:sqlite && node scripts/first-run.mjs && node scripts/validate-adoption-complete.mjs && node --test test/validate-adoption-complete-failure.test.mjs && node scripts/validate-adoption-complete.mjs && npm run partner-quickstart && node scripts/validate-integrate-spine.mjs && node scripts/validate-integrator-onboarding-shape.mjs && node scripts/langgraph-reference-verify.mjs && node scripts/assert-no-langgraph-v1-product-path.mjs && node test/partner-quickstart.adversarial.mjs && npm run check:partner-quickstart-ssot && node dist/cli.js assurance run --manifest examples/assurance/manifest.json && node scripts/commercial-enforce-test-harness.mjs && npm run build && npm run validate-ttfv && node scripts/related-exists-export-user-outcome.mjs",
34
35
  "test:debug-ui": "playwright test",
35
- "test:ci": "npm run build && npm run check:epistemic-contract-structure && npm run test:vitest && npm run test:vitest -w agentskeptic-web -- __tests__/langgraph-reference-primacy.dom.test.tsx __tests__/oss-claim-client-flow.dom.test.tsx __tests__/integrate-page-completion-semantics.contract.test.tsx && npm run test:node:sqlite && node scripts/first-run.mjs && node scripts/validate-adoption-complete.mjs && node --test test/validate-adoption-complete-failure.test.mjs && node scripts/validate-adoption-complete.mjs && npm run partner-quickstart && node scripts/validate-integrate-spine.mjs && node scripts/validate-integrator-onboarding-shape.mjs && node scripts/langgraph-reference-verify.mjs && node test/partner-quickstart.adversarial.mjs && npm run check:partner-quickstart-ssot && node dist/cli.js assurance run --manifest examples/assurance/manifest.json && npm run test:postgres && node scripts/run-partner-quickstart-postgres-ci.mjs && node scripts/commercial-enforce-test-harness.mjs --require-postgres && npx playwright install chromium && npm run test:debug-ui && npm run build && npm run validate-ttfv && node scripts/related-exists-export-user-outcome.mjs",
36
+ "test:ci": "npm run build && npm run check:epistemic-contract-structure && npm run test:vitest && npm run test:vitest -w agentskeptic-web -- __tests__/langgraph-reference-primacy.dom.test.tsx __tests__/oss-claim-client-flow.dom.test.tsx __tests__/integrate-page-completion-semantics.contract.test.tsx && npm run test:node:sqlite && node scripts/first-run.mjs && node scripts/validate-adoption-complete.mjs && node --test test/validate-adoption-complete-failure.test.mjs && node scripts/validate-adoption-complete.mjs && npm run partner-quickstart && node scripts/validate-integrate-spine.mjs && node scripts/validate-integrator-onboarding-shape.mjs && node scripts/langgraph-reference-verify.mjs && node scripts/assert-no-langgraph-v1-product-path.mjs && node test/partner-quickstart.adversarial.mjs && npm run check:partner-quickstart-ssot && node dist/cli.js assurance run --manifest examples/assurance/manifest.json && npm run test:postgres && node scripts/run-partner-quickstart-postgres-ci.mjs && node scripts/commercial-enforce-test-harness.mjs --require-postgres && npx playwright install chromium && npm run test:debug-ui && npm run build && npm run validate-ttfv && node scripts/related-exists-export-user-outcome.mjs",
36
37
  "example:workflow-hook": "npm run build && node examples/workflow-runner.mjs",
37
38
  "agentskeptic": "node dist/cli.js",
38
39
  "migrate:workflow-result-v11": "npm run build && node scripts/migrate-workflow-result-v11.mjs",
@@ -32,6 +32,41 @@
32
32
  "timestamp": { "type": "string" }
33
33
  }
34
34
  },
35
+ {
36
+ "type": "object",
37
+ "additionalProperties": false,
38
+ "required": [
39
+ "schemaVersion",
40
+ "workflowId",
41
+ "runEventId",
42
+ "type",
43
+ "seq",
44
+ "toolId",
45
+ "params",
46
+ "langgraphCheckpoint"
47
+ ],
48
+ "properties": {
49
+ "schemaVersion": { "const": 3 },
50
+ "workflowId": { "type": "string", "minLength": 1 },
51
+ "runEventId": { "type": "string", "minLength": 1 },
52
+ "parentRunEventId": { "type": "string", "minLength": 1 },
53
+ "type": { "const": "tool_observed" },
54
+ "seq": { "type": "integer", "minimum": 0 },
55
+ "toolId": { "type": "string", "minLength": 1 },
56
+ "params": { "type": "object" },
57
+ "timestamp": { "type": "string" },
58
+ "langgraphCheckpoint": {
59
+ "type": "object",
60
+ "additionalProperties": false,
61
+ "required": ["threadId", "checkpointNs", "checkpointId"],
62
+ "properties": {
63
+ "threadId": { "type": "string", "minLength": 1 },
64
+ "checkpointNs": { "type": "string" },
65
+ "checkpointId": { "type": "string", "minLength": 1 }
66
+ }
67
+ }
68
+ }
69
+ },
35
70
  {
36
71
  "type": "object",
37
72
  "additionalProperties": false,
@@ -107,8 +107,8 @@ components:
107
107
  schemas:
108
108
  PublicVerificationReportCreate:
109
109
  description: >
110
- Discriminated envelope (schemaVersion 1). Workflow branch includes WorkflowResult + truth report text.
111
- Quick branch includes QuickVerifyReport + human report text + workflowDisplayId for labeling.
110
+ POST accepts schemaVersion 2 only: { "schemaVersion": 2, "certificate": <OutcomeCertificateV1> } per
111
+ schemas/public-verification-report-v2.schema.json. Legacy v1 envelopes are rejected with HTTP 400.
112
112
  type: object
113
113
  additionalProperties: true
114
114
  PublicVerificationReportCreated:
@@ -121,7 +121,7 @@ components:
121
121
  properties:
122
122
  schemaVersion:
123
123
  type: integer
124
- const: 1
124
+ const: 2
125
125
  id:
126
126
  type: string
127
127
  format: uuid
@@ -107,8 +107,8 @@ components:
107
107
  schemas:
108
108
  PublicVerificationReportCreate:
109
109
  description: >
110
- Discriminated envelope (schemaVersion 1). Workflow branch includes WorkflowResult + truth report text.
111
- Quick branch includes QuickVerifyReport + human report text + workflowDisplayId for labeling.
110
+ POST accepts schemaVersion 2 only: { "schemaVersion": 2, "certificate": <OutcomeCertificateV1> } per
111
+ schemas/public-verification-report-v2.schema.json. Legacy v1 envelopes are rejected with HTTP 400.
112
112
  type: object
113
113
  additionalProperties: true
114
114
  PublicVerificationReportCreated:
@@ -121,7 +121,7 @@ components:
121
121
  properties:
122
122
  schemaVersion:
123
123
  type: integer
124
- const: 1
124
+ const: 2
125
125
  id:
126
126
  type: string
127
127
  format: uuid
@@ -0,0 +1,89 @@
1
+ {
2
+ "$id": "https://agentskeptic.com/schemas/outcome-certificate-v1.schema.json",
3
+ "title": "OutcomeCertificateV1",
4
+ "type": "object",
5
+ "additionalProperties": false,
6
+ "required": [
7
+ "schemaVersion",
8
+ "workflowId",
9
+ "runKind",
10
+ "stateRelation",
11
+ "highStakesReliance",
12
+ "relianceRationale",
13
+ "intentSummary",
14
+ "explanation",
15
+ "steps",
16
+ "humanReport"
17
+ ],
18
+ "properties": {
19
+ "schemaVersion": { "type": "integer", "const": 1 },
20
+ "workflowId": { "type": "string", "minLength": 1, "maxLength": 512 },
21
+ "runKind": {
22
+ "type": "string",
23
+ "enum": ["contract_sql", "contract_sql_langgraph_checkpoint_trust", "quick_preview"]
24
+ },
25
+ "stateRelation": {
26
+ "type": "string",
27
+ "enum": ["matches_expectations", "does_not_match", "not_established"]
28
+ },
29
+ "highStakesReliance": { "type": "string", "enum": ["permitted", "prohibited"] },
30
+ "relianceRationale": { "type": "string", "minLength": 1, "maxLength": 8192 },
31
+ "intentSummary": { "type": "string", "minLength": 1, "maxLength": 8192 },
32
+ "explanation": {
33
+ "type": "object",
34
+ "additionalProperties": false,
35
+ "required": ["headline", "details"],
36
+ "properties": {
37
+ "headline": { "type": "string", "minLength": 1, "maxLength": 2048 },
38
+ "details": {
39
+ "type": "array",
40
+ "items": {
41
+ "type": "object",
42
+ "additionalProperties": false,
43
+ "required": ["code", "message"],
44
+ "properties": {
45
+ "code": { "type": "string", "minLength": 1, "maxLength": 256 },
46
+ "message": { "type": "string", "minLength": 1, "maxLength": 4096 }
47
+ }
48
+ }
49
+ }
50
+ }
51
+ },
52
+ "steps": {
53
+ "type": "array",
54
+ "items": {
55
+ "type": "object",
56
+ "additionalProperties": false,
57
+ "required": ["seq", "declaredAction", "expectedOutcome", "observedOutcome"],
58
+ "properties": {
59
+ "seq": { "type": "integer", "minimum": 0 },
60
+ "toolId": { "type": "string", "maxLength": 512 },
61
+ "declaredAction": { "type": "string", "minLength": 1, "maxLength": 4096 },
62
+ "expectedOutcome": { "type": "string", "minLength": 1, "maxLength": 4096 },
63
+ "observedOutcome": { "type": "string", "minLength": 1, "maxLength": 8192 }
64
+ }
65
+ }
66
+ },
67
+ "humanReport": { "type": "string", "minLength": 1, "maxLength": 1048576 },
68
+ "checkpointVerdicts": {
69
+ "type": "array",
70
+ "items": {
71
+ "type": "object",
72
+ "additionalProperties": false,
73
+ "required": ["checkpointKey", "verdict", "seqs", "productionMeaning"],
74
+ "properties": {
75
+ "checkpointKey": { "type": "string", "minLength": 1, "maxLength": 2048 },
76
+ "verdict": {
77
+ "type": "string",
78
+ "enum": ["verified", "inconsistent", "incomplete"]
79
+ },
80
+ "seqs": {
81
+ "type": "array",
82
+ "items": { "type": "integer", "minimum": 0 }
83
+ },
84
+ "productionMeaning": { "type": "string", "minLength": 1, "maxLength": 8192 }
85
+ }
86
+ }
87
+ }
88
+ }
89
+ }
@@ -0,0 +1,15 @@
1
+ {
2
+ "$id": "https://agentskeptic.com/schemas/public-verification-report-v2.schema.json",
3
+ "title": "PublicVerificationReportEnvelopeV2",
4
+ "type": "object",
5
+ "additionalProperties": false,
6
+ "required": ["schemaVersion", "certificate"],
7
+ "properties": {
8
+ "schemaVersion": { "type": "integer", "const": 2 },
9
+ "certificate": {
10
+ "$ref": "https://agentskeptic.com/schemas/outcome-certificate-v1.schema.json"
11
+ },
12
+ "cliVersion": { "type": "string", "maxLength": 128 },
13
+ "createdFrom": { "type": "string", "maxLength": 256 }
14
+ }
15
+ }
@@ -81,7 +81,7 @@
81
81
  "lastRunEvent"
82
82
  ],
83
83
  "properties": {
84
- "maxWireSchemaVersion": { "type": "integer", "enum": [1, 2] },
84
+ "maxWireSchemaVersion": { "type": "integer", "enum": [1, 2, 3] },
85
85
  "retrievalEvents": {
86
86
  "type": "array",
87
87
  "items": {
@@ -502,6 +502,7 @@
502
502
  },
503
503
  "repeatObservationCount": { "type": "integer", "minimum": 1 },
504
504
  "evaluatedObservationOrdinal": { "type": "integer", "minimum": 1 },
505
+ "langgraphCheckpointKey": { "type": "string", "minLength": 1 },
505
506
  "failureDiagnostic": {
506
507
  "type": "string",
507
508
  "enum": [