agentskeptic 0.2.0 → 1.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 (103) hide show
  1. package/README.md +69 -0
  2. package/dist/actionableFailure.remediationExhaustive.test.js +4 -4
  3. package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -1
  4. package/dist/agentRunBundle.js +1 -2
  5. package/dist/agentRunBundle.js.map +1 -1
  6. package/dist/agentRunRecord.d.ts +5 -0
  7. package/dist/agentRunRecord.d.ts.map +1 -1
  8. package/dist/agentRunRecord.js +5 -0
  9. package/dist/agentRunRecord.js.map +1 -1
  10. package/dist/ciLockWorkflow.js +1 -1
  11. package/dist/cli/lockOrchestration.d.ts.map +1 -1
  12. package/dist/cli/lockOrchestration.js +40 -45
  13. package/dist/cli/lockOrchestration.js.map +1 -1
  14. package/dist/cli/lockOrchestration.test.js +6 -1
  15. package/dist/cli/lockOrchestration.test.js.map +1 -1
  16. package/dist/cli/runFunnelAnonSet.d.ts +18 -0
  17. package/dist/cli/runFunnelAnonSet.d.ts.map +1 -0
  18. package/dist/cli/runFunnelAnonSet.js +113 -0
  19. package/dist/cli/runFunnelAnonSet.js.map +1 -0
  20. package/dist/cli.js +31 -23
  21. package/dist/cli.js.map +1 -1
  22. package/dist/cliArgv.d.ts +2 -1
  23. package/dist/cliArgv.d.ts.map +1 -1
  24. package/dist/cliArgv.js +3 -2
  25. package/dist/cliArgv.js.map +1 -1
  26. package/dist/crossing/crossingDecisionReadyFooter.d.ts +1 -1
  27. package/dist/crossing/crossingDecisionReadyFooter.d.ts.map +1 -1
  28. package/dist/crossing/crossingDecisionReadyFooter.js +1 -1
  29. package/dist/crossing/crossingDecisionReadyFooter.js.map +1 -1
  30. package/dist/crossing/runCrossingSubcommand.js +8 -8
  31. package/dist/debugCorpus.d.ts +2 -5
  32. package/dist/debugCorpus.d.ts.map +1 -1
  33. package/dist/debugCorpus.js +2 -5
  34. package/dist/debugCorpus.js.map +1 -1
  35. package/dist/index.d.ts +7 -4
  36. package/dist/index.d.ts.map +1 -1
  37. package/dist/index.js +5 -3
  38. package/dist/index.js.map +1 -1
  39. package/dist/outcomeCertificate.d.ts +48 -0
  40. package/dist/outcomeCertificate.d.ts.map +1 -0
  41. package/dist/outcomeCertificate.js +135 -0
  42. package/dist/outcomeCertificate.js.map +1 -0
  43. package/dist/outcomeCertificate.test.d.ts +2 -0
  44. package/dist/outcomeCertificate.test.d.ts.map +1 -0
  45. package/dist/outcomeCertificate.test.js +72 -0
  46. package/dist/outcomeCertificate.test.js.map +1 -0
  47. package/dist/planTransition.test.js +4 -4
  48. package/dist/publicDistribution.generated.d.ts +1 -1
  49. package/dist/publicDistribution.generated.js +1 -1
  50. package/dist/schemaLoad.d.ts +1 -1
  51. package/dist/schemaLoad.d.ts.map +1 -1
  52. package/dist/schemaLoad.js +5 -0
  53. package/dist/schemaLoad.js.map +1 -1
  54. package/dist/shareReport/postPublicVerificationReport.d.ts +6 -0
  55. package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -1
  56. package/dist/shareReport/postPublicVerificationReport.js +3 -1
  57. package/dist/shareReport/postPublicVerificationReport.js.map +1 -1
  58. package/dist/standardVerifyWorkflowCli.d.ts +14 -4
  59. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  60. package/dist/standardVerifyWorkflowCli.js +35 -22
  61. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  62. package/dist/telemetry/cliInstallId.d.ts +12 -0
  63. package/dist/telemetry/cliInstallId.d.ts.map +1 -1
  64. package/dist/telemetry/cliInstallId.js +46 -8
  65. package/dist/telemetry/cliInstallId.js.map +1 -1
  66. package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts.map +1 -1
  67. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js +24 -6
  68. package/dist/telemetry/maybeEmitOssClaimTicketUrl.js.map +1 -1
  69. package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts +9 -0
  70. package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts.map +1 -0
  71. package/dist/telemetry/openHandoffUrlInOsBrowser.js +24 -0
  72. package/dist/telemetry/openHandoffUrlInOsBrowser.js.map +1 -0
  73. package/dist/telemetry/postOssClaimContinuation.d.ts +5 -0
  74. package/dist/telemetry/postOssClaimContinuation.d.ts.map +1 -0
  75. package/dist/telemetry/postOssClaimContinuation.js +30 -0
  76. package/dist/telemetry/postOssClaimContinuation.js.map +1 -0
  77. package/dist/telemetry/postOssClaimTicket.d.ts +12 -2
  78. package/dist/telemetry/postOssClaimTicket.d.ts.map +1 -1
  79. package/dist/telemetry/postOssClaimTicket.js +36 -7
  80. package/dist/telemetry/postOssClaimTicket.js.map +1 -1
  81. package/dist/telemetry/postProductActivationEvent.d.ts.map +1 -1
  82. package/dist/telemetry/postProductActivationEvent.js +5 -2
  83. package/dist/telemetry/postProductActivationEvent.js.map +1 -1
  84. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  85. package/dist/verify/batchVerifyTelemetrySubcommand.js +20 -17
  86. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  87. package/dist/verifyAgentskeptic.d.ts +12 -0
  88. package/dist/verifyAgentskeptic.d.ts.map +1 -0
  89. package/dist/verifyAgentskeptic.js +46 -0
  90. package/dist/verifyAgentskeptic.js.map +1 -0
  91. package/dist/verifyAgentskeptic.test.d.ts +2 -0
  92. package/dist/verifyAgentskeptic.test.d.ts.map +1 -0
  93. package/dist/verifyAgentskeptic.test.js +86 -0
  94. package/dist/verifyAgentskeptic.test.js.map +1 -0
  95. package/dist/verifyRunBundleSignature.d.ts.map +1 -1
  96. package/dist/verifyRunBundleSignature.js +1 -2
  97. package/dist/verifyRunBundleSignature.js.map +1 -1
  98. package/package.json +6 -7
  99. package/schemas/openapi-commercial-v1.in.yaml +3 -3
  100. package/schemas/openapi-commercial-v1.yaml +3 -3
  101. package/schemas/outcome-certificate-v1.schema.json +66 -0
  102. package/schemas/public-verification-report-v2.schema.json +15 -0
  103. package/scripts/discovery-payload.lib.cjs +27 -1
