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.
- package/README.md +69 -0
- package/dist/actionableFailure.remediationExhaustive.test.js +4 -4
- package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -1
- package/dist/agentRunBundle.js +1 -2
- package/dist/agentRunBundle.js.map +1 -1
- package/dist/agentRunRecord.d.ts +5 -0
- package/dist/agentRunRecord.d.ts.map +1 -1
- package/dist/agentRunRecord.js +5 -0
- package/dist/agentRunRecord.js.map +1 -1
- package/dist/ciLockWorkflow.js +1 -1
- package/dist/cli/lockOrchestration.d.ts.map +1 -1
- package/dist/cli/lockOrchestration.js +40 -45
- package/dist/cli/lockOrchestration.js.map +1 -1
- package/dist/cli/lockOrchestration.test.js +6 -1
- package/dist/cli/lockOrchestration.test.js.map +1 -1
- package/dist/cli/runFunnelAnonSet.d.ts +18 -0
- package/dist/cli/runFunnelAnonSet.d.ts.map +1 -0
- package/dist/cli/runFunnelAnonSet.js +113 -0
- package/dist/cli/runFunnelAnonSet.js.map +1 -0
- package/dist/cli.js +31 -23
- package/dist/cli.js.map +1 -1
- package/dist/cliArgv.d.ts +2 -1
- package/dist/cliArgv.d.ts.map +1 -1
- package/dist/cliArgv.js +3 -2
- package/dist/cliArgv.js.map +1 -1
- package/dist/crossing/crossingDecisionReadyFooter.d.ts +1 -1
- package/dist/crossing/crossingDecisionReadyFooter.d.ts.map +1 -1
- package/dist/crossing/crossingDecisionReadyFooter.js +1 -1
- package/dist/crossing/crossingDecisionReadyFooter.js.map +1 -1
- package/dist/crossing/runCrossingSubcommand.js +8 -8
- package/dist/debugCorpus.d.ts +2 -5
- package/dist/debugCorpus.d.ts.map +1 -1
- package/dist/debugCorpus.js +2 -5
- package/dist/debugCorpus.js.map +1 -1
- package/dist/index.d.ts +7 -4
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +5 -3
- package/dist/index.js.map +1 -1
- package/dist/outcomeCertificate.d.ts +48 -0
- package/dist/outcomeCertificate.d.ts.map +1 -0
- package/dist/outcomeCertificate.js +135 -0
- package/dist/outcomeCertificate.js.map +1 -0
- package/dist/outcomeCertificate.test.d.ts +2 -0
- package/dist/outcomeCertificate.test.d.ts.map +1 -0
- package/dist/outcomeCertificate.test.js +72 -0
- package/dist/outcomeCertificate.test.js.map +1 -0
- package/dist/planTransition.test.js +4 -4
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/schemaLoad.d.ts +1 -1
- package/dist/schemaLoad.d.ts.map +1 -1
- package/dist/schemaLoad.js +5 -0
- package/dist/schemaLoad.js.map +1 -1
- package/dist/shareReport/postPublicVerificationReport.d.ts +6 -0
- package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -1
- package/dist/shareReport/postPublicVerificationReport.js +3 -1
- package/dist/shareReport/postPublicVerificationReport.js.map +1 -1
- package/dist/standardVerifyWorkflowCli.d.ts +14 -4
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
- package/dist/standardVerifyWorkflowCli.js +35 -22
- package/dist/standardVerifyWorkflowCli.js.map +1 -1
- package/dist/telemetry/cliInstallId.d.ts +12 -0
- package/dist/telemetry/cliInstallId.d.ts.map +1 -1
- package/dist/telemetry/cliInstallId.js +46 -8
- package/dist/telemetry/cliInstallId.js.map +1 -1
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts.map +1 -1
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.js +24 -6
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.js.map +1 -1
- package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts +9 -0
- package/dist/telemetry/openHandoffUrlInOsBrowser.d.ts.map +1 -0
- package/dist/telemetry/openHandoffUrlInOsBrowser.js +24 -0
- package/dist/telemetry/openHandoffUrlInOsBrowser.js.map +1 -0
- package/dist/telemetry/postOssClaimContinuation.d.ts +5 -0
- package/dist/telemetry/postOssClaimContinuation.d.ts.map +1 -0
- package/dist/telemetry/postOssClaimContinuation.js +30 -0
- package/dist/telemetry/postOssClaimContinuation.js.map +1 -0
- package/dist/telemetry/postOssClaimTicket.d.ts +12 -2
- package/dist/telemetry/postOssClaimTicket.d.ts.map +1 -1
- package/dist/telemetry/postOssClaimTicket.js +36 -7
- package/dist/telemetry/postOssClaimTicket.js.map +1 -1
- package/dist/telemetry/postProductActivationEvent.d.ts.map +1 -1
- package/dist/telemetry/postProductActivationEvent.js +5 -2
- package/dist/telemetry/postProductActivationEvent.js.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.js +20 -17
- package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
- package/dist/verifyAgentskeptic.d.ts +12 -0
- package/dist/verifyAgentskeptic.d.ts.map +1 -0
- package/dist/verifyAgentskeptic.js +46 -0
- package/dist/verifyAgentskeptic.js.map +1 -0
- package/dist/verifyAgentskeptic.test.d.ts +2 -0
- package/dist/verifyAgentskeptic.test.d.ts.map +1 -0
- package/dist/verifyAgentskeptic.test.js +86 -0
- package/dist/verifyAgentskeptic.test.js.map +1 -0
- package/dist/verifyRunBundleSignature.d.ts.map +1 -1
- package/dist/verifyRunBundleSignature.js +1 -2
- package/dist/verifyRunBundleSignature.js.map +1 -1
- package/package.json +6 -7
- package/schemas/openapi-commercial-v1.in.yaml +3 -3
- package/schemas/openapi-commercial-v1.yaml +3 -3
- package/schemas/outcome-certificate-v1.schema.json +66 -0
- package/schemas/public-verification-report-v2.schema.json +15 -0
- 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,
|
|
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"}
|
package/dist/debugCorpus.js
CHANGED
|
@@ -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
|
|
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",
|
package/dist/debugCorpus.js.map
CHANGED
|
@@ -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,
|
|
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 {
|
|
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
|
package/dist/index.d.ts.map
CHANGED
|
@@ -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,
|
|
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 {
|
|
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,
|
|
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 @@
|
|
|
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-
|
|
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-
|
|
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-
|
|
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-
|
|
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.
|
|
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.
|
|
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"
|
package/dist/schemaLoad.d.ts
CHANGED
|
@@ -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
|
package/dist/schemaLoad.d.ts.map
CHANGED
|
@@ -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,
|
|
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"}
|
package/dist/schemaLoad.js
CHANGED
|
@@ -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":
|