agentskeptic 3.6.0 → 4.0.0

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 (187) hide show
  1. package/README.md +8 -0
  2. package/config/first-five-minutes.json +9 -0
  3. package/config/marketing.json +2 -2
  4. package/dist/assurance/buildAssuranceOutput.d.ts.map +1 -1
  5. package/dist/assurance/buildAssuranceOutput.js +6 -2
  6. package/dist/assurance/buildAssuranceOutput.js.map +1 -1
  7. package/dist/bootstrap/executeBootstrapPack.d.ts +8 -3
  8. package/dist/bootstrap/executeBootstrapPack.d.ts.map +1 -1
  9. package/dist/bootstrap/executeBootstrapPack.js +20 -16
  10. package/dist/bootstrap/executeBootstrapPack.js.map +1 -1
  11. package/dist/bootstrap/packActivationStages.d.ts +40 -0
  12. package/dist/bootstrap/packActivationStages.d.ts.map +1 -0
  13. package/dist/bootstrap/packActivationStages.js +58 -0
  14. package/dist/bootstrap/packActivationStages.js.map +1 -0
  15. package/dist/bootstrap/runBootstrapSubcommand.d.ts +1 -0
  16. package/dist/bootstrap/runBootstrapSubcommand.d.ts.map +1 -1
  17. package/dist/bootstrap/runBootstrapSubcommand.js +222 -6
  18. package/dist/bootstrap/runBootstrapSubcommand.js.map +1 -1
  19. package/dist/cli/migrateCommand.d.ts +1 -1
  20. package/dist/cli/migrateCommand.d.ts.map +1 -1
  21. package/dist/cli/migrateCommand.js +25 -28
  22. package/dist/cli/migrateCommand.js.map +1 -1
  23. package/dist/cli.js +13 -13
  24. package/dist/cli.js.map +1 -1
  25. package/dist/cliOperationalCodes.d.ts +1 -0
  26. package/dist/cliOperationalCodes.d.ts.map +1 -1
  27. package/dist/cliOperationalCodes.js +1 -0
  28. package/dist/cliOperationalCodes.js.map +1 -1
  29. package/dist/commercial/postVerifyOutcomeBeacon.d.ts +12 -8
  30. package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
  31. package/dist/commercial/postVerifyOutcomeBeacon.js +16 -7
  32. package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
  33. package/dist/commercial/verifyOutcomeBeaconBody.d.ts +20 -4
  34. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -1
  35. package/dist/commercial/verifyOutcomeBeaconBody.js +5 -1
  36. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -1
  37. package/dist/crossing/runCrossingSubcommand.d.ts.map +1 -1
  38. package/dist/crossing/runCrossingSubcommand.js +15 -7
  39. package/dist/crossing/runCrossingSubcommand.js.map +1 -1
  40. package/dist/decisionGate.d.ts +1 -1
  41. package/dist/decisionGate.js +1 -1
  42. package/dist/execution-identity.v1.json +1 -1
  43. package/dist/index.d.ts +1 -1
  44. package/dist/index.d.ts.map +1 -1
  45. package/dist/index.js +1 -1
  46. package/dist/index.js.map +1 -1
  47. package/dist/loadEvents.d.ts.map +1 -1
  48. package/dist/loadEvents.js +13 -1
  49. package/dist/loadEvents.js.map +1 -1
  50. package/dist/operationalDisposition.d.ts +8 -0
  51. package/dist/operationalDisposition.d.ts.map +1 -1
  52. package/dist/operationalDisposition.js +8 -0
  53. package/dist/operationalDisposition.js.map +1 -1
  54. package/dist/publicDistribution.generated.d.ts +1 -1
  55. package/dist/publicDistribution.generated.js +1 -1
  56. package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
  57. package/dist/quickVerify/runQuickVerify.js +49 -2
  58. package/dist/quickVerify/runQuickVerify.js.map +1 -1
  59. package/dist/relationalInvariant.d.ts +0 -3
  60. package/dist/relationalInvariant.d.ts.map +1 -1
  61. package/dist/relationalInvariant.js +0 -11
  62. package/dist/relationalInvariant.js.map +1 -1
  63. package/dist/schemaLoad.d.ts +1 -1
  64. package/dist/schemaLoad.d.ts.map +1 -1
  65. package/dist/schemaLoad.js +2 -0
  66. package/dist/schemaLoad.js.map +1 -1
  67. package/dist/sdk/AgentSkeptic.d.ts +1 -3
  68. package/dist/sdk/AgentSkeptic.d.ts.map +1 -1
  69. package/dist/sdk/AgentSkeptic.js +5 -2
  70. package/dist/sdk/AgentSkeptic.js.map +1 -1
  71. package/dist/standardVerifyWorkflowCli.d.ts +2 -2
  72. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  73. package/dist/standardVerifyWorkflowCli.js +1 -1
  74. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  75. package/dist/stateWitness.d.ts.map +1 -1
  76. package/dist/stateWitness.js +4 -141
  77. package/dist/stateWitness.js.map +1 -1
  78. package/dist/stateWitness.test.js +8 -50
  79. package/dist/stateWitness.test.js.map +1 -1
  80. package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts +1 -1
  81. package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts.map +1 -1
  82. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js +1 -9
  83. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js.map +1 -1
  84. package/dist/types.d.ts +1 -1
  85. package/dist/types.d.ts.map +1 -1
  86. package/dist/verificationConnections.d.ts.map +1 -1
  87. package/dist/verificationConnections.js +12 -119
  88. package/dist/verificationConnections.js.map +1 -1
  89. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  90. package/dist/verify/batchVerifyTelemetrySubcommand.js +23 -3
  91. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  92. package/dist/verify/writeContractProofArtifacts.d.ts +14 -0
  93. package/dist/verify/writeContractProofArtifacts.d.ts.map +1 -0
  94. package/dist/verify/writeContractProofArtifacts.js +18 -0
  95. package/dist/verify/writeContractProofArtifacts.js.map +1 -0
  96. package/dist/verifyAgentskeptic.d.ts +1 -1
  97. package/dist/verifyAgentskeptic.js +1 -1
  98. package/package.json +4 -14
  99. package/schemas/activation-manifest-v1.schema.json +77 -0
  100. package/schemas/agentskeptic-error-codes.json +103 -96
  101. package/schemas/ci/kernel-browser-open-patterns.json +25 -0
  102. package/schemas/ci/v4-copy-invariants.manifest.json +42 -0
  103. package/schemas/openapi-commercial-v1.yaml +1 -1
  104. package/dist/firstFiveMinutesChecklist.d.ts +0 -11
  105. package/dist/firstFiveMinutesChecklist.d.ts.map +0 -1
  106. package/dist/firstFiveMinutesChecklist.js +0 -18
  107. package/dist/firstFiveMinutesChecklist.js.map +0 -1
  108. package/dist/registryDraft/bootstrapArgsMerge.d.ts +0 -5
  109. package/dist/registryDraft/bootstrapArgsMerge.d.ts.map +0 -1
  110. package/dist/registryDraft/bootstrapArgsMerge.js +0 -43
  111. package/dist/registryDraft/bootstrapArgsMerge.js.map +0 -1
  112. package/dist/registryDraft/buildRegistryDraftPrompt.d.ts +0 -5
  113. package/dist/registryDraft/buildRegistryDraftPrompt.d.ts.map +0 -1
  114. package/dist/registryDraft/buildRegistryDraftPrompt.js +0 -31
  115. package/dist/registryDraft/buildRegistryDraftPrompt.js.map +0 -1
  116. package/dist/registryDraft/buildRegistryDraftPrompt.test.d.ts +0 -2
  117. package/dist/registryDraft/buildRegistryDraftPrompt.test.d.ts.map +0 -1
  118. package/dist/registryDraft/buildRegistryDraftPrompt.test.js +0 -14
  119. package/dist/registryDraft/buildRegistryDraftPrompt.test.js.map +0 -1
  120. package/dist/registryDraft/createRegistryDraftAjv.d.ts +0 -10
  121. package/dist/registryDraft/createRegistryDraftAjv.d.ts.map +0 -1
  122. package/dist/registryDraft/createRegistryDraftAjv.js +0 -71
  123. package/dist/registryDraft/createRegistryDraftAjv.js.map +0 -1
  124. package/dist/registryDraft/draftEnv.d.ts +0 -20
  125. package/dist/registryDraft/draftEnv.d.ts.map +0 -1
  126. package/dist/registryDraft/draftEnv.js +0 -47
  127. package/dist/registryDraft/draftEnv.js.map +0 -1
  128. package/dist/registryDraft/engine.d.ts +0 -26
  129. package/dist/registryDraft/engine.d.ts.map +0 -1
  130. package/dist/registryDraft/engine.js +0 -149
  131. package/dist/registryDraft/engine.js.map +0 -1
  132. package/dist/registryDraft/index.d.ts +0 -11
  133. package/dist/registryDraft/index.d.ts.map +0 -1
  134. package/dist/registryDraft/index.js +0 -9
  135. package/dist/registryDraft/index.js.map +0 -1
  136. package/dist/registryDraft/jsonPointer.d.ts +0 -8
  137. package/dist/registryDraft/jsonPointer.d.ts.map +0 -1
  138. package/dist/registryDraft/jsonPointer.js +0 -56
  139. package/dist/registryDraft/jsonPointer.js.map +0 -1
  140. package/dist/registryDraft/normalizeOpenAiToolCallsToBootstrapPackInput.d.ts +0 -8
  141. package/dist/registryDraft/normalizeOpenAiToolCallsToBootstrapPackInput.d.ts.map +0 -1
  142. package/dist/registryDraft/normalizeOpenAiToolCallsToBootstrapPackInput.js +0 -19
  143. package/dist/registryDraft/normalizeOpenAiToolCallsToBootstrapPackInput.js.map +0 -1
  144. package/dist/registryDraft/openAiLlmResponseSchema.d.ts +0 -6
  145. package/dist/registryDraft/openAiLlmResponseSchema.d.ts.map +0 -1
  146. package/dist/registryDraft/openAiLlmResponseSchema.js +0 -12
  147. package/dist/registryDraft/openAiLlmResponseSchema.js.map +0 -1
  148. package/dist/registryDraft/parseAndNormalizeRegistryDraftRequest.d.ts +0 -18
  149. package/dist/registryDraft/parseAndNormalizeRegistryDraftRequest.d.ts.map +0 -1
  150. package/dist/registryDraft/parseAndNormalizeRegistryDraftRequest.js +0 -36
  151. package/dist/registryDraft/parseAndNormalizeRegistryDraftRequest.js.map +0 -1
  152. package/dist/registryDraft/providers/hosted_openai.d.ts +0 -15
  153. package/dist/registryDraft/providers/hosted_openai.d.ts.map +0 -1
  154. package/dist/registryDraft/providers/hosted_openai.js +0 -77
  155. package/dist/registryDraft/providers/hosted_openai.js.map +0 -1
  156. package/dist/registryDraft/providers/local_ollama.d.ts +0 -14
  157. package/dist/registryDraft/providers/local_ollama.d.ts.map +0 -1
  158. package/dist/registryDraft/providers/local_ollama.js +0 -78
  159. package/dist/registryDraft/providers/local_ollama.js.map +0 -1
  160. package/dist/registryDraft/readiness.d.ts +0 -16
  161. package/dist/registryDraft/readiness.d.ts.map +0 -1
  162. package/dist/registryDraft/readiness.js +0 -58
  163. package/dist/registryDraft/readiness.js.map +0 -1
  164. package/dist/registryDraft/runRegistryDraftCli.d.ts +0 -2
  165. package/dist/registryDraft/runRegistryDraftCli.d.ts.map +0 -1
  166. package/dist/registryDraft/runRegistryDraftCli.js +0 -100
  167. package/dist/registryDraft/runRegistryDraftCli.js.map +0 -1
  168. package/dist/sdk/Gate.d.ts +0 -3
  169. package/dist/sdk/Gate.d.ts.map +0 -1
  170. package/dist/sdk/Gate.js +0 -2
  171. package/dist/sdk/Gate.js.map +0 -1
  172. package/dist/sdk/deprecate.d.ts +0 -6
  173. package/dist/sdk/deprecate.d.ts.map +0 -1
  174. package/dist/sdk/deprecate.js +0 -14
  175. package/dist/sdk/deprecate.js.map +0 -1
  176. package/dist/sdk/deprecatedPublicApi.d.ts +0 -18
  177. package/dist/sdk/deprecatedPublicApi.d.ts.map +0 -1
  178. package/dist/sdk/deprecatedPublicApi.js +0 -36
  179. package/dist/sdk/deprecatedPublicApi.js.map +0 -1
  180. package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts +0 -9
  181. package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts.map +0 -1
  182. package/dist/telemetry/openHandoffUrlInOsBrowser.js +0 -24
  183. package/dist/telemetry/openHandoffUrlInOsBrowser.js.map +0 -1
  184. package/dist/telemetry/postOssClaimContinuation.d.ts +0 -5
  185. package/dist/telemetry/postOssClaimContinuation.d.ts.map +0 -1
  186. package/dist/telemetry/postOssClaimContinuation.js +0 -34
  187. package/dist/telemetry/postOssClaimContinuation.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"relationalInvariant.js","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AAEA,OAAO,GAAG,MAAM,OAAO,CAAC;AACxB,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,OAAO,EAAE,yBAAyB,EAAE,UAAU,IAAI,iBAAiB,EAA6B,MAAM,iBAAiB,CAAC;AAExH,SAAS,GAAG,CAAC,OAA6B,EAAE,EAAU;IACpD,OAAO,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,OAA6B,EAC7B,UAAkB,EAClB,QAAgB;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE;QACjD,SAAS,EAAE,gBAAgB;QAC3B,EAAE,EAAE,GAAG;QACP,UAAU;QACV,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAC5C,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAA6B,EAC7B,KAA8B;IAE9B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,gCAAgC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC5F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,UAAU,GAAa,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,6BAA6B,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvI,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,UAAkB,CAAC;QACvB,IAAI,KAAK,CAAC,EAAE,KAAK,YAAY,EAAE,CAAC;YAC9B,UAAU,GAAG,6BAA6B,GAAG,EAAE,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAC5C,CAAC;YACD,UAAU,GAAG,uBAAuB,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC1C,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,OAAO,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,UAAU,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAClD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,IAAI,GACR,6BAA6B,EAAE,oBAAoB,EAAE,cAAc,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACrJ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC5C,OAAO,GAAG,KAAK,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,IAAI,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAC5C,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAU,KAAK,CAAC;IACjC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,sBAAsB,CACpC,OAA6B,EAC7B,KAA2D;IAE3D,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,UAAU,GAAa,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;IACvF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc;QAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,UAAU,UAAU,SAAS,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,4BAA4B,EAAE,CAAC;IAC7K,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAY,EAAE,GAAW;IACvD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,EAAwB,EAAE,QAAgB;IAC/E,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,MAAM,KAAK,QAAQ,CAAC;IAC5C,IAAI,EAAE,KAAK,KAAK;QAAE,OAAO,MAAM,IAAI,QAAQ,CAAC;IAC5C,OAAO,MAAM,IAAI,QAAQ,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,GAAwC,EACxC,KAA8B;IAE9B,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;IACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;iBAC3E;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iCAAiC,CAAC;qBAC3F;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjH,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,8BAA8B,CAAC;iBACxF;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE;SACnE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;qBACzF;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,OAAO,EAAE,EAAE;gBACX,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,EAAE;aAChF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,KAAK,IAAI,CAAC,CAAC,gBAAgB,CAAC;iBACrF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,cAAc,EAAE,IAAI,CAAC,CAAC;aACvB;SACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;iBAC1F;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;SACxE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACpE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;oBACnE,OAAO,EAAE,wBAAwB,CAC/B,oBAAoB,EAAE,cAAc,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,eAAe,IAAI,CAAC,CAAC,EAAE,CAC/F;iBACF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;gBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;gBAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;aACnB;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE;YACf,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;YACd,QAAQ,EAAE,KAAK,CAAC,WAAW;YAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;SACnB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,UAAqC;IACxF,OAAO;QACL,GAAG,IAAI;QACP,eAAe,EAAE;YACf,GAAG,IAAI,CAAC,eAAe;YACvB,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB,EAAE,KAA8B;IACxF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAwC,CAAC;QACvE,MAAM,OAAO,GACX,GAAG,KAAK,SAAS;YACf,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAA8B,CAAC;YACrE,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAA6B,EAC7B,KAAgB,EAChB,KAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GACX,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxE,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,MAAoB,EACpB,KAA8B;IAE9B,OAAO,wBAAwB,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,IAAgB,EAAE,KAA8B;IAC9F,OAAO,wBAAwB,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QACtD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,IAAiC,EAAE,CAAC;IACrD,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAyB,EACzB,KAA8B;IAE9B,OAAO,wBAAwB,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;IACjC,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC"}