@@ -1 +1 @@
1
- {"version":3,"file":"debugCorpus.d.ts","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,OAAO,EAAa,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAIrE,eAAO,MAAM,wBAAwB,yBAAyB,CAAC;AAC/D,eAAO,MAAM,eAAe,kBAAkB,CAAC;AAC/C,eAAO,MAAM,4BAA4B,6BAA6B,CAAC;AACvE,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AAEnD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;CAcrB,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,IAAI,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,cAAc,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,CAAC;IACjB,cAAc,EAAE,cAAc,CAAC;IAC/B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,KAAK,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,eAAe,CAAC;IACvB,UAAU,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAsCxE,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAI7E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAI7D;AAqCD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,aAAa,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAobrF;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAIxE;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}
1
+ {"version":3,"file":"debugCorpus.d.ts","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,OAAO,EAEL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,KAAK,cAAc,EACpB,MAAM,qBAAqB,CAAC;AAI7B,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;CAcrB,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,IAAI,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,cAAc,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,CAAC;IACjB,cAAc,EAAE,cAAc,CAAC;IAC/B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,KAAK,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,eAAe,CAAC;IACvB,UAAU,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAsCxE,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAI7E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAI7D;AAqCD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,aAAa,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAobrF;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAIxE;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}
@@ -8,12 +8,9 @@ import { TruthLayerError } from "./truthLayerError.js";
8
8
  import { WORKFLOW_RESULT_RUN_LEVEL_CODES_MISMATCH_MESSAGE } from "./runLevelDriftMessages.js";
9
9
  import { isV9RunLevelCodesInconsistent } from "./workflowRunLevelConsistency.js";
10
10
  import { normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
11
- import { sha256Hex } from "./agentRunRecord.js";
11
+ import { sha256Hex, AGENT_RUN_FILENAME, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
12
12
  const __dirname = path.dirname(fileURLToPath(import.meta.url));
13
- export const WORKFLOW_RESULT_FILENAME = "workflow-result.json";
14
- export const EVENTS_FILENAME = "events.ndjson";
15
- export const WORKFLOW_RESULT_SIG_FILENAME = "workflow-result.sig.json";
16
- export const AGENT_RUN_FILENAME = "agent-run.json";
13
+ export { AGENT_RUN_FILENAME, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, };
17
14
  export const DEBUG_CORPUS_CODES = {
18
15
  PATH_ESCAPE: "PATH_ESCAPE",
19
16
  MISSING_AGENT_RUN_MANIFEST: "MISSING_AGENT_RUN_MANIFEST",
@@ -1 +1 @@
1
- {"version":3,"file":"debugCorpus.js","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gDAAgD,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,SAAS,EAAuB,MAAM,qBAAqB,CAAC;AAErE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAC/D,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAC;AACvE,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAEnD,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,aAAa;IAC1B,0BAA0B,EAAE,4BAA4B;IACxD,qBAAqB,EAAE,uBAAuB;IAC9C,iBAAiB,EAAE,mBAAmB;IACtC,wBAAwB,EAAE,0BAA0B;IACpD,2BAA2B,EAAE,6BAA6B;IAC1D,8BAA8B,EAAE,gCAAgC;IAChE,uBAAuB,EAAE,yBAAyB;IAClD,iCAAiC,EAAE,mCAAmC;IACtE,cAAc,EAAE,gBAAgB;IAChC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,kBAAkB,EAAE,oBAAoB;CAChC,CAAC;AAqCX,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC3E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAC5E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAE5E,SAAS,wBAAwB,CAC/B,MAAe;IAIf,MAAM,EAAE,GAAI,MAAsC,CAAC,aAAa,CAAC;IACjE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,6CAA6C,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB;IAC/B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,QAAgB;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB,EAAE,kBAA0B;IAC/E,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,kBAAkB,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,cAAsB,EAAE,KAAa;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,mDAAmD,KAAK,EAAE;gBACnE,IAAI,EAAE,MAAM;aACb;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAE1D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,0BAA0B;gBACnD,OAAO,EAAE,WAAW,kBAAkB,oBAAoB;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,eAAe,kBAAkB,KAAK,GAAG,EAAE;gBACpD,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC;IACtD,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,GAAG,EAAE;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,iBAAiB;gBAC1C,OAAO,EAAE,GAAG,kBAAkB,6CAA6C;gBAC3E,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,cAAc,CAAC,MAAM;aAC/B;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAElE,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,WAAW,wBAAwB,oBAAoB;gBAChE,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,UAAU,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE;YACtE,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,wBAAwB,+BAA+B,kBAAkB,GAAG;gBACxF,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,wBAAwB,2BAA2B,kBAAkB,GAAG;gBACpF,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,WAAW,eAAe,oBAAoB;gBACvD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,eAAe,+BAA+B,kBAAkB,GAAG;gBAC/E,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,eAAe,2BAA2B,kBAAkB,GAAG;gBAC3E,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,uBAAuB,CAAC;QACzD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,WAAW,4BAA4B,oBAAoB;oBACpE,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE;oBACV,QAAQ,EAAE,YAAY;oBACtB,cAAc,EAAE,cAAc;oBAC9B,MAAM,EAAE,cAAc;iBACvB;gBACD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,GAAG;oBACZ,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;oBACjD,OAAO,EAAE,GAAG,4BAA4B,+BAA+B,kBAAkB,GAAG;oBAC5F,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;iBACjE;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;oBACpD,OAAO,EAAE,GAAG,4BAA4B,2BAA2B,kBAAkB,GAAG;oBACxF,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;IAC3D,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,oBAAoB;gBAC7C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,qBAAqB,CAAC,wCAAwC;gBACpE,OAAO,EAAE,gDAAgD;gBACzD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAI,QAAwC,CAAC,aAAa,CAAC;IAChF,MAAM,OAAO,GACX,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,OAAO,GACX,eAAe,KAAK,CAAC;YACnB,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,IAAI,EAAE,CAAC;YACzC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,gEAAgE;gBACzE,IAAI,EAAE,cAAc;gBACpB,OAAO;aACR;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,cAAc,GAAG,gCAAgC,CAC/C,QAAsE,CACvE,CAAC;IACJ,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,8BAA8B;gBACvD,OAAO,EAAE,GAAG,kBAAkB,kDAAkD;gBAChF,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE;aAC5E;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;oBAC3C,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,IAAI,EAAE;iBACpC;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;gBAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;gBAC3C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;YAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,KAAK;QACL,cAAc;QACd,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM;QACtB,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;QACpE,KAAK,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE;QACrF,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1C,CAAC"}
1
+ {"version":3,"file":"debugCorpus.js","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gDAAgD,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EACL,SAAS,EACT,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAE7B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,aAAa;IAC1B,0BAA0B,EAAE,4BAA4B;IACxD,qBAAqB,EAAE,uBAAuB;IAC9C,iBAAiB,EAAE,mBAAmB;IACtC,wBAAwB,EAAE,0BAA0B;IACpD,2BAA2B,EAAE,6BAA6B;IAC1D,8BAA8B,EAAE,gCAAgC;IAChE,uBAAuB,EAAE,yBAAyB;IAClD,iCAAiC,EAAE,mCAAmC;IACtE,cAAc,EAAE,gBAAgB;IAChC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,kBAAkB,EAAE,oBAAoB;CAChC,CAAC;AAqCX,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC3E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAC5E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAE5E,SAAS,wBAAwB,CAC/B,MAAe;IAIf,MAAM,EAAE,GAAI,MAAsC,CAAC,aAAa,CAAC;IACjE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,6CAA6C,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB;IAC/B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,QAAgB;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB,EAAE,kBAA0B;IAC/E,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,kBAAkB,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,cAAsB,EAAE,KAAa;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,mDAAmD,KAAK,EAAE;gBACnE,IAAI,EAAE,MAAM;aACb;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAE1D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,0BAA0B;gBACnD,OAAO,EAAE,WAAW,kBAAkB,oBAAoB;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,eAAe,kBAAkB,KAAK,GAAG,EAAE;gBACpD,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC;IACtD,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,GAAG,EAAE;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,iBAAiB;gBAC1C,OAAO,EAAE,GAAG,kBAAkB,6CAA6C;gBAC3E,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,cAAc,CAAC,MAAM;aAC/B;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAElE,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,WAAW,wBAAwB,oBAAoB;gBAChE,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,UAAU,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE;YACtE,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,wBAAwB,+BAA+B,kBAAkB,GAAG;gBACxF,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,wBAAwB,2BAA2B,kBAAkB,GAAG;gBACpF,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,WAAW,eAAe,oBAAoB;gBACvD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,eAAe,+BAA+B,kBAAkB,GAAG;gBAC/E,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,eAAe,2BAA2B,kBAAkB,GAAG;gBAC3E,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,uBAAuB,CAAC;QACzD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,WAAW,4BAA4B,oBAAoB;oBACpE,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE;oBACV,QAAQ,EAAE,YAAY;oBACtB,cAAc,EAAE,cAAc;oBAC9B,MAAM,EAAE,cAAc;iBACvB;gBACD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,GAAG;oBACZ,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;oBACjD,OAAO,EAAE,GAAG,4BAA4B,+BAA+B,kBAAkB,GAAG;oBAC5F,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;iBACjE;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;oBACpD,OAAO,EAAE,GAAG,4BAA4B,2BAA2B,kBAAkB,GAAG;oBACxF,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;IAC3D,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,oBAAoB;gBAC7C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,qBAAqB,CAAC,wCAAwC;gBACpE,OAAO,EAAE,gDAAgD;gBACzD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAI,QAAwC,CAAC,aAAa,CAAC;IAChF,MAAM,OAAO,GACX,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,OAAO,GACX,eAAe,KAAK,CAAC;YACnB,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,IAAI,EAAE,CAAC;YACzC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,gEAAgE;gBACzE,IAAI,EAAE,cAAc;gBACpB,OAAO;aACR;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,cAAc,GAAG,gCAAgC,CAC/C,QAAsE,CACvE,CAAC;IACJ,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,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,8BAA8B;gBACvD,OAAO,EAAE,GAAG,kBAAkB,kDAAkD;gBAChF,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE;aAC5E;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;oBAC3C,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,IAAI,EAAE;iBACpC;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;gBAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;gBAC3C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;YAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,KAAK;QACL,cAAc;QACd,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM;QACtB,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;QACpE,KAAK,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE;QACrF,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1C,CAAC"}
package/dist/index.d.ts CHANGED
@@ -1,7 +1,10 @@
1
1
  export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
2
2
  export type { CiLockV1, CiLockBatchV1, CiLockQuickV1 } from "./ciLock.js";
3
- export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
3
+ export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
4
+ export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, } from "./outcomeCertificate.js";
5
+ export type { OutcomeCertificateV1, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, BuildQuickOutcomeCertificateOptions, } from "./outcomeCertificate.js";
4
6
  export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
7
+ export { verifyAgentskeptic } from "./verifyAgentskeptic.js";
5
8
  export { loadSchemaValidator } from "./schemaLoad.js";
6
9
  export type { SchemaValidatorName } from "./schemaLoad.js";
7
10
  export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
@@ -36,15 +39,15 @@ export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerifi
36
39
  export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
37
40
  export { applyPostgresVerificationSessionGuards, buildSelectByIdentitySqlPostgres, connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
38
41
  export { RECOMMENDED_ACTION_CODES } from "./types.js";
39
- export type { ActionableFailure, ActionableFailureCategory, ActionableFailureSeverity, RecommendedActionCode, ControlRunEvent, ExecutionTraceBackwardPath, ExecutionTraceNode, ExecutionTraceVerificationLink, ExecutionTraceView, FailureDiagnostic, EventFileAggregateCounts, LoadEventsResult, ModelTurnRunEvent, Reason, RetrievalRunEvent, RunEvent, ToolObservedEvent, ToolObservedEventV1, ToolObservedEventV2, ToolSkippedRunEvent, TraceStepKind, ToolRegistryEntry, VerificationRequest, VerificationDatabase, VerificationPolicy, WorkflowEngineResult, WorkflowResult, WorkflowTruthReport, WorkflowTruthStep, StepOutcome, EventSequenceIntegrity, IntendedEffect, ObservedExecution, } from "./types.js";
42
+ export type { ActionableFailure, ActionableFailureCategory, ActionableFailureSeverity, RecommendedActionCode, ControlRunEvent, ExecutionTraceBackwardPath, ExecutionTraceNode, ExecutionTraceVerificationLink, ExecutionTraceView, FailureDiagnostic, EventFileAggregateCounts, LoadEventsResult, ModelTurnRunEvent, Reason, RetrievalRunEvent, RunEvent, ToolObservedEvent, ToolObservedEventV1, ToolObservedEventV2, ToolSkippedRunEvent, TraceStepKind, ToolRegistryEntry, VerificationRequest, VerificationDatabase, VerificationPolicy, EventSequenceIntegrity, IntendedEffect, ObservedExecution, } from "./types.js";
40
43
  export type { BucketAEntry, CompareHighlights, PairwiseBucketB, RecurrencePattern, ReliabilityAssessment, ReliabilityTrend, RunComparisonReport, } from "./runComparison.js";
41
44
  export type { SqlReadBackend } from "./sqlReadBackend.js";
42
- export { buildAgentRunRecordForBundle, sha256Hex, EVENTS_RELATIVE, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, } from "./agentRunRecord.js";
45
+ export { AGENT_RUN_FILENAME, buildAgentRunRecordForBundle, sha256Hex, EVENTS_FILENAME, EVENTS_RELATIVE, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
43
46
  export type { AgentRunRecord, AgentRunRecordV1, AgentRunRecordV2 } from "./agentRunRecord.js";
44
47
  export { BUNDLE_SIGNATURE_ARTIFACT_INTEGRITY, BUNDLE_SIGNATURE_CRYPTO_INVALID, BUNDLE_SIGNATURE_MANIFEST_INVALID, BUNDLE_SIGNATURE_MANIFEST_UNSUPPORTED_VERSION, BUNDLE_SIGNATURE_MISSING_ARTIFACT, BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, BUNDLE_SIGNATURE_PUBLIC_KEY_MISMATCH, BUNDLE_SIGNATURE_SIDECAR_INVALID, BUNDLE_SIGNATURE_SIGNED_HASH_MISMATCH, BUNDLE_SIGNATURE_UNSIGNED_MANIFEST, } from "./bundleSignatureCodes.js";
45
48
  export type { BundleSignatureCode } from "./bundleSignatureCodes.js";
46
49
  export { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
47
50
  export type { RunBundleSignatureResult } from "./verifyRunBundleSignature.js";
48
- export { AGENT_RUN_FILENAME, DEBUG_CORPUS_CODES, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
51
+ export { DEBUG_CORPUS_CODES, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
49
52
  export type { CorpusLoadError, CorpusMeta, CorpusRunLoadedError, CorpusRunLoadedOk, CorpusRunOutcome, } from "./debugCorpus.js";
50
53
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,GACpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
package/dist/index.js CHANGED
@@ -1,6 +1,8 @@
1
1
  export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
2
- export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
2
+ export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
3
+ export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, } from "./outcomeCertificate.js";
3
4
  export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
5
+ export { verifyAgentskeptic } from "./verifyAgentskeptic.js";
4
6
  export { loadSchemaValidator } from "./schemaLoad.js";
5
7
  export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
6
8
  export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
@@ -27,8 +29,8 @@ export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerifi
27
29
  export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
28
30
  export { applyPostgresVerificationSessionGuards, buildSelectByIdentitySqlPostgres, connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
29
31
  export { RECOMMENDED_ACTION_CODES } from "./types.js";
30
- export { buildAgentRunRecordForBundle, sha256Hex, EVENTS_RELATIVE, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, } from "./agentRunRecord.js";
32
+ export { AGENT_RUN_FILENAME, buildAgentRunRecordForBundle, sha256Hex, EVENTS_FILENAME, EVENTS_RELATIVE, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
31
33
  export { BUNDLE_SIGNATURE_ARTIFACT_INTEGRITY, BUNDLE_SIGNATURE_CRYPTO_INVALID, BUNDLE_SIGNATURE_MANIFEST_INVALID, BUNDLE_SIGNATURE_MANIFEST_UNSUPPORTED_VERSION, BUNDLE_SIGNATURE_MISSING_ARTIFACT, BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, BUNDLE_SIGNATURE_PUBLIC_KEY_MISMATCH, BUNDLE_SIGNATURE_SIDECAR_INVALID, BUNDLE_SIGNATURE_SIGNED_HASH_MISMATCH, BUNDLE_SIGNATURE_UNSIGNED_MANIFEST, } from "./bundleSignatureCodes.js";
32
34
  export { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
33
- export { AGENT_RUN_FILENAME, DEBUG_CORPUS_CODES, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
35
+ export { DEBUG_CORPUS_CODES, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
34
36
  //# sourceMappingURL=index.js.map
package/dist/index.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA8CtD,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AAUjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAyCtD,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
@@ -0,0 +1,48 @@
1
+ import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
2
+ import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
3
+ import type { WorkflowResult } from "./types.js";
4
+ export type OutcomeCertificateRunKind = "contract_sql" | "quick_preview";
5
+ export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
6
+ export type OutcomeCertificateHighStakesReliance = "permitted" | "prohibited";
7
+ export type OutcomeCertificateExplanationDetail = {
8
+ code: string;
9
+ message: string;
10
+ };
11
+ export type OutcomeCertificateStep = {
12
+ seq: number;
13
+ toolId?: string;
14
+ declaredAction: string;
15
+ expectedOutcome: string;
16
+ observedOutcome: string;
17
+ };
18
+ /** Public verification artifact (v1). Normative: docs/outcome-certificate-normative.md */
19
+ export type OutcomeCertificateV1 = {
20
+ schemaVersion: 1;
21
+ workflowId: string;
22
+ runKind: OutcomeCertificateRunKind;
23
+ stateRelation: OutcomeCertificateStateRelation;
24
+ highStakesReliance: OutcomeCertificateHighStakesReliance;
25
+ relianceRationale: string;
26
+ intentSummary: string;
27
+ explanation: {
28
+ headline: string;
29
+ details: OutcomeCertificateExplanationDetail[];
30
+ };
31
+ steps: OutcomeCertificateStep[];
32
+ humanReport: string;
33
+ };
34
+ export declare function deriveHighStakesReliance(runKind: OutcomeCertificateRunKind, stateRelation: OutcomeCertificateStateRelation): OutcomeCertificateHighStakesReliance;
35
+ export declare function workflowResultToStateRelation(result: WorkflowResult): OutcomeCertificateStateRelation;
36
+ /**
37
+ * Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
38
+ */
39
+ export declare function buildOutcomeCertificateFromWorkflowResult(result: WorkflowResult, runKind: "contract_sql"): OutcomeCertificateV1;
40
+ export type BuildQuickOutcomeCertificateOptions = {
41
+ report: QuickVerifyReport;
42
+ workflowId: string;
43
+ humanReportOptions: Parameters<typeof formatQuickVerifyHumanReport>[1];
44
+ };
45
+ export declare function buildOutcomeCertificateFromQuickReport(options: BuildQuickOutcomeCertificateOptions): OutcomeCertificateV1;
46
+ export declare function formatOutcomeCertificateHuman(certificate: OutcomeCertificateV1): string;
47
+ export declare function assertOutcomeCertificateInvariants(certificate: OutcomeCertificateV1): void;
48
+ //# sourceMappingURL=outcomeCertificate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"outcomeCertificate.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,KAAK,EAAE,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGpE,MAAM,MAAM,yBAAyB,GAAG,cAAc,GAAG,eAAe,CAAC;AAEzE,MAAM,MAAM,+BAA+B,GACvC,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,oCAAoC,GAAG,WAAW,GAAG,YAAY,CAAC;AAE9E,MAAM,MAAM,mCAAmC,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0FAA0F;AAC1F,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,yBAAyB,CAAC;IACnC,aAAa,EAAE,+BAA+B,CAAC;IAC/C,kBAAkB,EAAE,oCAAoC,CAAC;IACzD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,mCAAmC,EAAE,CAAC;KAChD,CAAC;IACF,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,EAClC,aAAa,EAAE,+BAA+B,GAC7C,oCAAoC,CAItC;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,cAAc,GAAG,+BAA+B,CAIrG;AA+CD;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAoBtB;AAQD,MAAM,MAAM,mCAAmC,GAAG;IAChD,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,mCAAmC,GAAG,oBAAoB,CAqCzH;AAED,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEvF;AAED,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAU1F"}
@@ -0,0 +1,135 @@
1
+ import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
2
+ import { formatWorkflowTruthReportStruct } from "./workflowTruthReport.js";
3
+ export function deriveHighStakesReliance(runKind, stateRelation) {
4
+ if (runKind === "quick_preview")
5
+ return "prohibited";
6
+ if (stateRelation === "matches_expectations")
7
+ return "permitted";
8
+ return "prohibited";
9
+ }
10
+ export function workflowResultToStateRelation(result) {
11
+ if (result.status === "complete")
12
+ return "matches_expectations";
13
+ if (result.status === "inconsistent")
14
+ return "does_not_match";
15
+ return "not_established";
16
+ }
17
+ function truthStepToCertificateStep(step) {
18
+ return {
19
+ seq: step.seq,
20
+ toolId: step.toolId,
21
+ declaredAction: step.intendedEffect.narrative,
22
+ expectedOutcome: step.verifyTarget ?? step.intendedEffect.narrative,
23
+ observedOutcome: step.observedStateSummary,
24
+ };
25
+ }
26
+ function buildRelianceRationale(runKind, stateRelation, highStakesReliance) {
27
+ if (runKind === "quick_preview") {
28
+ return "Quick preview uses inferred, provisional checks. It is never sufficient as the sole basis for high-stakes ship, bill, compliance, or audit-final decisions—even when state appears to match.";
29
+ }
30
+ if (highStakesReliance === "permitted") {
31
+ return "Contract verification used your registry and read-only SQL; every captured step matched declared expectations under the configured rules. You may treat this artifact as decision-grade for those steps, subject to your own scope and retention policy.";
32
+ }
33
+ if (stateRelation === "does_not_match") {
34
+ return "At least one step failed verification against the database (missing row, wrong values, or partial multi-effect failure). Do not treat this run as meeting its intended persisted outcome.";
35
+ }
36
+ return "Verification could not be completed or could not establish a determinate match (incomplete registry, empty capture, indeterminate window, or connector issue). Do not treat absence of a mismatch as proof of success.";
37
+ }
38
+ function buildExplanationFromWorkflowResult(result) {
39
+ const truth = result.workflowTruthReport;
40
+ const details = [];
41
+ for (const step of truth.steps) {
42
+ for (const r of step.reasons) {
43
+ details.push({ code: r.code, message: r.message });
44
+ }
45
+ }
46
+ for (const r of result.runLevelReasons) {
47
+ details.push({ code: r.code, message: r.message });
48
+ }
49
+ const fe = truth.failureExplanation;
50
+ const headline = truth.failureAnalysis?.summary ??
51
+ (fe !== null ? `${fe.divergence} — expected: ${fe.expected}; observed: ${fe.observed}` : truth.trustSummary);
52
+ return { headline, details };
53
+ }
54
+ /**
55
+ * Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
56
+ */
57
+ export function buildOutcomeCertificateFromWorkflowResult(result, runKind) {
58
+ const stateRelation = workflowResultToStateRelation(result);
59
+ const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
60
+ const truth = result.workflowTruthReport;
61
+ const steps = truth.steps.map(truthStepToCertificateStep);
62
+ const humanReport = formatWorkflowTruthReportStruct(truth);
63
+ const cert = {
64
+ schemaVersion: 1,
65
+ workflowId: result.workflowId,
66
+ runKind,
67
+ stateRelation,
68
+ highStakesReliance,
69
+ relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
70
+ intentSummary: truth.trustSummary,
71
+ explanation: buildExplanationFromWorkflowResult(result),
72
+ steps,
73
+ humanReport,
74
+ };
75
+ assertOutcomeCertificateInvariants(cert);
76
+ return cert;
77
+ }
78
+ function quickVerdictToStateRelation(verdict) {
79
+ if (verdict === "pass")
80
+ return "matches_expectations";
81
+ if (verdict === "fail")
82
+ return "does_not_match";
83
+ return "not_established";
84
+ }
85
+ export function buildOutcomeCertificateFromQuickReport(options) {
86
+ const { report, workflowId, humanReportOptions } = options;
87
+ const runKind = "quick_preview";
88
+ const stateRelation = quickVerdictToStateRelation(report.verdict);
89
+ const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
90
+ const humanReport = formatQuickVerifyHumanReport(report, humanReportOptions);
91
+ const details = [];
92
+ for (const u of report.units) {
93
+ if (u.verdict !== "verified") {
94
+ details.push({
95
+ code: `quick_unit_${u.verdict}`,
96
+ message: u.reconciliation?.verification_verdict ?? u.verdict,
97
+ });
98
+ }
99
+ }
100
+ const cert = {
101
+ schemaVersion: 1,
102
+ workflowId,
103
+ runKind,
104
+ stateRelation,
105
+ highStakesReliance,
106
+ relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
107
+ intentSummary: report.summary,
108
+ explanation: {
109
+ headline: report.summary,
110
+ details,
111
+ },
112
+ steps: report.units.map((u, i) => ({
113
+ seq: i,
114
+ declaredAction: `${u.sourceAction.toolName} (unit ${u.unitId})`,
115
+ expectedOutcome: u.reconciliation.expected,
116
+ observedOutcome: u.reconciliation.observed_database,
117
+ })),
118
+ humanReport,
119
+ };
120
+ assertOutcomeCertificateInvariants(cert);
121
+ return cert;
122
+ }
123
+ export function formatOutcomeCertificateHuman(certificate) {
124
+ return certificate.humanReport;
125
+ }
126
+ export function assertOutcomeCertificateInvariants(certificate) {
127
+ const expected = deriveHighStakesReliance(certificate.runKind, certificate.stateRelation);
128
+ if (certificate.highStakesReliance !== expected) {
129
+ throw new Error(`outcome_certificate: highStakesReliance ${certificate.highStakesReliance} !== derived ${expected} for runKind=${certificate.runKind} stateRelation=${certificate.stateRelation}`);
130
+ }
131
+ if (formatOutcomeCertificateHuman(certificate) !== certificate.humanReport) {
132
+ throw new Error("outcome_certificate: humanReport must equal formatOutcomeCertificateHuman(certificate)");
133
+ }
134
+ }
135
+ //# sourceMappingURL=outcomeCertificate.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"outcomeCertificate.js","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAE7F,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAyC3E,MAAM,UAAU,wBAAwB,CACtC,OAAkC,EAClC,aAA8C;IAE9C,IAAI,OAAO,KAAK,eAAe;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,aAAa,KAAK,sBAAsB;QAAE,OAAO,WAAW,CAAC;IACjE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAAsB;IAClE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,sBAAsB,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,gBAAgB,CAAC;IAC9D,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAuB;IACzD,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS;QAC7C,eAAe,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC,SAAS;QACnE,eAAe,EAAE,IAAI,CAAC,oBAAoB;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAkC,EAClC,aAA8C,EAC9C,kBAAwD;IAExD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAChC,OAAO,8LAA8L,CAAC;IACxM,CAAC;IACD,IAAI,kBAAkB,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,0PAA0P,CAAC;IACpQ,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,2LAA2L,CAAC;IACrM,CAAC;IACD,OAAO,wNAAwN,CAAC;AAClO,CAAC;AAED,SAAS,kCAAkC,CAAC,MAAsB;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC;IACpC,MAAM,QAAQ,GACZ,KAAK,CAAC,eAAe,EAAE,OAAO;QAC9B,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,UAAU,gBAAgB,EAAE,CAAC,QAAQ,eAAe,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yCAAyC,CACvD,MAAsB,EACtB,OAAuB;IAEvB,MAAM,aAAa,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,WAAW,EAAE,kCAAkC,CAAC,MAAM,CAAC;QACvD,KAAK;QACL,WAAW;KACZ,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAqC;IACxE,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,sBAAsB,CAAC;IACtD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,gBAAgB,CAAC;IAChD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAQD,MAAM,UAAU,sCAAsC,CAAC,OAA4C;IACjG,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC;IAC3D,MAAM,OAAO,GAAG,eAAwB,CAAC;IACzC,MAAM,aAAa,GAAG,2BAA2B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,4BAA4B,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7E,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,cAAc,CAAC,CAAC,OAAO,EAAE;gBAC/B,OAAO,EAAE,CAAC,CAAC,cAAc,EAAE,oBAAoB,IAAI,CAAC,CAAC,OAAO;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,MAAM,CAAC,OAAO;QAC7B,WAAW,EAAE;YACX,QAAQ,EAAE,MAAM,CAAC,OAAO;YACxB,OAAO;SACR;QACD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,QAAQ,UAAU,CAAC,CAAC,MAAM,GAAG;YAC/D,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ;YAC1C,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,iBAAiB;SACpD,CAAC,CAAC;QACH,WAAW;KACZ,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,WAAiC;IAC7E,OAAO,WAAW,CAAC,WAAW,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,WAAiC;IAClF,MAAM,QAAQ,GAAG,wBAAwB,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;IAC1F,IAAI,WAAW,CAAC,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,2CAA2C,WAAW,CAAC,kBAAkB,gBAAgB,QAAQ,gBAAgB,WAAW,CAAC,OAAO,kBAAkB,WAAW,CAAC,aAAa,EAAE,CAClL,CAAC;IACJ,CAAC;IACD,IAAI,6BAA6B,CAAC,WAAW,CAAC,KAAK,WAAW,CAAC,WAAW,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;IAC5G,CAAC;AACH,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=outcomeCertificate.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"outcomeCertificate.test.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,72 @@
1
+ import { mkdtempSync, readFileSync, rmSync } from "node:fs";
2
+ import { tmpdir } from "node:os";
3
+ import { dirname, join } from "node:path";
4
+ import { fileURLToPath } from "node:url";
5
+ import { DatabaseSync } from "node:sqlite";
6
+ import { describe, expect, it } from "vitest";
7
+ import { loadSchemaValidator } from "./schemaLoad.js";
8
+ import { verifyWorkflow } from "./pipeline.js";
9
+ import { assertOutcomeCertificateInvariants, buildOutcomeCertificateFromWorkflowResult, deriveHighStakesReliance, formatOutcomeCertificateHuman, } from "./outcomeCertificate.js";
10
+ const __dirname = dirname(fileURLToPath(import.meta.url));
11
+ const root = join(__dirname, "..");
12
+ function seedTempSqliteDb() {
13
+ const dir = mkdtempSync(join(tmpdir(), "outcome-cert-"));
14
+ const dbPath = join(dir, "demo.db");
15
+ const seed = readFileSync(join(root, "examples", "seed.sql"), "utf8");
16
+ const db = new DatabaseSync(dbPath);
17
+ db.exec(seed);
18
+ db.close();
19
+ return {
20
+ dbPath,
21
+ cleanup: () => rmSync(dir, { recursive: true, force: true }),
22
+ };
23
+ }
24
+ describe("outcomeCertificate", () => {
25
+ it("deriveHighStakesReliance matches normative table", () => {
26
+ expect(deriveHighStakesReliance("quick_preview", "matches_expectations")).toBe("prohibited");
27
+ expect(deriveHighStakesReliance("contract_sql", "matches_expectations")).toBe("permitted");
28
+ expect(deriveHighStakesReliance("contract_sql", "does_not_match")).toBe("prohibited");
29
+ expect(deriveHighStakesReliance("contract_sql", "not_established")).toBe("prohibited");
30
+ });
31
+ it("wf_complete certificate passes schema and invariants", async () => {
32
+ const { dbPath, cleanup } = seedTempSqliteDb();
33
+ try {
34
+ const result = await verifyWorkflow({
35
+ workflowId: "wf_complete",
36
+ eventsPath: join(root, "examples", "events.ndjson"),
37
+ registryPath: join(root, "examples", "tools.json"),
38
+ database: { kind: "sqlite", path: dbPath },
39
+ logStep: () => { },
40
+ truthReport: () => { },
41
+ });
42
+ const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
43
+ const validate = loadSchemaValidator("outcome-certificate-v1");
44
+ expect(validate(certificate)).toBe(true);
45
+ assertOutcomeCertificateInvariants(certificate);
46
+ expect(formatOutcomeCertificateHuman(certificate)).toBe(certificate.humanReport);
47
+ }
48
+ finally {
49
+ cleanup();
50
+ }
51
+ });
52
+ it("wf_missing certificate is does_not_match", async () => {
53
+ const { dbPath, cleanup } = seedTempSqliteDb();
54
+ try {
55
+ const result = await verifyWorkflow({
56
+ workflowId: "wf_missing",
57
+ eventsPath: join(root, "examples", "events.ndjson"),
58
+ registryPath: join(root, "examples", "tools.json"),
59
+ database: { kind: "sqlite", path: dbPath },
60
+ logStep: () => { },
61
+ truthReport: () => { },
62
+ });
63
+ const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
64
+ expect(certificate.stateRelation).toBe("does_not_match");
65
+ expect(certificate.highStakesReliance).toBe("prohibited");
66
+ }
67
+ finally {
68
+ cleanup();
69
+ }
70
+ });
71
+ });
72
+ //# sourceMappingURL=outcomeCertificate.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"outcomeCertificate.test.js","sourceRoot":"","sources":["../src/outcomeCertificate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EACL,kCAAkC,EAClC,yCAAyC,EACzC,wBAAwB,EACxB,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,SAAS,gBAAgB;IACvB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,OAAO;QACL,MAAM;QACN,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,wBAAwB,CAAC,eAAe,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC7F,MAAM,CAAC,wBAAwB,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3F,MAAM,CAAC,wBAAwB,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACtF,MAAM,CAAC,wBAAwB,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,gBAAgB,EAAE,CAAC;QAC/C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;gBAClC,UAAU,EAAE,aAAa;gBACzB,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;gBACnD,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC;gBAClD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC1C,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YACtF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;YAC/D,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,kCAAkC,CAAC,WAAW,CAAC,CAAC;YAChD,MAAM,CAAC,6BAA6B,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACnF,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,gBAAgB,EAAE,CAAC;QAC/C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;gBAClC,UAAU,EAAE,YAAY;gBACxB,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC;gBACnD,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC;gBAClD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC1C,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YACtF,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5D,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -797,7 +797,7 @@ planValidation:
797
797
  `;
798
798
  const planPath = path.join(dir, "Plan.md");
799
799
  writeFileSync(planPath, plan, "utf8");
800
- const out = execFileSync(process.execPath, [cliJs, "plan-transition", "--repo", dir, "--before", b, "--after", a, "--plan", planPath, "--no-truth-report"], { encoding: "utf8", windowsHide: true });
800
+ const out = execFileSync(process.execPath, [cliJs, "plan-transition", "--repo", dir, "--before", b, "--after", a, "--plan", planPath, "--no-human-report"], { encoding: "utf8", windowsHide: true });
801
801
  const wf = JSON.parse(out.trim());
802
802
  expect(wf.workflowId).toBe(PLAN_TRANSITION_WORKFLOW_ID);
803
803
  expect(wf.status).toBe("complete");
@@ -839,7 +839,7 @@ planValidation:
839
839
  a,
840
840
  "--plan",
841
841
  planPath,
842
- "--no-truth-report",
842
+ "--no-human-report",
843
843
  "--write-run-bundle",
844
844
  bundleDir,
845
845
  ], { encoding: "utf8", windowsHide: true });
@@ -892,7 +892,7 @@ rules:
892
892
  a,
893
893
  "--plan",
894
894
  planPath,
895
- "--no-truth-report",
895
+ "--no-human-report",
896
896
  "--write-run-bundle",
897
897
  bundleDir,
898
898
  ], { encoding: "utf8", windowsHide: true });
@@ -940,7 +940,7 @@ Change \`src/t.ts\`.
940
940
  a,
941
941
  "--plan",
942
942
  planPath,
943
- "--no-truth-report",
943
+ "--no-human-report",
944
944
  "--write-run-bundle",
945
945
  bundleDir,
946
946
  ], { encoding: "utf8", windowsHide: true });
@@ -1,5 +1,5 @@
1
1
  export declare const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution-ssot.md";
2
2
  export declare const PUBLIC_CANONICAL_SITE_ORIGIN = "https://agentskeptic.com";
3
- export declare const AGENTSKEPTIC_CLI_SEMVER = "0.2.0";
3
+ export declare const AGENTSKEPTIC_CLI_SEMVER = "1.0.0";
4
4
  export declare function formatDistributionFooter(): string;
5
5
  //# sourceMappingURL=publicDistribution.generated.d.ts.map
@@ -1,7 +1,7 @@
1
1
  // Generated by npm run sync:public-product-anchors — do not hand edit.
2
2
  export const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution-ssot.md";
3
3
  export const PUBLIC_CANONICAL_SITE_ORIGIN = "https://agentskeptic.com";
4
- export const AGENTSKEPTIC_CLI_SEMVER = "0.2.0";
4
+ export const AGENTSKEPTIC_CLI_SEMVER = "1.0.0";
5
5
  export function formatDistributionFooter() {
6
6
  return "More context (green trace vs database): https://agentskeptic.com/database-truth-vs-traces\n"
7
7
  + "First-run on your database: https://agentskeptic.com/integrate\n"
@@ -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" | "public-verification-report-v1" | "bootstrap-pack-input-v1" | "openai-function-tool-call-item-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" | "public-verification-report-v1" | "public-verification-report-v2" | "outcome-certificate-v1" | "bootstrap-pack-input-v1" | "openai-function-tool-call-item-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,+BAA+B,GAC/B,yBAAyB,GACzB,mCAAmC,CAAC;AA0CxC,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,gBAAgB,CAiE/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,+BAA+B,GAC/B,+BAA+B,GAC/B,wBAAwB,GACxB,yBAAyB,GACzB,mCAAmC,CAAC;AA0CxC,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,gBAAgB,CAsE/E"}
@@ -143,6 +143,11 @@ export function loadSchemaValidator(name) {
143
143
  compileSchemaFile("workflow-result", "workflow-result.schema.json");
144
144
  compileSchemaFile("quick-verify-report", "quick-verify-report.schema.json");
145
145
  return compileSchemaFile(name, "public-verification-report-v1.schema.json");
146
+ case "outcome-certificate-v1":
147
+ return compileSchemaFile(name, "outcome-certificate-v1.schema.json");
148
+ case "public-verification-report-v2":
149
+ compileSchemaFile("outcome-certificate-v1", "outcome-certificate-v1.schema.json");
150
+ return compileSchemaFile(name, "public-verification-report-v2.schema.json");
146
151
  case "openai-function-tool-call-item-v1":
147
152
  return compileSchemaFile(name, "openai-function-tool-call-item-v1.schema.json");
148
153
  case "bootstrap-pack-input-v1":