1
+ {"version":3,"file":"relationalInvariant.js","sourceRoot":"","sources":["../src/relationalInvariant.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,OAAO,EAAE,yBAAyB,EAAE,UAAU,IAAI,iBAAiB,EAA6B,MAAM,iBAAiB,CAAC;AAExH,SAAS,GAAG,CAAC,OAA6B,EAAE,EAAU;IACpD,OAAO,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,OAA6B,EAC7B,UAAkB,EAClB,QAAgB;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE;QACjD,SAAS,EAAE,gBAAgB;QAC3B,EAAE,EAAE,GAAG;QACP,UAAU;QACV,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAC5C,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAA6B,EAC7B,KAA8B;IAE9B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,gCAAgC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC5F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,UAAU,GAAa,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACvF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,IAAI,GAAG,6BAA6B,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvI,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,UAAkB,CAAC;QACvB,IAAI,KAAK,CAAC,EAAE,KAAK,YAAY,EAAE,CAAC;YAC9B,UAAU,GAAG,6BAA6B,GAAG,EAAE,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAC5C,CAAC;YACD,UAAU,GAAG,uBAAuB,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC1C,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,OAAO,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,UAAU,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAClD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,IAAI,GACR,6BAA6B,EAAE,oBAAoB,EAAE,cAAc,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACrJ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC5C,OAAO,GAAG,KAAK,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,GAAG,IAAI,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;YAC5C,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAU,KAAK,CAAC;IACjC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,sBAAsB,CACpC,OAA6B,EAC7B,KAA2D;IAE3D,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,UAAU,GAAa,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;IACvF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc;QAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,UAAU,UAAU,SAAS,EAAE,mBAAmB,EAAE,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,4BAA4B,EAAE,CAAC;IAC7K,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAY,EAAE,GAAW;IACvD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,EAAwB,EAAE,QAAgB;IAC/E,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,MAAM,KAAK,QAAQ,CAAC;IAC5C,IAAI,EAAE,KAAK,KAAK;QAAE,OAAO,MAAM,IAAI,QAAQ,CAAC;IAC5C,OAAO,MAAM,IAAI,QAAQ,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,GAAwC,EACxC,KAA8B;IAE9B,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;IACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;iBAC3E;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,iCAAiC,CAAC;qBAC3F;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjH,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,8BAA8B,CAAC;iBACxF;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE;SACnE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;wBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;qBACzF;iBACF;gBACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;aACxE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,OAAO,EAAE,EAAE;gBACX,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,EAAE;aAChF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,mBAAmB;oBACvD,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,KAAK,IAAI,CAAC,CAAC,gBAAgB,CAAC;iBACrF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,cAAc,EAAE,IAAI,CAAC,CAAC;aACvB;SACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;oBAC9D,OAAO,EAAE,wBAAwB,CAAC,oBAAoB,EAAE,gCAAgC,CAAC;iBAC1F;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;SACxE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACpE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;oBACnE,OAAO,EAAE,wBAAwB,CAC/B,oBAAoB,EAAE,cAAc,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,eAAe,IAAI,CAAC,CAAC,EAAE,CAC/F;iBACF;aACF;YACD,eAAe,EAAE;gBACf,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;gBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;gBAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;aACnB;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE;YACf,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,IAAI,CAAC,CAAC;YACd,QAAQ,EAAE,KAAK,CAAC,WAAW;YAC3B,EAAE,EAAE,KAAK,CAAC,QAAQ;SACnB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,UAAqC;IACxF,OAAO;QACL,GAAG,IAAI;QACP,eAAe,EAAE;YACf,GAAG,IAAI,CAAC,eAAe;YACvB,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB,EAAE,KAA8B;IACxF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAwC,CAAC;QACvE,MAAM,OAAO,GACX,GAAG,KAAK,SAAS;YACf,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAA8B,CAAC;YACrE,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAA6B,EAC7B,KAAgB,EAChB,KAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GACX,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,IAAI,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,KAAK,CAAC,SAAS,KAAK,WAAW;YAC/B,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,mBAAmB,EAC1E,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxE,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/B,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;YACF,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,eAAe;oBACnD,OAAO,EAAE,wBAAwB,CAAC,GAAG,CAAC;iBACvC;aACF;YACD,eAAe,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;SAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAID,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,MAAoB,EACpB,KAA8B;IAE9B,OAAO,wBAAwB,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,IAAgB,EAAE,KAA8B;IAC9F,OAAO,wBAAwB,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QACtD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,IAAiC,EAAE,CAAC;IACrD,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC"}
@@ -1,5 +1,5 @@
1
1
  import { type ValidateFunction } from "ajv/dist/2020.js";
2
2
  export declare function schemasDir(): string;
3
- export type SchemaValidatorName = "agent-run-record-v1" | "agent-run-record-v2" | "workflow-result-signature" | "event" | "execution-trace-view" | "tools-registry" | "workflow-engine-result" | "workflow-truth-report" | "workflow-result" | "workflow-result-v9" | "workflow-result-compare-input" | "run-comparison-report" | "registry-validation-result" | "cli-error-envelope" | "plan-validation-core" | "quick-verify-report" | "tools-registry-export" | "ci-lock-v1" | "assurance-manifest-v1" | "assurance-run-report-v1" | "assurance-output-v1" | "public-verification-report-v1" | "public-verification-report-v2" | "outcome-certificate-v1" | "compare-run-manifest-v1" | "regression-artifact-v1" | "bootstrap-pack-input-v1" | "openai-function-tool-call-item-v1" | "contract-manifest" | "local-run-history-index-v1" | "trust-decision-record-v1" | "trust-certificate-snapshot-v1" | "material-truth-v1" | "decision-evidence-bundle-manifest-v1" | "decision-evidence-human-layer-v1" | "decision-evidence-exit-v1" | "decision-evidence-attestation-v1" | "decision-evidence-next-action-v1" | "decision-bundle-validation-v1";
3
+ export type SchemaValidatorName = "agent-run-record-v1" | "agent-run-record-v2" | "workflow-result-signature" | "event" | "execution-trace-view" | "tools-registry" | "workflow-engine-result" | "workflow-truth-report" | "workflow-result" | "workflow-result-v9" | "workflow-result-compare-input" | "run-comparison-report" | "registry-validation-result" | "cli-error-envelope" | "plan-validation-core" | "quick-verify-report" | "tools-registry-export" | "ci-lock-v1" | "assurance-manifest-v1" | "assurance-run-report-v1" | "assurance-output-v1" | "public-verification-report-v1" | "public-verification-report-v2" | "outcome-certificate-v1" | "compare-run-manifest-v1" | "regression-artifact-v1" | "bootstrap-pack-input-v1" | "openai-function-tool-call-item-v1" | "contract-manifest" | "local-run-history-index-v1" | "trust-decision-record-v1" | "trust-certificate-snapshot-v1" | "material-truth-v1" | "decision-evidence-bundle-manifest-v1" | "decision-evidence-human-layer-v1" | "decision-evidence-exit-v1" | "decision-evidence-attestation-v1" | "decision-evidence-next-action-v1" | "decision-bundle-validation-v1" | "activation-manifest-v1";
4
4
  export declare function loadSchemaValidator(name: SchemaValidatorName): ValidateFunction;
5
5
  //# sourceMappingURL=schemaLoad.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"schemaLoad.d.ts","sourceRoot":"","sources":["../src/schemaLoad.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AA6ClE,wBAAgB,UAAU,IAAI,MAAM,CAKnC;AAaD,MAAM,MAAM,mBAAmB,GAC3B,qBAAqB,GACrB,qBAAqB,GACrB,2BAA2B,GAC3B,OAAO,GACP,sBAAsB,GACtB,gBAAgB,GAChB,wBAAwB,GACxB,uBAAuB,GACvB,iBAAiB,GACjB,oBAAoB,GACpB,+BAA+B,GAC/B,uBAAuB,GACvB,4BAA4B,GAC5B,oBAAoB,GACpB,sBAAsB,GACtB,qBAAqB,GACrB,uBAAuB,GACvB,YAAY,GACZ,uBAAuB,GACvB,yBAAyB,GACzB,qBAAqB,GACrB,+BAA+B,GAC/B,+BAA+B,GAC/B,wBAAwB,GACxB,yBAAyB,GACzB,wBAAwB,GACxB,yBAAyB,GACzB,mCAAmC,GACnC,mBAAmB,GACnB,4BAA4B,GAC5B,0BAA0B,GAC1B,+BAA+B,GAC/B,mBAAmB,GACnB,sCAAsC,GACtC,kCAAkC,GAClC,2BAA2B,GAC3B,kCAAkC,GAClC,kCAAkC,GAClC,+BAA+B,CAAC;AA0CpC,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,gBAAgB,CAuG/E"}
1
+ {"version":3,"file":"schemaLoad.d.ts","sourceRoot":"","sources":["../src/schemaLoad.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AA6ClE,wBAAgB,UAAU,IAAI,MAAM,CAKnC;AAaD,MAAM,MAAM,mBAAmB,GAC3B,qBAAqB,GACrB,qBAAqB,GACrB,2BAA2B,GAC3B,OAAO,GACP,sBAAsB,GACtB,gBAAgB,GAChB,wBAAwB,GACxB,uBAAuB,GACvB,iBAAiB,GACjB,oBAAoB,GACpB,+BAA+B,GAC/B,uBAAuB,GACvB,4BAA4B,GAC5B,oBAAoB,GACpB,sBAAsB,GACtB,qBAAqB,GACrB,uBAAuB,GACvB,YAAY,GACZ,uBAAuB,GACvB,yBAAyB,GACzB,qBAAqB,GACrB,+BAA+B,GAC/B,+BAA+B,GAC/B,wBAAwB,GACxB,yBAAyB,GACzB,wBAAwB,GACxB,yBAAyB,GACzB,mCAAmC,GACnC,mBAAmB,GACnB,4BAA4B,GAC5B,0BAA0B,GAC1B,+BAA+B,GAC/B,mBAAmB,GACnB,sCAAsC,GACtC,kCAAkC,GAClC,2BAA2B,GAC3B,kCAAkC,GAClC,kCAAkC,GAClC,+BAA+B,GAC/B,wBAAwB,CAAC;AA0C7B,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,gBAAgB,CAyG/E"}
@@ -186,6 +186,8 @@ export function loadSchemaValidator(name) {
186
186
  return compileSchemaFile(name, "decision-evidence-next-action-v1.schema.json");
187
187
  case "decision-bundle-validation-v1":
188
188
  return compileSchemaFile(name, "decision-bundle-validation-v1.schema.json");
189
+ case "activation-manifest-v1":
190
+ return compileSchemaFile(name, "activation-manifest-v1.schema.json");
189
191
  default: {
190
192
  const _exhaustive = name;
191
193
  return _exhaustive;
@@ -1 +1 @@
1
- {"version":3,"file":"schemaLoad.js","sourceRoot":"","sources":["../src/schemaLoad.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAyB,MAAM,kBAAkB,CAAC;AAClE,OAAO,UAAU,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,MAAM,eAAe,GAAG,UAA4F,CAAC;AAErH,MAAM,eAAe,GAAG,6BAA6B,CAAC;AAEtD,SAAS,mBAAmB,CAAC,GAAW;IACtC,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,IAAI,kBAAkB,GAAkB,IAAI,CAAC;AAE7C,SAAS,iBAAiB;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC;IACzD,IAAI,GAAG,IAAI,mBAAmB,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAEhD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,mBAAmB,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAEzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,mBAAmB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAEvD,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAChE,IAAI,mBAAmB,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAE7D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU;IACxB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,kBAAkB,GAAG,iBAAiB,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,IAAI,WAAW,GAAwC,IAAI,CAAC;AAE5D,SAAS,MAAM;IACb,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,eAAe,CAAC,GAAG,CAAC,CAAC;QACrB,WAAW,GAAG,GAAG,CAAC;IACpB,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AA2CD,MAAM,cAAc,GAA2D,EAAE,CAAC;AAElF,SAAS,iBAAiB,CAAC,IAAyB,EAAE,IAAY;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA8B,CAAC;IAC5D,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9D,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,SAAS,iCAAiC;IACxC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;IAClF,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;AAClF,CAAC;AAED,2FAA2F;AAC3F,SAAS,8BAA8B;IACrC,iCAAiC,EAAE,CAAC;IACpC,iBAAiB,CAAC,oBAAoB,EAAE,gCAAgC,CAAC,CAAC;IAC1E,iBAAiB,CAAC,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,8BAA8B;IACrC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;IAClF,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAyB;IAC3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,uBAAuB;YAC1B,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,iBAAiB;YACpB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QAChE,KAAK,oBAAoB;YACvB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACnE,KAAK,+BAA+B;YAClC,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,oBAAoB;YACvB,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACnE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,2BAA2B;YAC9B,OAAO,iBAAiB,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC1E,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QACtD,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACrE,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;QAC/D,KAAK,uBAAuB;YAC1B,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;QAC3E,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACrE,KAAK,qBAAqB;YACxB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,uBAAuB;YAC1B,iBAAiB,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;YAClE,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC3D,KAAK,uBAAuB;YAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,+BAA+B;YAClC,iCAAiC,EAAE,CAAC;YACpC,iBAAiB,CAAC,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;YACpE,iBAAiB,CAAC,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;YAC5E,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,wBAAwB;YAC3B,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,8BAA8B,EAAE,CAAC;YACjC,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;YAChF,iBAAiB,CAAC,sBAAsB,EAAE,kCAAkC,CAAC,CAAC;YAC9E,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,+BAA+B;YAClC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,mCAAmC;YACtC,OAAO,iBAAiB,CAAC,IAAI,EAAE,+CAA+C,CAAC,CAAC;QAClF,KAAK,yBAAyB;YAC5B,iBAAiB,CAAC,mCAAmC,EAAE,+CAA+C,CAAC,CAAC;YACxG,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;QAClE,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;QAC3E,KAAK,+BAA+B;YAClC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,0BAA0B;YAC7B,iBAAiB,CAAC,+BAA+B,EAAE,2CAA2C,CAAC,CAAC;YAChG,OAAO,iBAAiB,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;QACzE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;QAClE,KAAK,sCAAsC;YACzC,OAAO,iBAAiB,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;QACrF,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,2BAA2B;YAC9B,OAAO,iBAAiB,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC1E,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,+BAA+B;YAClC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"schemaLoad.js","sourceRoot":"","sources":["../src/schemaLoad.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAyB,MAAM,kBAAkB,CAAC;AAClE,OAAO,UAAU,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,MAAM,eAAe,GAAG,UAA4F,CAAC;AAErH,MAAM,eAAe,GAAG,6BAA6B,CAAC;AAEtD,SAAS,mBAAmB,CAAC,GAAW;IACtC,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,IAAI,kBAAkB,GAAkB,IAAI,CAAC;AAE7C,SAAS,iBAAiB;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC;IACzD,IAAI,GAAG,IAAI,mBAAmB,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAEhD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,mBAAmB,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAEzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,mBAAmB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAEvD,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAChE,IAAI,mBAAmB,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IAE7D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU;IACxB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,kBAAkB,GAAG,iBAAiB,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,IAAI,WAAW,GAAwC,IAAI,CAAC;AAE5D,SAAS,MAAM;IACb,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,eAAe,CAAC,GAAG,CAAC,CAAC;QACrB,WAAW,GAAG,GAAG,CAAC;IACpB,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AA4CD,MAAM,cAAc,GAA2D,EAAE,CAAC;AAElF,SAAS,iBAAiB,CAAC,IAAyB,EAAE,IAAY;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA8B,CAAC;IAC5D,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9D,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,SAAS,iCAAiC;IACxC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;IAClF,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;AAClF,CAAC;AAED,2FAA2F;AAC3F,SAAS,8BAA8B;IACrC,iCAAiC,EAAE,CAAC;IACpC,iBAAiB,CAAC,oBAAoB,EAAE,gCAAgC,CAAC,CAAC;IAC1E,iBAAiB,CAAC,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,8BAA8B;IACrC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;IAClF,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAyB;IAC3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,uBAAuB;YAC1B,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,iBAAiB;YACpB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QAChE,KAAK,oBAAoB;YACvB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACnE,KAAK,+BAA+B;YAClC,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,oBAAoB;YACvB,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACnE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,2BAA2B;YAC9B,OAAO,iBAAiB,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC1E,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QACtD,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACrE,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;QAC/D,KAAK,uBAAuB;YAC1B,8BAA8B,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;QAC3E,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACrE,KAAK,qBAAqB;YACxB,iCAAiC,EAAE,CAAC;YACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,uBAAuB;YAC1B,iBAAiB,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;YAClE,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC3D,KAAK,uBAAuB;YAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACtE,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACpE,KAAK,+BAA+B;YAClC,iCAAiC,EAAE,CAAC;YACpC,iBAAiB,CAAC,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;YACpE,iBAAiB,CAAC,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;YAC5E,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,wBAAwB;YAC3B,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,8BAA8B,EAAE,CAAC;YACjC,iBAAiB,CAAC,uBAAuB,EAAE,mCAAmC,CAAC,CAAC;YAChF,iBAAiB,CAAC,sBAAsB,EAAE,kCAAkC,CAAC,CAAC;YAC9E,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,KAAK,+BAA+B;YAClC,iBAAiB,CAAC,wBAAwB,EAAE,oCAAoC,CAAC,CAAC;YAClF,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,mCAAmC;YACtC,OAAO,iBAAiB,CAAC,IAAI,EAAE,+CAA+C,CAAC,CAAC;QAClF,KAAK,yBAAyB;YAC5B,iBAAiB,CAAC,mCAAmC,EAAE,+CAA+C,CAAC,CAAC;YACxG,OAAO,iBAAiB,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QACxE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;QAClE,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;QAC3E,KAAK,+BAA+B;YAClC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,0BAA0B;YAC7B,iBAAiB,CAAC,+BAA+B,EAAE,2CAA2C,CAAC,CAAC;YAChG,OAAO,iBAAiB,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;QACzE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;QAClE,KAAK,sCAAsC;YACzC,OAAO,iBAAiB,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;QACrF,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,2BAA2B;YAC9B,OAAO,iBAAiB,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC1E,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,kCAAkC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,KAAK,+BAA+B;YAClC,OAAO,iBAAiB,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;QAC9E,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QACvE,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
@@ -15,9 +15,7 @@ export declare class AgentSkeptic {
15
15
  private readonly opts;
16
16
  constructor(opts: AgentSkepticOptions);
17
17
  /** Build a decision gate for a single workflow id (buffers events then evaluates against DB + registry). */
18
- gate(workflowIdOrOpts: string | {
19
- workflowId: string;
20
- }): DecisionGate;
18
+ gate(workflowIdOrOpts: string | (Pick<CreateDecisionGateOptions, "workflowId"> & Partial<Omit<CreateDecisionGateOptions, "workflowId" | "registryPath" | "databaseUrl">>)): DecisionGate;
21
19
  /** Batch verify from events file + registry (same as `verifyWorkflow`). */
22
20
  verify(options: Parameters<typeof verifyWorkflowInner>[0]): Promise<WorkflowResult>;
23
21
  /** Replay `agentskeptic/events.ndjson` from the project layout (same as `verifyAgentskeptic`). */
@@ -1 +1 @@
1
- {"version":3,"file":"AgentSkeptic.d.ts","sourceRoot":"","sources":["../../src/sdk/AgentSkeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,KAAK,yBAAyB,EAAE,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/G,OAAO,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EAC1B,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAqB,KAAK,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAChG,OAAO,EAEL,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AAEhF;;GAEG;AACH,qBAAa,YAAY;IACX,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,mBAAmB;IAEtD,4GAA4G;IAC5G,IAAI,CAAC,gBAAgB,EAAE,MAAM,GAAG;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,YAAY;IAKrE,2EAA2E;IACrE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC;IAIzF,kGAAkG;IAC5F,cAAc,CAAC,OAAO,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAQhI,yDAAyD;IACnD,KAAK,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAIvE,gFAAgF;IAC1E,gBAAgB,CACpB,MAAM,GAAE,sBAAiC,EACzC,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7C,OAAO,CAAC,sBAAsB,CAAC;IAIlC,2EAA2E;IACrE,YAAY,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAInD,6DAA6D;IAC7D,aAAa,CAAC,OAAO,EAAE;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC;QAChB,gCAAgC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;KAC1C,GAAG,qBAAqB;CAO1B"}
1
+ {"version":3,"file":"AgentSkeptic.d.ts","sourceRoot":"","sources":["../../src/sdk/AgentSkeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,KAAK,yBAAyB,EAAE,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/G,OAAO,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EAC1B,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAqB,KAAK,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAChG,OAAO,EAEL,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC5B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AAEhF;;GAEG;AACH,qBAAa,YAAY;IACX,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,mBAAmB;IAEtD,4GAA4G;IAC5G,IAAI,CACF,gBAAgB,EACZ,MAAM,GACN,CAAC,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,GAC5C,OAAO,CAAC,IAAI,CAAC,yBAAyB,EAAE,YAAY,GAAG,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,GAC7F,YAAY;IAQf,2EAA2E;IACrE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC;IAIzF,kGAAkG;IAC5F,cAAc,CAAC,OAAO,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAQhI,yDAAyD;IACnD,KAAK,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAIvE,gFAAgF;IAC1E,gBAAgB,CACpB,MAAM,GAAE,sBAAiC,EACzC,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7C,OAAO,CAAC,sBAAsB,CAAC;IAIlC,2EAA2E;IACrE,YAAY,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAInD,6DAA6D;IAC7D,aAAa,CAAC,OAAO,EAAE;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC;QAChB,gCAAgC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;KAC1C,GAAG,qBAAqB;CAO1B"}
@@ -15,8 +15,11 @@ export class AgentSkeptic {
15
15
  }
16
16
  /** Build a decision gate for a single workflow id (buffers events then evaluates against DB + registry). */
17
17
  gate(workflowIdOrOpts) {
18
- const workflowId = typeof workflowIdOrOpts === "string" ? workflowIdOrOpts : workflowIdOrOpts.workflowId;
19
- return createDecisionGateImpl({ ...this.opts, workflowId });
18
+ if (typeof workflowIdOrOpts === "string") {
19
+ return createDecisionGateImpl({ ...this.opts, workflowId: workflowIdOrOpts });
20
+ }
21
+ const { workflowId, ...rest } = workflowIdOrOpts;
22
+ return createDecisionGateImpl({ ...this.opts, workflowId, ...rest });
20
23
  }
21
24
  /** Batch verify from events file + registry (same as `verifyWorkflow`). */
22
25
  async verify(options) {
@@ -1 +1 @@
1
- {"version":3,"file":"AgentSkeptic.js","sourceRoot":"","sources":["../../src/sdk/AgentSkeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAqD,MAAM,oBAAoB,CAAC;AAC/G,OAAO,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACL,cAAc,IAAI,mBAAmB,GAGtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAA6B,MAAM,kCAAkC,CAAC;AAChG,OAAO,EACL,2BAA2B,GAG5B,MAAM,mCAAmC,CAAC;AAG3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAK1E;;GAEG;AACH,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,IAAyB;QAAzB,SAAI,GAAJ,IAAI,CAAqB;IAAG,CAAC;IAE1D,4GAA4G;IAC5G,IAAI,CAAC,gBAAiD;QACpD,MAAM,UAAU,GAAG,OAAO,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC;QACzG,OAAO,sBAAsB,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,MAAM,CAAC,OAAkD;QAC7D,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,kGAAkG;IAClG,KAAK,CAAC,cAAc,CAAC,OAA2E;QAC9F,OAAO,sBAAsB,CAAC;YAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW;YACzD,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW;SAC1D,CAAC,CAAC;IACL,CAAC;IAED,yDAAyD;IACzD,KAAK,CAAC,KAAK,CAAC,IAA2B;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,gBAAgB,CACpB,SAAiC,QAAQ,EACzC,IAA8C;QAE9C,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,YAAY;QAChB,OAAO,iBAAiB,EAAE,CAAC;IAC7B,CAAC;IAED,6DAA6D;IAC7D,aAAa,CAAC,OAIb;QACC,OAAO,IAAI,qBAAqB,CAAC;YAC/B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,gCAAgC,EAAE,OAAO,CAAC,gCAAgC;SAC3E,CAAC,CAAC;IACL,CAAC;CACF"}
1
+ {"version":3,"file":"AgentSkeptic.js","sourceRoot":"","sources":["../../src/sdk/AgentSkeptic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAqD,MAAM,oBAAoB,CAAC;AAC/G,OAAO,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EACL,cAAc,IAAI,mBAAmB,GAGtC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAA6B,MAAM,kCAAkC,CAAC;AAChG,OAAO,EACL,2BAA2B,GAG5B,MAAM,mCAAmC,CAAC;AAG3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAK1E;;GAEG;AACH,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,IAAyB;QAAzB,SAAI,GAAJ,IAAI,CAAqB;IAAG,CAAC;IAE1D,4GAA4G;IAC5G,IAAI,CACF,gBAG8F;QAE9F,IAAI,OAAO,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO,sBAAsB,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,gBAAgB,CAAC;QACjD,OAAO,sBAAsB,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,MAAM,CAAC,OAAkD;QAC7D,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,kGAAkG;IAClG,KAAK,CAAC,cAAc,CAAC,OAA2E;QAC9F,OAAO,sBAAsB,CAAC;YAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW;YACzD,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW;SAC1D,CAAC,CAAC;IACL,CAAC;IAED,yDAAyD;IACzD,KAAK,CAAC,KAAK,CAAC,IAA2B;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,gBAAgB,CACpB,SAAiC,QAAQ,EACzC,IAA8C;QAE9C,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,YAAY;QAChB,OAAO,iBAAiB,EAAE,CAAC;IAC7B,CAAC;IAED,6DAA6D;IAC7D,aAAa,CAAC,OAIb;QACC,OAAO,IAAI,qBAAqB,CAAC;YAC/B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,gCAAgC,EAAE,OAAO,CAAC,gCAAgC;SAC3E,CAAC,CAAC;IACL,CAAC;CACF"}
@@ -37,7 +37,7 @@ export declare function runStandardVerifyWorkflowCliToTerminalResult(options: {
37
37
  workflowResult: WorkflowResult;
38
38
  certificate: OutcomeCertificateV1;
39
39
  }>;
40
- maybeWriteBundle?: (result: WorkflowResult) => void;
40
+ maybeWriteBundle?: (result: WorkflowResult, certificate: OutcomeCertificateV1) => void;
41
41
  /** When set, human stderr is deferred until after a successful POST to this origin. */
42
42
  shareReportOrigin?: string;
43
43
  io?: Partial<StandardVerifyWorkflowCliIo>;
@@ -51,7 +51,7 @@ export declare function runStandardVerifyWorkflowCliToTerminalResult(options: {
51
51
  */
52
52
  export declare function runStandardVerifyWorkflowCliFlow(options: {
53
53
  runVerify: () => Promise<WorkflowResult>;
54
- maybeWriteBundle?: (result: WorkflowResult) => void;
54
+ maybeWriteBundle?: (result: WorkflowResult, certificate: OutcomeCertificateV1) => void;
55
55
  /** When set, human stderr is deferred until after a successful POST to this origin. */
56
56
  shareReportOrigin?: string;
57
57
  io?: Partial<StandardVerifyWorkflowCliIo>;
@@ -1 +1 @@
1
- {"version":3,"file":"standardVerifyWorkflowCli.d.ts","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAOA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAKjD;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC,cAAc,CAAC,CAUzB;AAED,6GAA6G;AAC7G,wBAAsB,oCAAoC,CACxD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC;IAAE,cAAc,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,oBAAoB,CAAA;CAAE,CAAC,CAWhF;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,iGAAiG;IACjG,eAAe,CAAC,EAAE,CAAC,eAAe,EAAE,MAAM,KAAK,KAAK,CAAC;CACtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,+CAA+C,CAC7D,WAAW,EAAE,oBAAoB,EACjC,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAKN;AAED,qHAAqH;AACrH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,cAAc,EACtB,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAGN;AAcD,0FAA0F;AAC1F,eAAO,MAAM,sBAAsB,wCAAwC,CAAC;AAgB5E;;;GAGG;AACH,wBAAsB,4CAA4C,CAAC,OAAO,EAAE;IAC1E,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C,sHAAsH;IACtH,wBAAwB,CAAC,EAAE,MAAM,OAAO,CAAC;QACvC,cAAc,EAAE,cAAc,CAAC;QAC/B,WAAW,EAAE,oBAAoB,CAAC;KACnC,CAAC,CAAC;IACH,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC;IAAE,WAAW,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,cAAc,CAAA;CAAE,CAAC,CAuFjF;AAED;;;GAGG;AACH,wBAAsB,gCAAgC,CAAC,OAAO,EAAE;IAC9D,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC,IAAI,CAAC,CAShB"}
1
+ {"version":3,"file":"standardVerifyWorkflowCli.d.ts","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAOA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAKjD;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC,cAAc,CAAC,CAUzB;AAED,6GAA6G;AAC7G,wBAAsB,oCAAoC,CACxD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC;IAAE,cAAc,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,oBAAoB,CAAA;CAAE,CAAC,CAWhF;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,iGAAiG;IACjG,eAAe,CAAC,EAAE,CAAC,eAAe,EAAE,MAAM,KAAK,KAAK,CAAC;CACtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,+CAA+C,CAC7D,WAAW,EAAE,oBAAoB,EACjC,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAKN;AAED,qHAAqH;AACrH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,cAAc,EACtB,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAGN;AAcD,0FAA0F;AAC1F,eAAO,MAAM,sBAAsB,wCAAwC,CAAC;AAgB5E;;;GAGG;AACH,wBAAsB,4CAA4C,CAAC,OAAO,EAAE;IAC1E,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C,sHAAsH;IACtH,wBAAwB,CAAC,EAAE,MAAM,OAAO,CAAC;QACvC,cAAc,EAAE,cAAc,CAAC;QAC/B,WAAW,EAAE,oBAAoB,CAAC;KACnC,CAAC,CAAC;IACH,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,oBAAoB,KAAK,IAAI,CAAC;IACvF,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC;IAAE,WAAW,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,cAAc,CAAA;CAAE,CAAC,CAuFjF;AAED;;;GAGG;AACH,wBAAsB,gCAAgC,CAAC,OAAO,EAAE;IAC9D,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,oBAAoB,KAAK,IAAI,CAAC;IACvF,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC,IAAI,CAAC,CAShB"}
@@ -108,7 +108,7 @@ export async function runStandardVerifyWorkflowCliToTerminalResult(options) {
108
108
  }
109
109
  if (options.maybeWriteBundle !== undefined) {
110
110
  try {
111
- options.maybeWriteBundle(workflowResult);
111
+ options.maybeWriteBundle(workflowResult, certificate);
112
112
  }
113
113
  catch (e) {
114
114
  if (e instanceof TruthLayerError) {
@@ -1 +1 @@
1
- {"version":3,"file":"standardVerifyWorkflowCli.js","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uCAAuC,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,SAAwC;IAExC,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,SAAwC;IAExC,MAAM,cAAc,GAAG,MAAM,+BAA+B,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAC9F,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,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAUD;;GAEG;AACH,MAAM,UAAU,+CAA+C,CAC7D,WAAiC,EACjC,EAA4D;IAE5D,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wCAAwC,CACtD,MAAsB,EACtB,EAA4D;IAE5D,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtF,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,SAAS,GAAgC;IAC7C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACb,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF,CAAC;AAEF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AAE5E,SAAS,cAAc,CACrB,EAA+B,EAC/B,aAAsD,EACtD,IAAY,EACZ,OAAe;IAEf,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,EAAE,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACrC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAAC,OAWlE;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QAC5D,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IAEF,IAAI,WAAiC,CAAC;IACtC,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACtD,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YAC/B,MAAM,UAAU,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;YAC1D,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CACxC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;YACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,oCAAoC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC3E,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,iEAAiE,CAAC,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;gBACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,MAAM,EAAE;YAC1D,aAAa,EAAE,CAAC;YAChB,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,mBAAmB,EACzC,wBAAwB,CACtB,uBAAuB,MAAM,gBAAgB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,WAAW,EAAE,CACtG,CACF,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,UAAU,CAAC,uCAAuC,CAAC,WAAW,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,OAMtD;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,4CAA4C,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/F,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACnE,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":"standardVerifyWorkflowCli.js","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uCAAuC,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,SAAwC;IAExC,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,SAAwC;IAExC,MAAM,cAAc,GAAG,MAAM,+BAA+B,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAC9F,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,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAUD;;GAEG;AACH,MAAM,UAAU,+CAA+C,CAC7D,WAAiC,EACjC,EAA4D;IAE5D,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wCAAwC,CACtD,MAAsB,EACtB,EAA4D;IAE5D,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtF,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,SAAS,GAAgC;IAC7C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACb,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF,CAAC;AAEF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AAE5E,SAAS,cAAc,CACrB,EAA+B,EAC/B,aAAsD,EACtD,IAAY,EACZ,OAAe;IAEf,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,EAAE,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACrC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAAC,OAWlE;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QAC5D,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IAEF,IAAI,WAAiC,CAAC;IACtC,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACtD,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YAC/B,MAAM,UAAU,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;YAC1D,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CACxC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;YACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,oCAAoC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC3E,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,iEAAiE,CAAC,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,CAAC,gBAAgB,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;gBACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,MAAM,EAAE;YAC1D,aAAa,EAAE,CAAC;YAChB,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,mBAAmB,EACzC,wBAAwB,CACtB,uBAAuB,MAAM,gBAAgB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,WAAW,EAAE,CACtG,CACF,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,UAAU,CAAC,uCAAuC,CAAC,WAAW,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,OAMtD;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,4CAA4C,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/F,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACnE,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 +1 @@
1
- {"version":3,"file":"stateWitness.d.ts","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAIV,mBAAmB,EAGpB,MAAM,YAAY,CAAC;AA+XpB,wBAAsB,qBAAqB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAa9F"}
1
+ {"version":3,"file":"stateWitness.d.ts","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,YAAY,CAAC;AAwPpB,wBAAsB,qBAAqB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAmB9F"}
@@ -1,11 +1,8 @@
1
- import { createHash } from "node:crypto";
2
- import { GetObjectCommand, HeadObjectCommand, S3Client } from "@aws-sdk/client-s3";
3
- import { MongoClient } from "mongodb";
1
+ import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
4
2
  import { getPointer } from "./jsonPointer.js";
3
+ import { TruthLayerError } from "./truthLayerError.js";
5
4
  import { verificationScalarsEqual } from "./valueVerification.js";
6
5
  import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
7
- const S3_DEADLINE_MS = 1900;
8
- const MAX_S3_BODY_HASH_BYTES = 10 * 1024 * 1024;
9
6
  function setupError(msg) {
10
7
  return {
11
8
  status: "incomplete_verification",
@@ -166,93 +163,6 @@ async function reconcileVectorDocument(req) {
166
163
  };
167
164
  }
168
165
  }
169
- async function reconcileObjectStorage(req) {
170
- const region = process.env.AWS_REGION ?? "us-east-1";
171
- const client = new S3Client({
172
- region,
173
- ...(req.endpoint ? { endpoint: req.endpoint, forcePathStyle: true } : {}),
174
- });
175
- const started = Date.now();
176
- try {
177
- const head = await Promise.race([
178
- client.send(new HeadObjectCommand({ Bucket: req.bucket, Key: req.key })),
179
- new Promise((_, rej) => setTimeout(() => rej(new Error("S3 head timeout")), S3_DEADLINE_MS)),
180
- ]);
181
- const contentLength = Number(head.ContentLength ?? 0);
182
- if (req.expectSizeBytes !== undefined && contentLength !== req.expectSizeBytes) {
183
- return {
184
- status: "inconsistent",
185
- reasons: [
186
- {
187
- code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_SIZE_MISMATCH,
188
- message: `Expected size ${req.expectSizeBytes} but Content-Length is ${contentLength}`,
189
- },
190
- ],
191
- evidenceSummary: { contentLength },
192
- };
193
- }
194
- if (req.expectEtag !== undefined && head.ETag && head.ETag.replaceAll('"', "") !== req.expectEtag.replaceAll('"', "")) {
195
- return {
196
- status: "inconsistent",
197
- reasons: [
198
- {
199
- code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_DIGEST_MISMATCH,
200
- message: "ETag mismatch",
201
- },
202
- ],
203
- evidenceSummary: {},
204
- };
205
- }
206
- if (req.expectSha256 !== undefined) {
207
- if (contentLength > MAX_S3_BODY_HASH_BYTES) {
208
- return {
209
- status: "inconsistent",
210
- reasons: [
211
- {
212
- code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_TOO_LARGE_FOR_HASH,
213
- message: `Object size ${contentLength} exceeds hash cap ${MAX_S3_BODY_HASH_BYTES}`,
214
- },
215
- ],
216
- evidenceSummary: { contentLength },
217
- };
218
- }
219
- const get = await client.send(new GetObjectCommand({ Bucket: req.bucket, Key: req.key }));
220
- const body = get.Body;
221
- if (!body || typeof body.transformToByteArray !== "function") {
222
- return setupError("S3 GetObject body missing or unsupported runtime");
223
- }
224
- const bytes = await body.transformToByteArray();
225
- const hex = createHash("sha256").update(Buffer.from(bytes)).digest("hex");
226
- if (hex !== req.expectSha256.toLowerCase()) {
227
- return {
228
- status: "inconsistent",
229
- reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_DIGEST_MISMATCH, message: "SHA-256 mismatch" }],
230
- evidenceSummary: {},
231
- };
232
- }
233
- }
234
- return {
235
- status: "verified",
236
- reasons: [],
237
- evidenceSummary: { s3: true, elapsedMs: Date.now() - started },
238
- };
239
- }
240
- catch (e) {
241
- const msg = e instanceof Error ? e.message : String(e);
242
- if (String(msg).includes("NotFound") || String(msg).includes("404")) {
243
- return {
244
- status: "missing",
245
- reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_MISSING, message: "S3 object not found" }],
246
- evidenceSummary: {},
247
- };
248
- }
249
- return {
250
- status: "incomplete_verification",
251
- reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR, message: msg }],
252
- evidenceSummary: {},
253
- };
254
- }
255
- }
256
166
  async function reconcileHttpWitness(req) {
257
167
  try {
258
168
  const r = await fetchWithDeadline(req.url, { method: req.method, headers: { Accept: "application/json" } }, 8000);
@@ -319,63 +229,16 @@ async function reconcileHttpWitness(req) {
319
229
  };
320
230
  }
321
231
  }
322
- async function reconcileMongo(req) {
323
- const uri = process.env.AGENTSKEPTIC_MONGO_URL ?? process.env.MONGODB_URI;
324
- if (!uri) {
325
- return setupError("mongo_document: set AGENTSKEPTIC_MONGO_URL or MONGODB_URI");
326
- }
327
- const client = new MongoClient(uri);
328
- try {
329
- await client.connect();
330
- const doc = await client.db().collection(req.collection).findOne(req.filter);
331
- if (!doc) {
332
- return {
333
- status: "missing",
334
- reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.MONGO_DOCUMENT_MISSING, message: "No document matched filter" }],
335
- evidenceSummary: {},
336
- };
337
- }
338
- const plain = doc;
339
- for (const [k, exp] of Object.entries(req.requiredFields)) {
340
- const act = plain[k];
341
- const cmp = verificationScalarsEqual(exp, act);
342
- if (!cmp.ok) {
343
- return {
344
- status: "inconsistent",
345
- reasons: [
346
- {
347
- code: SQL_VERIFICATION_OUTCOME_CODE.MONGO_VALUE_MISMATCH,
348
- message: `${k}: expected ${cmp.expected} found ${cmp.actual}`,
349
- },
350
- ],
351
- evidenceSummary: { field: k },
352
- };
353
- }
354
- }
355
- return { status: "verified", reasons: [], evidenceSummary: { mongo: true } };
356
- }
357
- catch (e) {
358
- const msg = e instanceof Error ? e.message : String(e);
359
- return {
360
- status: "incomplete_verification",
361
- reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR, message: msg }],
362
- evidenceSummary: {},
363
- };
364
- }
365
- finally {
366
- await client.close().catch(() => { });
367
- }
368
- }
369
232
  export async function reconcileStateWitness(req) {
370
233
  switch (req.kind) {
371
234
  case "vector_document":
372
235
  return reconcileVectorDocument(req);
373
236
  case "object_storage_object":
374
- return reconcileObjectStorage(req);
237
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_CONNECTOR_NOT_SHIPPED, `Verification connector "object_storage_object" is not shipped in this OSS package build.`);
375
238
  case "http_witness":
376
239
  return reconcileHttpWitness(req);
377
240
  case "mongo_document":
378
- return reconcileMongo(req);
241
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_CONNECTOR_NOT_SHIPPED, `Verification connector "mongo_document" is not shipped in this OSS package build.`);
379
242
  default:
380
243
  return setupError("unknown state witness kind");
381
244
  }
@@ -1 +1 @@
1
- {"version":3,"file":"stateWitness.js","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAU9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,cAAc,GAAG,IAAI,CAAC;AAC5B,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAEhD,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1F,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW,EAAE,IAAiB,EAAE,UAAkB;IACjF,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAC;IACjC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAS;IACtC,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,GAAsC;IAC3E,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,2EAA2E,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI;QACR,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC1B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB;YACjC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CACf,oBAAoB,GAAG,CAAC,QAAQ,wFAAwF,CACzH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GACV,GAAG,CAAC,QAAQ,KAAK,UAAU;QACzB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;QAC9B,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;YAC9B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,UAAU,CAAC,oBAAoB,GAAG,CAAC,QAAQ,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAC1C;gBACE,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,EAAE;gBAClE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;oBACrB,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjG,CAAC;aACH,EACD,IAAI,CACL,CAAC;YACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB;4BACzD,OAAO,EAAE,uBAAuB,CAAC,CAAC,MAAM,EAAE;yBAC3C;qBACF;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAyE,CAAC;YACtG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;oBAC5G,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;iBAC5C,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;oBAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC;oBACrE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;wBACZ,OAAO;4BACL,MAAM,EAAE,cAAc;4BACtB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,6BAA6B,CAAC,wBAAwB;oCAC5D,OAAO,EAAE,YAAY,CAAC,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;iCACvE;6BACF;4BACD,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;yBAC9B,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAClJ,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;gBACrB,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;oBACzG,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,EAAE,EAAE;qBACpG;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,IAAI,MAAM,EAC3D;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACzG,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;SAChD,EACD,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5G,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAuB,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC;gBACtG,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC;IACtF,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACtF,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,GAAqC;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,WAAW,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC;QAC1B,MAAM;QACN,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1E,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;YACxE,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;SACpG,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,aAAa,KAAK,GAAG,CAAC,eAAe,EAAE,CAAC;YAC/E,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,oBAAoB;wBACxD,OAAO,EAAE,iBAAiB,GAAG,CAAC,eAAe,0BAA0B,aAAa,EAAE;qBACvF;iBACF;gBACD,eAAe,EAAE,EAAE,aAAa,EAAE;aACnC,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;YACtH,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB;wBAC1D,OAAO,EAAE,eAAe;qBACzB;iBACF;gBACD,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,aAAa,GAAG,sBAAsB,EAAE,CAAC;gBAC3C,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB;4BAC7D,OAAO,EAAE,eAAe,aAAa,qBAAqB,sBAAsB,EAAE;yBACnF;qBACF;oBACD,eAAe,EAAE,EAAE,aAAa,EAAE;iBACnC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1F,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,IAAI,OAAQ,IAA6D,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;gBACvH,OAAO,UAAU,CAAC,kDAAkD,CAAC,CAAC;YACxE,CAAC;YACD,MAAM,KAAK,GAAG,MAAO,IAA4D,CAAC,oBAAoB,EAAE,CAAC;YACzG,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1E,IAAI,GAAG,KAAK,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC3C,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;oBACtG,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE;SAC/D,CAAC;IACJ,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,cAAc,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC;gBACjG,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,GAAmC;IACrE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,CAAC,GAAG,EACP,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,EAC/D,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,cAAc,EAAE,CAAC;YACpC,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,4BAA4B;wBAChE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE;qBACnE;iBACF;gBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;4BACnE,OAAO,EAAE,wDAAwD;yBAClE;qBACF;oBACD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,MAAiC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChF,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,wBAAwB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAyB,CAAC,CAAC;gBACzE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO;wBACL,MAAM,EAAE,cAAc;wBACtB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;gCACnE,OAAO,EAAE,aAAa,GAAG,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;6BAC1E;yBACF;wBACD,eAAe,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE;qBACtC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IAC9E,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC3F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,GAAqC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;IAC1E,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7E,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;gBAChH,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,GAA8B,CAAC;QAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC;YACrE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,oBAAoB;4BACxD,OAAO,EAAE,GAAG,CAAC,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;yBAC9D;qBACF;oBACD,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;iBAC9B,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;IAC/E,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAAwB;IAClE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,iBAAiB;YACpB,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACtC,KAAK,uBAAuB;YAC1B,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,gBAAgB;YACnB,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;QAC7B;YACE,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"stateWitness.js","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAQ9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1F,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW,EAAE,IAAiB,EAAE,UAAkB;IACjF,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAC;IACjC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAS;IACtC,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,GAAsC;IAC3E,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,2EAA2E,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI;QACR,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC1B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB;YACjC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CACf,oBAAoB,GAAG,CAAC,QAAQ,wFAAwF,CACzH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GACV,GAAG,CAAC,QAAQ,KAAK,UAAU;QACzB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;QAC9B,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;YAC9B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,UAAU,CAAC,oBAAoB,GAAG,CAAC,QAAQ,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAC1C;gBACE,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,EAAE;gBAClE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;oBACrB,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjG,CAAC;aACH,EACD,IAAI,CACL,CAAC;YACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB;4BACzD,OAAO,EAAE,uBAAuB,CAAC,CAAC,MAAM,EAAE;yBAC3C;qBACF;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAyE,CAAC;YACtG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;oBAC5G,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;iBAC5C,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;oBAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC;oBACrE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;wBACZ,OAAO;4BACL,MAAM,EAAE,cAAc;4BACtB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,6BAA6B,CAAC,wBAAwB;oCAC5D,OAAO,EAAE,YAAY,CAAC,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;iCACvE;6BACF;4BACD,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;yBAC9B,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAClJ,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;gBACrB,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;oBACzG,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,EAAE,EAAE;qBACpG;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,IAAI,MAAM,EAC3D;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACzG,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;SAChD,EACD,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5G,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAuB,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC;gBACtG,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC;IACtF,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACtF,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,GAAmC;IACrE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,CAAC,GAAG,EACP,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,EAC/D,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,cAAc,EAAE,CAAC;YACpC,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,4BAA4B;wBAChE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE;qBACnE;iBACF;gBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;4BACnE,OAAO,EAAE,wDAAwD;yBAClE;qBACF;oBACD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,MAAiC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChF,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,wBAAwB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAyB,CAAC,CAAC;gBACzE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO;wBACL,MAAM,EAAE,cAAc;wBACtB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;gCACnE,OAAO,EAAE,aAAa,GAAG,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;6BAC1E;yBACF;wBACD,eAAe,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE;qBACtC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IAC9E,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,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC3F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAAwB;IAClE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,iBAAiB;YACpB,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACtC,KAAK,uBAAuB;YAC1B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,kCAAkC,EACxD,0FAA0F,CAC3F,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,gBAAgB;YACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,kCAAkC,EACxD,mFAAmF,CACpF,CAAC;QACJ;YACE,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}
@@ -1,28 +1,9 @@
1
1
  import { describe, it, expect, vi, afterEach } from "vitest";
2
- const s3Send = vi.hoisted(() => vi.fn());
3
- vi.mock("@aws-sdk/client-s3", () => ({
4
- S3Client: class MockS3Client {
5
- send = s3Send;
6
- },
7
- HeadObjectCommand: class HeadObjectCommand {
8
- input;
9
- constructor(input) {
10
- this.input = input;
11
- }
12
- },
13
- GetObjectCommand: class GetObjectCommand {
14
- input;
15
- constructor(input) {
16
- this.input = input;
17
- }
18
- },
19
- }));
20
2
  import { reconcileStateWitness } from "./stateWitness.js";
21
3
  describe("reconcileStateWitness", () => {
22
4
  afterEach(() => {
23
5
  vi.unstubAllGlobals();
24
6
  vi.restoreAllMocks();
25
- s3Send.mockReset();
26
7
  });
27
8
  describe("http_witness", () => {
28
9
  it("returns verified when status and JSON assertions match", async () => {
@@ -79,41 +60,18 @@ describe("reconcileStateWitness", () => {
79
60
  }
80
61
  });
81
62
  });
82
- describe("object_storage_object", () => {
83
- it("returns verified when HeadObject matches size and ETag", async () => {
84
- s3Send.mockResolvedValueOnce({ ContentLength: 3, ETag: '"abc"' });
85
- const out = await reconcileStateWitness({
86
- kind: "object_storage_object",
87
- bucket: "b",
88
- key: "k",
89
- expectSizeBytes: 3,
90
- expectEtag: "abc",
91
- });
92
- expect(out.status).toBe("verified");
93
- expect(s3Send).toHaveBeenCalledTimes(1);
94
- });
95
- it("returns inconsistent on ETag mismatch", async () => {
96
- s3Send.mockResolvedValueOnce({ ContentLength: 3, ETag: '"wrong"' });
97
- const out = await reconcileStateWitness({
63
+ describe("object_storage_object connector not shipped", () => {
64
+ it("rejects TruthLayerError synchronously before AWS imports", async () => {
65
+ await expect(reconcileStateWitness({
98
66
  kind: "object_storage_object",
99
67
  bucket: "b",
100
68
  key: "k",
101
- expectEtag: "expected",
69
+ expectSizeBytes: 1,
70
+ expectEtag: "a",
71
+ })).rejects.toMatchObject({
72
+ code: "VERIFICATION_CONNECTOR_NOT_SHIPPED",
73
+ message: 'Verification connector "object_storage_object" is not shipped in this OSS package build.',
102
74
  });
103
- expect(out.status).toBe("inconsistent");
104
- expect(out.reasons[0]?.code).toBe("OBJECT_DIGEST_MISMATCH");
105
- });
106
- it("returns inconsistent when full-object hash requested over byte cap", async () => {
107
- const big = 11 * 1024 * 1024;
108
- s3Send.mockResolvedValueOnce({ ContentLength: big, ETag: '"x"' });
109
- const out = await reconcileStateWitness({
110
- kind: "object_storage_object",
111
- bucket: "b",
112
- key: "k",
113
- expectSha256: "a".repeat(64),
114
- });
115
- expect(out.status).toBe("inconsistent");
116
- expect(out.reasons[0]?.code).toBe("OBJECT_TOO_LARGE_FOR_HASH");
117
75
  });
118
76
  });
119
77
  });
@@ -1 +1 @@
1
- {"version":3,"file":"stateWitness.test.js","sourceRoot":"","sources":["../src/stateWitness.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAE7D,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAEzC,EAAE,CAAC,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,YAAY;QAC1B,IAAI,GAAG,MAAM,CAAC;KACf;IACD,iBAAiB,EAAE,MAAM,iBAAiB;QACZ;QAA5B,YAA4B,KAAc;YAAd,UAAK,GAAL,KAAK,CAAS;QAAG,CAAC;KAC/C;IACD,gBAAgB,EAAE,MAAM,gBAAgB;QACV;QAA5B,YAA4B,KAAc;YAAd,UAAK,GAAL,KAAK,CAAS;QAAG,CAAC;KAC/C;CACF,CAAC,CAAC,CAAC;AAEJ,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,gBAAgB,EAAE,CAAC;QACtB,EAAE,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,CAAC,SAAS,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CACrF,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,KAAK;gBACb,GAAG,EAAE,4BAA4B;gBACjC,cAAc,EAAE,GAAG;gBACnB,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;aAClD,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;YAC5D,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CACrE,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,KAAK;gBACb,GAAG,EAAE,uBAAuB;gBAC5B,cAAc,EAAE,GAAG;aACpB,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;YAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;YACjD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,uBAAuB,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,QAAQ,CAAC;YACxC,IAAI,CAAC;gBACH,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CACf,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;oBACb,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;iBACrD,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CACF,CACF,CAAC;gBACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;oBACtC,IAAI,EAAE,iBAAiB;oBACvB,QAAQ,EAAE,UAAU;oBACpB,UAAU,EAAE,OAAO;oBACnB,SAAS,EAAE,KAAK;oBAChB,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;iBACjC,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtC,CAAC;oBAAS,CAAC;gBACT,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;;oBAC9D,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,QAAQ,CAAC;gBAChD,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;;oBAC1D,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,CAAC,qBAAqB,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,GAAG;gBACX,GAAG,EAAE,GAAG;gBACR,eAAe,EAAE,CAAC;gBAClB,UAAU,EAAE,KAAK;aAClB,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;YACrD,MAAM,CAAC,qBAAqB,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACpE,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,GAAG;gBACX,GAAG,EAAE,GAAG;gBACR,UAAU,EAAE,UAAU;aACvB,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;YAClF,MAAM,GAAG,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;YAC7B,MAAM,CAAC,qBAAqB,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAClE,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,GAAG;gBACX,GAAG,EAAE,GAAG;gBACR,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;aAC7B,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"stateWitness.test.js","sourceRoot":"","sources":["../src/stateWitness.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,gBAAgB,EAAE,CAAC;QACtB,EAAE,CAAC,eAAe,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CACrF,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,KAAK;gBACb,GAAG,EAAE,4BAA4B;gBACjC,cAAc,EAAE,GAAG;gBACnB,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;aAClD,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;YAC5D,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CACrE,CAAC;YACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;gBACtC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,KAAK;gBACb,GAAG,EAAE,uBAAuB;gBAC5B,cAAc,EAAE,GAAG;aACpB,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;YAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;YACjD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,uBAAuB,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,QAAQ,CAAC;YACxC,IAAI,CAAC;gBACH,EAAE,CAAC,UAAU,CACX,OAAO,EACP,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CACf,IAAI,QAAQ,CACV,IAAI,CAAC,SAAS,CAAC;oBACb,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;iBACrD,CAAC,EACF,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CACF,CACF,CAAC;gBACF,MAAM,GAAG,GAAG,MAAM,qBAAqB,CAAC;oBACtC,IAAI,EAAE,iBAAiB;oBACvB,QAAQ,EAAE,UAAU;oBACpB,UAAU,EAAE,OAAO;oBACnB,SAAS,EAAE,KAAK;oBAChB,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;iBACjC,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtC,CAAC;oBAAS,CAAC;gBACT,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;;oBAC9D,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,QAAQ,CAAC;gBAChD,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;;oBAC1D,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,MAAM,CACV,qBAAqB,CAAC;gBACpB,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,GAAG;gBACX,GAAG,EAAE,GAAG;gBACR,eAAe,EAAE,CAAC;gBAClB,UAAU,EAAE,GAAG;aAChB,CAAC,CACH,CAAC,OAAO,CAAC,aAAa,CAAC;gBACtB,IAAI,EAAE,oCAAoC;gBAC1C,OAAO,EAAE,0FAA0F;aACpG,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -4,7 +4,7 @@ export declare function maybeEmitOssClaimTicketUrlToStderr(input: {
4
4
  workload_class: "bundled_examples" | "non_bundled";
5
5
  subcommand: "batch_verify" | "quick_verify" | "verify_integrator_owned";
6
6
  build_profile: "oss" | "commercial";
7
- /** When set, reused for claim-ticket + claim-continuation HTTP `x-request-id`. */
7
+ /** When set, reused for claim-ticket HTTP `x-request-id`. */
8
8
  xRequestId?: string;
9
9
  }): Promise<void>;
10
10
  //# sourceMappingURL=maybeEmitOssClaimTicketUrl.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"maybeEmitOssClaimTicketUrl.d.ts","sourceRoot":"","sources":["../../src/telemetry/maybeEmitOssClaimTicketUrl.ts"],"names":[],"mappings":"AAOA,wBAAsB,kCAAkC,CAAC,KAAK,EAAE;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IAC5D,cAAc,EAAE,kBAAkB,GAAG,aAAa,CAAC;IACnD,UAAU,EAAE,cAAc,GAAG,cAAc,GAAG,yBAAyB,CAAC;IACxE,aAAa,EAAE,KAAK,GAAG,YAAY,CAAC;IACpC,kFAAkF;IAClF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,OAAO,CAAC,IAAI,CAAC,CAsDhB"}
1
+ {"version":3,"file":"maybeEmitOssClaimTicketUrl.d.ts","sourceRoot":"","sources":["../../src/telemetry/maybeEmitOssClaimTicketUrl.ts"],"names":[],"mappings":"AAKA,wBAAsB,kCAAkC,CAAC,KAAK,EAAE;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IAC5D,cAAc,EAAE,kBAAkB,GAAG,aAAa,CAAC;IACnD,UAAU,EAAE,cAAc,GAAG,cAAc,GAAG,yBAAyB,CAAC;IACxE,aAAa,EAAE,KAAK,GAAG,YAAY,CAAC;IACpC,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,OAAO,CAAC,IAAI,CAAC,CAgDhB"}