agentskeptic 1.0.0 → 1.0.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +24 -27
- package/dist/agentRunBundle.d.ts +2 -0
- package/dist/agentRunBundle.d.ts.map +1 -1
- package/dist/agentRunBundle.js +4 -0
- package/dist/agentRunBundle.js.map +1 -1
- package/dist/cli/lockOrchestration.d.ts.map +1 -1
- package/dist/cli/lockOrchestration.js +12 -1
- package/dist/cli/lockOrchestration.js.map +1 -1
- package/dist/cli/lockOrchestration.test.js +1 -0
- package/dist/cli/lockOrchestration.test.js.map +1 -1
- package/dist/cli.js +1 -0
- package/dist/cli.js.map +1 -1
- package/dist/cliArgv.d.ts +2 -0
- package/dist/cliArgv.d.ts.map +1 -1
- package/dist/cliArgv.js +2 -0
- package/dist/cliArgv.js.map +1 -1
- package/dist/cliOperationalCodes.d.ts +1 -0
- package/dist/cliOperationalCodes.d.ts.map +1 -1
- package/dist/cliOperationalCodes.js +1 -0
- package/dist/cliOperationalCodes.js.map +1 -1
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts +3 -3
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
- package/dist/commercial/postVerifyOutcomeBeacon.js +9 -6
- package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
- package/dist/commercial/verifyOutcomeBeaconBody.d.ts +12 -0
- package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -0
- package/dist/commercial/verifyOutcomeBeaconBody.js +26 -0
- package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -0
- package/dist/decisionBlocker.contract.test.d.ts +2 -0
- package/dist/decisionBlocker.contract.test.d.ts.map +1 -0
- package/dist/decisionBlocker.contract.test.js +51 -0
- package/dist/decisionBlocker.contract.test.js.map +1 -0
- package/dist/decisionBlocker.d.ts +10 -0
- package/dist/decisionBlocker.d.ts.map +1 -0
- package/dist/decisionBlocker.js +66 -0
- package/dist/decisionBlocker.js.map +1 -0
- package/dist/decisionGate.assertSafe.test.d.ts +2 -0
- package/dist/decisionGate.assertSafe.test.d.ts.map +1 -0
- package/dist/decisionGate.assertSafe.test.js +52 -0
- package/dist/decisionGate.assertSafe.test.js.map +1 -0
- package/dist/decisionGate.d.ts +23 -0
- package/dist/decisionGate.d.ts.map +1 -0
- package/dist/decisionGate.js +88 -0
- package/dist/decisionGate.js.map +1 -0
- package/dist/decisionGate.persistBundle.test.d.ts +2 -0
- package/dist/decisionGate.persistBundle.test.d.ts.map +1 -0
- package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js} +31 -19
- package/dist/decisionGate.persistBundle.test.js.map +1 -0
- package/dist/decisionUnsafeError.d.ts +8 -0
- package/dist/decisionUnsafeError.d.ts.map +1 -0
- package/dist/decisionUnsafeError.js +12 -0
- package/dist/decisionUnsafeError.js.map +1 -0
- package/dist/discovery-payload-v1.json +152 -41
- package/dist/executionPathFindings.d.ts +1 -1
- package/dist/executionPathFindings.d.ts.map +1 -1
- package/dist/executionPathFindings.js +2 -2
- package/dist/executionPathFindings.js.map +1 -1
- package/dist/executionTrace.js +2 -2
- package/dist/executionTrace.js.map +1 -1
- package/dist/failureCatalog.d.ts +1 -0
- package/dist/failureCatalog.d.ts.map +1 -1
- package/dist/failureCatalog.js +1 -0
- package/dist/failureCatalog.js.map +1 -1
- package/dist/failureOriginCatalog.d.ts.map +1 -1
- package/dist/failureOriginCatalog.js +1 -0
- package/dist/failureOriginCatalog.js.map +1 -1
- package/dist/index.d.ts +15 -5
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +10 -4
- package/dist/index.js.map +1 -1
- package/dist/langGraphCheckpointTrustGate.d.ts +38 -0
- package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -0
- package/dist/langGraphCheckpointTrustGate.js +127 -0
- package/dist/langGraphCheckpointTrustGate.js.map +1 -0
- package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts +8 -0
- package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts.map +1 -0
- package/dist/langGraphCheckpointTrustIneligibleCertificate.js +17 -0
- package/dist/langGraphCheckpointTrustIneligibleCertificate.js.map +1 -0
- package/dist/langGraphCheckpointTrustUnsafeError.d.ts +8 -0
- package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +1 -0
- package/dist/langGraphCheckpointTrustUnsafeError.js +12 -0
- package/dist/langGraphCheckpointTrustUnsafeError.js.map +1 -0
- package/dist/loadEvents.d.ts +5 -0
- package/dist/loadEvents.d.ts.map +1 -1
- package/dist/loadEvents.js +32 -0
- package/dist/loadEvents.js.map +1 -1
- package/dist/operationalDisposition.d.ts +8 -0
- package/dist/operationalDisposition.d.ts.map +1 -1
- package/dist/operationalDisposition.js +8 -0
- package/dist/operationalDisposition.js.map +1 -1
- package/dist/outcomeCertificate.d.ts +14 -2
- package/dist/outcomeCertificate.d.ts.map +1 -1
- package/dist/outcomeCertificate.js +119 -0
- package/dist/outcomeCertificate.js.map +1 -1
- package/dist/outcomeCertificate.test.js +2 -0
- package/dist/outcomeCertificate.test.js.map +1 -1
- package/dist/pipeline.d.ts +18 -17
- package/dist/pipeline.d.ts.map +1 -1
- package/dist/pipeline.js +43 -149
- package/dist/pipeline.js.map +1 -1
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/standardVerifyWorkflowCli.d.ts +6 -1
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
- package/dist/standardVerifyWorkflowCli.js +21 -3
- package/dist/standardVerifyWorkflowCli.js.map +1 -1
- package/dist/trustDecision.d.ts +8 -0
- package/dist/trustDecision.d.ts.map +1 -0
- package/dist/trustDecision.js +13 -0
- package/dist/trustDecision.js.map +1 -0
- package/dist/types.d.ts +24 -4
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js.map +1 -1
- package/dist/verificationRunContext.d.ts.map +1 -1
- package/dist/verificationRunContext.js +3 -0
- package/dist/verificationRunContext.js.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.js +107 -19
- package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
- package/dist/verifyAgentskeptic.d.ts +3 -4
- package/dist/verifyAgentskeptic.d.ts.map +1 -1
- package/dist/verifyAgentskeptic.js +15 -27
- package/dist/verifyAgentskeptic.js.map +1 -1
- package/dist/verifyRunStateFromBufferedRunEvents.d.ts +18 -0
- package/dist/verifyRunStateFromBufferedRunEvents.d.ts.map +1 -0
- package/dist/verifyRunStateFromBufferedRunEvents.js +65 -0
- package/dist/verifyRunStateFromBufferedRunEvents.js.map +1 -0
- package/package.json +5 -5
- package/schemas/event.schema.json +35 -0
- package/schemas/outcome-certificate-v1.schema.json +25 -2
- package/schemas/workflow-engine-result.schema.json +2 -1
- package/scripts/discovery-acquisition.lib.cjs +54 -80
- package/scripts/discovery-payload.lib.cjs +34 -5
- package/dist/withWorkflowVerification.persistBundle.test.d.ts +0 -2
- package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +0 -1
- package/dist/withWorkflowVerification.persistBundle.test.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cliOperationalCodes.js","sourceRoot":"","sources":["../src/cliOperationalCodes.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS,EAAE,WAAW;IACtB,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,0BAA0B,EAAE,4BAA4B;IACxD,kBAAkB,EAAE,oBAAoB;IACxC,2BAA2B,EAAE,6BAA6B;IAC1D,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,cAAc,EAAE,gBAAgB;IAChC,aAAa,EAAE,eAAe;IAC9B,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,2BAA2B;IACtD,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qCAAqC,EAAE,uCAAuC;IAC9E,2BAA2B,EAAE,6BAA6B;IAC1D,2CAA2C,EAAE,6CAA6C;IAC1F,uBAAuB,EAAE,yBAAyB;IAClD,qBAAqB,EAAE,uBAAuB;IAC9C,4BAA4B,EAAE,8BAA8B;IAC5D,iCAAiC,EAAE,mCAAmC;IACtE,8BAA8B,EAAE,gCAAgC;IAChE,oCAAoC,EAAE,sCAAsC;IAC5E,wCAAwC,EAAE,0CAA0C;IACpF,qBAAqB,EAAE,uBAAuB;IAC9C,2BAA2B,EAAE,6BAA6B;IAC1D,0BAA0B,EAAE,4BAA4B;IACxD,uBAAuB,EAAE,yBAAyB;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,oCAAoC,EAAE,sCAAsC;IAC5E,+BAA+B,EAAE,iCAAiC;IAClE,sBAAsB,EAAE,wBAAwB;IAChD,aAAa,EAAE,eAAe;IAC9B,sBAAsB,EAAE,wBAAwB;IAChD,iCAAiC,EAAE,mCAAmC;IACtE,eAAe,EAAE,iBAAiB;IAClC,8BAA8B,EAAE,gCAAgC;IAChE,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,6BAA6B,EAAE,+BAA+B;IAC9D,qBAAqB,EAAE,uBAAuB;IAC9C,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qBAAqB,EAAE,uBAAuB;IAC9C,mBAAmB,EAAE,qBAAqB;IAC1C,cAAc,EAAE,gBAAgB;IAChC,yBAAyB,EAAE,2BAA2B;IACtD,8BAA8B,EAAE,gCAAgC;IAChE,kCAAkC,EAAE,oCAAoC;IACxE,iCAAiC,EAAE,mCAAmC;IACtE,mBAAmB,EAAE,qBAAqB;IAC1C,eAAe,EAAE,iBAAiB;IAClC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,qCAAqC,EAAE,uCAAuC;IAC9E,wBAAwB,EAAE,0BAA0B;IACpD,6BAA6B,EAAE,+BAA+B;IAC9D,cAAc,EAAE,gBAAgB;
|
|
1
|
+
{"version":3,"file":"cliOperationalCodes.js","sourceRoot":"","sources":["../src/cliOperationalCodes.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS,EAAE,WAAW;IACtB,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,0BAA0B,EAAE,4BAA4B;IACxD,kBAAkB,EAAE,oBAAoB;IACxC,2BAA2B,EAAE,6BAA6B;IAC1D,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,cAAc,EAAE,gBAAgB;IAChC,aAAa,EAAE,eAAe;IAC9B,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,2BAA2B;IACtD,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qCAAqC,EAAE,uCAAuC;IAC9E,2BAA2B,EAAE,6BAA6B;IAC1D,2CAA2C,EAAE,6CAA6C;IAC1F,uBAAuB,EAAE,yBAAyB;IAClD,qBAAqB,EAAE,uBAAuB;IAC9C,4BAA4B,EAAE,8BAA8B;IAC5D,iCAAiC,EAAE,mCAAmC;IACtE,8BAA8B,EAAE,gCAAgC;IAChE,oCAAoC,EAAE,sCAAsC;IAC5E,wCAAwC,EAAE,0CAA0C;IACpF,qBAAqB,EAAE,uBAAuB;IAC9C,2BAA2B,EAAE,6BAA6B;IAC1D,0BAA0B,EAAE,4BAA4B;IACxD,uBAAuB,EAAE,yBAAyB;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,oCAAoC,EAAE,sCAAsC;IAC5E,+BAA+B,EAAE,iCAAiC;IAClE,sBAAsB,EAAE,wBAAwB;IAChD,aAAa,EAAE,eAAe;IAC9B,sBAAsB,EAAE,wBAAwB;IAChD,iCAAiC,EAAE,mCAAmC;IACtE,eAAe,EAAE,iBAAiB;IAClC,8BAA8B,EAAE,gCAAgC;IAChE,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,6BAA6B,EAAE,+BAA+B;IAC9D,qBAAqB,EAAE,uBAAuB;IAC9C,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qBAAqB,EAAE,uBAAuB;IAC9C,mBAAmB,EAAE,qBAAqB;IAC1C,cAAc,EAAE,gBAAgB;IAChC,yBAAyB,EAAE,2BAA2B;IACtD,8BAA8B,EAAE,gCAAgC;IAChE,kCAAkC,EAAE,oCAAoC;IACxE,iCAAiC,EAAE,mCAAmC;IACtE,mBAAmB,EAAE,qBAAqB;IAC1C,eAAe,EAAE,iBAAiB;IAClC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,qCAAqC,EAAE,uCAAuC;IAC9E,wBAAwB,EAAE,0BAA0B;IACpD,6BAA6B,EAAE,+BAA+B;IAC9D,cAAc,EAAE,gBAAgB;IAChC,gDAAgD,EAAE,kDAAkD;CAC5F,CAAC"}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
export type VerifyOutcomeWorkloadClass = "bundled_examples" | "non_bundled";
|
|
1
|
+
import type { OutcomeCertificateV1 } from "../outcomeCertificate.js";
|
|
2
|
+
import { type VerifyOutcomeSubcommand, type VerifyOutcomeTerminalStatus, type VerifyOutcomeWorkloadClass } from "./verifyOutcomeBeaconBody.js";
|
|
4
3
|
/**
|
|
5
4
|
* Best-effort POST to license origin. Never throws; never logs secrets.
|
|
6
5
|
*/
|
|
7
6
|
export declare function postVerifyOutcomeBeacon(input: {
|
|
8
7
|
runId: string | null;
|
|
8
|
+
certificate: OutcomeCertificateV1;
|
|
9
9
|
terminal_status: VerifyOutcomeTerminalStatus;
|
|
10
10
|
workload_class: VerifyOutcomeWorkloadClass;
|
|
11
11
|
subcommand: VerifyOutcomeSubcommand;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"postVerifyOutcomeBeacon.d.ts","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"postVerifyOutcomeBeacon.d.ts","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAEL,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,0BAA0B,EAChC,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,wBAAsB,uBAAuB,CAAC,KAAK,EAAE;IACnD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;IAC3C,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG,OAAO,CAAC,IAAI,CAAC,CAgChB"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { LICENSE_API_BASE_URL, LICENSE_PREFLIGHT_ENABLED, } from "../generated/commercialBuildFlags.js";
|
|
2
2
|
import { fetchWithTimeout } from "../telemetry/fetchWithTimeout.js";
|
|
3
|
+
import { buildVerifyOutcomeBeaconBodyV2, } from "./verifyOutcomeBeaconBody.js";
|
|
3
4
|
/**
|
|
4
5
|
* Best-effort POST to license origin. Never throws; never logs secrets.
|
|
5
6
|
*/
|
|
@@ -11,6 +12,13 @@ export async function postVerifyOutcomeBeacon(input) {
|
|
|
11
12
|
if (!apiKey)
|
|
12
13
|
return;
|
|
13
14
|
const url = `${LICENSE_API_BASE_URL.replace(/\/$/, "")}/api/v1/funnel/verify-outcome`;
|
|
15
|
+
const body = buildVerifyOutcomeBeaconBodyV2({
|
|
16
|
+
run_id: input.runId,
|
|
17
|
+
certificate: input.certificate,
|
|
18
|
+
terminal_status: input.terminal_status,
|
|
19
|
+
workload_class: input.workload_class,
|
|
20
|
+
subcommand: input.subcommand,
|
|
21
|
+
});
|
|
14
22
|
try {
|
|
15
23
|
await fetchWithTimeout(url, {
|
|
16
24
|
method: "POST",
|
|
@@ -18,12 +26,7 @@ export async function postVerifyOutcomeBeacon(input) {
|
|
|
18
26
|
Authorization: `Bearer ${apiKey}`,
|
|
19
27
|
"Content-Type": "application/json",
|
|
20
28
|
},
|
|
21
|
-
body: JSON.stringify(
|
|
22
|
-
run_id: input.runId,
|
|
23
|
-
terminal_status: input.terminal_status,
|
|
24
|
-
workload_class: input.workload_class,
|
|
25
|
-
subcommand: input.subcommand,
|
|
26
|
-
}),
|
|
29
|
+
body: JSON.stringify(body),
|
|
27
30
|
}, 400);
|
|
28
31
|
}
|
|
29
32
|
catch {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"postVerifyOutcomeBeacon.js","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;
|
|
1
|
+
{"version":3,"file":"postVerifyOutcomeBeacon.js","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE,OAAO,EACL,8BAA8B,GAI/B,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,KAM7C;IACC,IAAI,CAAC,yBAAyB,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO;IAE/D,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE;QACxC,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO;IAEpB,MAAM,GAAG,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC;IACtF,MAAM,IAAI,GAAG,8BAA8B,CAAC;QAC1C,MAAM,EAAE,KAAK,CAAC,KAAK;QACnB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IACH,IAAI,CAAC;QACH,MAAM,gBAAgB,CACpB,GAAG,EACH;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,UAAU,MAAM,EAAE;gBACjC,cAAc,EAAE,kBAAkB;aACnC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;SAC3B,EACD,GAAG,CACJ,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,YAAY;IACd,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "../outcomeCertificate.js";
|
|
2
|
+
export type VerifyOutcomeTerminalStatus = "complete" | "inconsistent" | "incomplete";
|
|
3
|
+
export type VerifyOutcomeWorkloadClass = "bundled_examples" | "non_bundled";
|
|
4
|
+
export type VerifyOutcomeSubcommand = "batch_verify" | "quick_verify" | "verify_integrator_owned";
|
|
5
|
+
export declare function buildVerifyOutcomeBeaconBodyV2(input: {
|
|
6
|
+
run_id: string;
|
|
7
|
+
certificate: OutcomeCertificateV1;
|
|
8
|
+
terminal_status: VerifyOutcomeTerminalStatus;
|
|
9
|
+
workload_class: VerifyOutcomeWorkloadClass;
|
|
10
|
+
subcommand: VerifyOutcomeSubcommand;
|
|
11
|
+
}): Record<string, unknown>;
|
|
12
|
+
//# sourceMappingURL=verifyOutcomeBeaconBody.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verifyOutcomeBeaconBody.d.ts","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGrE,MAAM,MAAM,2BAA2B,GAAG,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAC5E,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,cAAc,GAAG,yBAAyB,CAAC;AAalG,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;IAC3C,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAY1B"}
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
import { trustDecisionFromCertificate } from "../trustDecision.js";
|
|
2
|
+
function sortedReasonCodesFromCertificate(certificate, max) {
|
|
3
|
+
const raw = certificate.explanation.details.map((d) => d.code);
|
|
4
|
+
const out = [];
|
|
5
|
+
for (const c of [...new Set(raw)].sort((a, b) => a.localeCompare(b))) {
|
|
6
|
+
const t = c.length > 64 ? c.slice(0, 64) : c;
|
|
7
|
+
out.push(t);
|
|
8
|
+
if (out.length >= max)
|
|
9
|
+
break;
|
|
10
|
+
}
|
|
11
|
+
return out;
|
|
12
|
+
}
|
|
13
|
+
export function buildVerifyOutcomeBeaconBodyV2(input) {
|
|
14
|
+
return {
|
|
15
|
+
schema_version: 2,
|
|
16
|
+
run_id: input.run_id,
|
|
17
|
+
workflow_id: input.certificate.workflowId.slice(0, 512),
|
|
18
|
+
outcome_certificate_run_kind: input.certificate.runKind,
|
|
19
|
+
trust_decision: trustDecisionFromCertificate(input.certificate),
|
|
20
|
+
reason_codes: sortedReasonCodesFromCertificate(input.certificate, 8),
|
|
21
|
+
terminal_status: input.terminal_status,
|
|
22
|
+
workload_class: input.workload_class,
|
|
23
|
+
subcommand: input.subcommand,
|
|
24
|
+
};
|
|
25
|
+
}
|
|
26
|
+
//# sourceMappingURL=verifyOutcomeBeaconBody.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verifyOutcomeBeaconBody.js","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAMnE,SAAS,gCAAgC,CAAC,WAAiC,EAAE,GAAW;IACtF,MAAM,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG;YAAE,MAAM;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAM9C;IACC,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACvD,4BAA4B,EAAE,KAAK,CAAC,WAAW,CAAC,OAAO;QACvD,cAAc,EAAE,4BAA4B,CAAC,KAAK,CAAC,WAAW,CAAC;QAC/D,YAAY,EAAE,gCAAgC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QACpE,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionBlocker.contract.test.d.ts","sourceRoot":"","sources":["../src/decisionBlocker.contract.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
import { readFileSync, mkdtempSync, rmSync } from "node:fs";
|
|
2
|
+
import { join, dirname } from "node:path";
|
|
3
|
+
import { tmpdir } from "node:os";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { DatabaseSync } from "node:sqlite";
|
|
6
|
+
import { afterAll, beforeAll, describe, expect, it } from "vitest";
|
|
7
|
+
import { buildOutcomeCertificateFromWorkflowResult } from "./outcomeCertificate.js";
|
|
8
|
+
import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
|
|
9
|
+
import { verifyWorkflow } from "./pipeline.js";
|
|
10
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..");
|
|
11
|
+
describe("formatDecisionBlockerForHumans contract", () => {
|
|
12
|
+
/** Seeded SQLite under tmp — `examples/demo.db` is gitignored and absent on clean CI. */
|
|
13
|
+
let workDir;
|
|
14
|
+
let dbPath;
|
|
15
|
+
beforeAll(() => {
|
|
16
|
+
workDir = mkdtempSync(join(tmpdir(), "agentskeptic-decision-blocker-"));
|
|
17
|
+
dbPath = join(workDir, "demo.db");
|
|
18
|
+
const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
|
|
19
|
+
const db = new DatabaseSync(dbPath);
|
|
20
|
+
db.exec(sql);
|
|
21
|
+
db.close();
|
|
22
|
+
});
|
|
23
|
+
afterAll(() => {
|
|
24
|
+
rmSync(workDir, { recursive: true, force: true });
|
|
25
|
+
});
|
|
26
|
+
it("emits exactly six lines with required tokens for wf_missing certificate", async () => {
|
|
27
|
+
const eventsPath = join(root, "examples", "events.ndjson");
|
|
28
|
+
const registryPath = join(root, "examples", "tools.json");
|
|
29
|
+
const result = await verifyWorkflow({
|
|
30
|
+
workflowId: "wf_missing",
|
|
31
|
+
eventsPath,
|
|
32
|
+
registryPath,
|
|
33
|
+
database: { kind: "sqlite", path: dbPath },
|
|
34
|
+
logStep: () => { },
|
|
35
|
+
truthReport: () => { },
|
|
36
|
+
});
|
|
37
|
+
const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
|
|
38
|
+
const { lines, trustDecision } = formatDecisionBlockerForHumans(certificate);
|
|
39
|
+
expect(trustDecision).toBe("unsafe");
|
|
40
|
+
expect(lines).toHaveLength(6);
|
|
41
|
+
expect(lines[0]).toMatch(/^Trust: unsafe$/);
|
|
42
|
+
expect(lines[1]).toMatch(/^Workflow: wf_missing$/);
|
|
43
|
+
expect(lines[2]).toMatch(/^First problem step: seq=/);
|
|
44
|
+
expect(lines[2]).toContain("tool=crm.upsert_contact");
|
|
45
|
+
expect(lines[2]).toContain("status=missing");
|
|
46
|
+
expect(lines[3]).toContain("ROW_ABSENT");
|
|
47
|
+
expect(lines[4]).toMatch(/^Expected: /);
|
|
48
|
+
expect(lines[5]).toMatch(/^Observed: /);
|
|
49
|
+
});
|
|
50
|
+
});
|
|
51
|
+
//# sourceMappingURL=decisionBlocker.contract.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionBlocker.contract.test.js","sourceRoot":"","sources":["../src/decisionBlocker.contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,yCAAyC,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gCAAgC,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;YAClC,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YAC1C,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;QAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import { type TrustDecision } from "./trustDecision.js";
|
|
3
|
+
/**
|
|
4
|
+
* Fixed six-line human blocker for operators (Requirement 4 contract).
|
|
5
|
+
*/
|
|
6
|
+
export declare function formatDecisionBlockerForHumans(certificate: OutcomeCertificateV1): {
|
|
7
|
+
trustDecision: TrustDecision;
|
|
8
|
+
lines: string[];
|
|
9
|
+
};
|
|
10
|
+
//# sourceMappingURL=decisionBlocker.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionBlocker.d.ts","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAgC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAgCtF;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,oBAAoB,GAAG;IACjF,aAAa,EAAE,aAAa,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAoCA"}
|
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
import { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
2
|
+
function truncateOneLine(s, max) {
|
|
3
|
+
const flat = s.replace(/\s+/g, " ").trim();
|
|
4
|
+
return flat.length <= max ? flat : `${flat.slice(0, max - 1)}…`;
|
|
5
|
+
}
|
|
6
|
+
function sortedUniqueCodes(codes, cap) {
|
|
7
|
+
return [...new Set(codes)].sort((a, b) => a.localeCompare(b)).slice(0, cap);
|
|
8
|
+
}
|
|
9
|
+
function inferStepStatus(step) {
|
|
10
|
+
const o = step.observedOutcome.toLowerCase();
|
|
11
|
+
if (o.includes("missing") || o.includes("row is missing"))
|
|
12
|
+
return "missing";
|
|
13
|
+
// Batch contract `formatBatchObservedStateSummary`: ROW_ABSENT is often summarized as `rowCount=0` only.
|
|
14
|
+
if (/\browcount=0\b/.test(o) && !o.includes("field="))
|
|
15
|
+
return "missing";
|
|
16
|
+
if (o.includes("mismatch") || o.includes("wrong"))
|
|
17
|
+
return "inconsistent";
|
|
18
|
+
if (o.includes("matched") || o.includes("verified"))
|
|
19
|
+
return "verified";
|
|
20
|
+
return "non_verified";
|
|
21
|
+
}
|
|
22
|
+
function pickPrimaryStep(certificate) {
|
|
23
|
+
const steps = [...certificate.steps].sort((a, b) => a.seq - b.seq);
|
|
24
|
+
if (steps.length === 0)
|
|
25
|
+
return null;
|
|
26
|
+
const td = trustDecisionFromCertificate(certificate);
|
|
27
|
+
if (td === "safe")
|
|
28
|
+
return steps[0] ?? null;
|
|
29
|
+
for (const s of steps) {
|
|
30
|
+
if (inferStepStatus(s) !== "verified")
|
|
31
|
+
return s;
|
|
32
|
+
}
|
|
33
|
+
return steps[0] ?? null;
|
|
34
|
+
}
|
|
35
|
+
/**
|
|
36
|
+
* Fixed six-line human blocker for operators (Requirement 4 contract).
|
|
37
|
+
*/
|
|
38
|
+
export function formatDecisionBlockerForHumans(certificate) {
|
|
39
|
+
const trustDecision = trustDecisionFromCertificate(certificate);
|
|
40
|
+
const codes = sortedUniqueCodes(certificate.explanation.details.map((d) => d.code), 5);
|
|
41
|
+
const primary = pickPrimaryStep(certificate);
|
|
42
|
+
const line3 = trustDecision === "safe"
|
|
43
|
+
? "First problem step: n/a"
|
|
44
|
+
: primary !== null
|
|
45
|
+
? `First problem step: seq=${primary.seq} tool=${primary.toolId ?? "unknown"} status=${inferStepStatus(primary)}`
|
|
46
|
+
: "First problem step: n/a";
|
|
47
|
+
const line5 = primary !== null
|
|
48
|
+
? `Expected: ${truncateOneLine(primary.expectedOutcome, 200)}`
|
|
49
|
+
: "Expected: (no step data)";
|
|
50
|
+
const line6 = primary !== null
|
|
51
|
+
? `Observed: ${truncateOneLine(primary.observedOutcome, 200)}`
|
|
52
|
+
: "Observed: (no step data)";
|
|
53
|
+
const lines = [
|
|
54
|
+
`Trust: ${trustDecision}`,
|
|
55
|
+
`Workflow: ${certificate.workflowId}`,
|
|
56
|
+
line3,
|
|
57
|
+
`Reason codes: ${codes.length > 0 ? codes.join(", ") : "(none)"}`,
|
|
58
|
+
line5,
|
|
59
|
+
line6,
|
|
60
|
+
];
|
|
61
|
+
if (lines.length !== 6) {
|
|
62
|
+
throw new Error("formatDecisionBlockerForHumans: invariant violated (must be exactly 6 lines)");
|
|
63
|
+
}
|
|
64
|
+
return { trustDecision, lines };
|
|
65
|
+
}
|
|
66
|
+
//# sourceMappingURL=decisionBlocker.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionBlocker.js","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAsB,MAAM,oBAAoB,CAAC;AAEtF,SAAS,eAAe,CAAC,CAAS,EAAE,GAAW;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,OAAO,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAe,EAAE,GAAW;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,eAAe,CAAC,IAAsC;IAC7D,MAAM,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;IAC7C,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,yGAAyG;IACzG,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,cAAc,CAAC;IACzE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvE,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,eAAe,CAAC,WAAiC;IACxD,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,EAAE,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,UAAU;YAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,WAAiC;IAI9E,MAAM,aAAa,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,iBAAiB,CAC7B,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAClD,CAAC,CACF,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAE7C,MAAM,KAAK,GACT,aAAa,KAAK,MAAM;QACtB,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,OAAO,KAAK,IAAI;YAChB,CAAC,CAAC,2BAA2B,OAAO,CAAC,GAAG,SAAS,OAAO,CAAC,MAAM,IAAI,SAAS,WAAW,eAAe,CAAC,OAAO,CAAC,EAAE;YACjH,CAAC,CAAC,yBAAyB,CAAC;IAElC,MAAM,KAAK,GACT,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,aAAa,eAAe,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE;QAC9D,CAAC,CAAC,0BAA0B,CAAC;IACjC,MAAM,KAAK,GACT,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,aAAa,eAAe,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE;QAC9D,CAAC,CAAC,0BAA0B,CAAC;IAEjC,MAAM,KAAK,GAAG;QACZ,UAAU,aAAa,EAAE;QACzB,aAAa,WAAW,CAAC,UAAU,EAAE;QACrC,KAAK;QACL,iBAAiB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,KAAK;QACL,KAAK;KACN,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.assertSafe.test.d.ts","sourceRoot":"","sources":["../src/decisionGate.assertSafe.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
import { readFileSync, mkdtempSync, rmSync } from "node:fs";
|
|
2
|
+
import { join, dirname } from "node:path";
|
|
3
|
+
import { tmpdir } from "node:os";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { DatabaseSync } from "node:sqlite";
|
|
6
|
+
import { afterAll, beforeAll, describe, expect, it } from "vitest";
|
|
7
|
+
import { createDecisionGate } from "./decisionGate.js";
|
|
8
|
+
import { DecisionUnsafeError } from "./decisionUnsafeError.js";
|
|
9
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..");
|
|
10
|
+
describe("DecisionGate.assertSafeForIrreversibleAction", () => {
|
|
11
|
+
/** Seeded SQLite under tmp — `examples/demo.db` is gitignored and absent on clean CI. */
|
|
12
|
+
let workDir;
|
|
13
|
+
let dbPath;
|
|
14
|
+
beforeAll(() => {
|
|
15
|
+
workDir = mkdtempSync(join(tmpdir(), "agentskeptic-assert-safe-"));
|
|
16
|
+
dbPath = join(workDir, "demo.db");
|
|
17
|
+
const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
|
|
18
|
+
const db = new DatabaseSync(dbPath);
|
|
19
|
+
db.exec(sql);
|
|
20
|
+
db.close();
|
|
21
|
+
});
|
|
22
|
+
afterAll(() => {
|
|
23
|
+
rmSync(workDir, { recursive: true, force: true });
|
|
24
|
+
});
|
|
25
|
+
it("throws DecisionUnsafeError when DB does not match (wf_missing)", async () => {
|
|
26
|
+
const eventsPath = join(root, "examples", "events.ndjson");
|
|
27
|
+
const registryPath = join(root, "examples", "tools.json");
|
|
28
|
+
const lines = readFileSync(eventsPath, "utf8").split(/\r?\n/).filter((l) => l.trim().length > 0);
|
|
29
|
+
const gate = createDecisionGate({
|
|
30
|
+
workflowId: "wf_missing",
|
|
31
|
+
registryPath,
|
|
32
|
+
databaseUrl: dbPath,
|
|
33
|
+
projectRoot: root,
|
|
34
|
+
logStep: () => { },
|
|
35
|
+
truthReport: () => { },
|
|
36
|
+
});
|
|
37
|
+
for (const line of lines) {
|
|
38
|
+
const ev = JSON.parse(line);
|
|
39
|
+
if (ev.workflowId === "wf_missing") {
|
|
40
|
+
gate.appendRunEvent(ev);
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
await expect(gate.assertSafeForIrreversibleAction()).rejects.toSatisfy((e) => {
|
|
44
|
+
if (!(e instanceof DecisionUnsafeError))
|
|
45
|
+
return false;
|
|
46
|
+
if (e.trustDecision !== "unsafe")
|
|
47
|
+
return false;
|
|
48
|
+
return e.message.split("\n").length === 6;
|
|
49
|
+
});
|
|
50
|
+
});
|
|
51
|
+
});
|
|
52
|
+
//# sourceMappingURL=decisionGate.assertSafe.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.assertSafe.test.js","sourceRoot":"","sources":["../src/decisionGate.assertSafe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,UAAU,EAAE,YAAY;YACxB,YAAY;YACZ,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;YACvD,IAAI,EAAE,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACnC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,MAAM,MAAM,CAAC,IAAI,CAAC,+BAA+B,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAU,EAAE,EAAE;YACpF,IAAI,CAAC,CAAC,CAAC,YAAY,mBAAmB,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtD,IAAI,CAAC,CAAC,aAAa,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC/C,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import type { VerificationPolicy, WorkflowResult } from "./types.js";
|
|
3
|
+
export type CreateDecisionGateOptions = {
|
|
4
|
+
workflowId: string;
|
|
5
|
+
registryPath: string;
|
|
6
|
+
databaseUrl: string;
|
|
7
|
+
projectRoot?: string;
|
|
8
|
+
verificationPolicy?: VerificationPolicy;
|
|
9
|
+
logStep?: (line: object) => void;
|
|
10
|
+
truthReport?: (report: string) => void;
|
|
11
|
+
};
|
|
12
|
+
export type DecisionGate = {
|
|
13
|
+
appendRunEvent(value: unknown): void;
|
|
14
|
+
toNdjsonUtf8(): Buffer;
|
|
15
|
+
evaluate(): Promise<WorkflowResult>;
|
|
16
|
+
evaluateCertificate(): Promise<OutcomeCertificateV1>;
|
|
17
|
+
assertSafeForIrreversibleAction(): Promise<void>;
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* Runtime integration: buffer structured run events, evaluate against the registry + DB, assert before irreversible work.
|
|
21
|
+
*/
|
|
22
|
+
export declare function createDecisionGate(options: CreateDecisionGateOptions): DecisionGate;
|
|
23
|
+
//# sourceMappingURL=decisionGate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.d.ts","sourceRoot":"","sources":["../src/decisionGate.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAKjC,OAAO,KAAK,EAA0C,kBAAkB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAe7G,MAAM,MAAM,yBAAyB,GAAG;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IACrC,YAAY,IAAI,MAAM,CAAC;IACvB,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC;IACpC,mBAAmB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACrD,+BAA+B,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAClD,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,YAAY,CA+EnF"}
|
|
@@ -0,0 +1,88 @@
|
|
|
1
|
+
import path from "node:path";
|
|
2
|
+
import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
|
|
3
|
+
import { buildOutcomeCertificateFromWorkflowResult, } from "./outcomeCertificate.js";
|
|
4
|
+
import { verifyRunStateFromBufferedRunEvents } from "./verifyRunStateFromBufferedRunEvents.js";
|
|
5
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
6
|
+
import { resolveVerificationPolicyInput } from "./verificationPolicy.js";
|
|
7
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
8
|
+
import { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
9
|
+
import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
|
|
10
|
+
import { DecisionUnsafeError } from "./decisionUnsafeError.js";
|
|
11
|
+
const validateEvent = loadSchemaValidator("event");
|
|
12
|
+
const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
|
|
13
|
+
function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
|
|
14
|
+
if (POSTGRES_URL_RE.test(databaseUrl)) {
|
|
15
|
+
return { kind: "postgres", connectionString: databaseUrl };
|
|
16
|
+
}
|
|
17
|
+
return { kind: "sqlite", path: path.resolve(projectRoot, databaseUrl) };
|
|
18
|
+
}
|
|
19
|
+
/**
|
|
20
|
+
* Runtime integration: buffer structured run events, evaluate against the registry + DB, assert before irreversible work.
|
|
21
|
+
*/
|
|
22
|
+
export function createDecisionGate(options) {
|
|
23
|
+
const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
|
|
24
|
+
const registryPath = path.resolve(projectRoot, options.registryPath);
|
|
25
|
+
const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
|
|
26
|
+
const database = verificationDatabaseFromUrl(options.databaseUrl, projectRoot);
|
|
27
|
+
const logStep = options.logStep ?? (() => { });
|
|
28
|
+
const truthReport = options.truthReport ?? (() => { });
|
|
29
|
+
const bufferedRunEvents = [];
|
|
30
|
+
const runLevelReasons = [];
|
|
31
|
+
const api = {};
|
|
32
|
+
api.appendRunEvent = (value) => {
|
|
33
|
+
if (typeof value !== "object" || value === null) {
|
|
34
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
35
|
+
return;
|
|
36
|
+
}
|
|
37
|
+
if (!validateEvent(value)) {
|
|
38
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
39
|
+
return;
|
|
40
|
+
}
|
|
41
|
+
const ev = value;
|
|
42
|
+
if (ev.workflowId !== options.workflowId) {
|
|
43
|
+
return;
|
|
44
|
+
}
|
|
45
|
+
bufferedRunEvents.push(ev);
|
|
46
|
+
};
|
|
47
|
+
api.toNdjsonUtf8 = () => {
|
|
48
|
+
const parts = [];
|
|
49
|
+
for (const ev of bufferedRunEvents) {
|
|
50
|
+
parts.push(`${JSON.stringify(ev)}\n`);
|
|
51
|
+
}
|
|
52
|
+
return Buffer.from(parts.join(""), "utf8");
|
|
53
|
+
};
|
|
54
|
+
api.evaluate = async () => {
|
|
55
|
+
if (!bufferedRunEvents.length && !runLevelReasons.length) {
|
|
56
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "DecisionGate.evaluate requires at least one buffered run event for the workflow.");
|
|
57
|
+
}
|
|
58
|
+
return verifyRunStateFromBufferedRunEvents({
|
|
59
|
+
workflowId: options.workflowId,
|
|
60
|
+
registryPath,
|
|
61
|
+
database,
|
|
62
|
+
projectRoot,
|
|
63
|
+
bufferedRunEvents,
|
|
64
|
+
runLevelReasons,
|
|
65
|
+
verificationPolicy,
|
|
66
|
+
logStep,
|
|
67
|
+
truthReport,
|
|
68
|
+
});
|
|
69
|
+
};
|
|
70
|
+
api.evaluateCertificate = async () => {
|
|
71
|
+
const result = await api.evaluate();
|
|
72
|
+
const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
|
|
73
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v1");
|
|
74
|
+
if (!validateCert(certificate)) {
|
|
75
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
76
|
+
}
|
|
77
|
+
return certificate;
|
|
78
|
+
};
|
|
79
|
+
api.assertSafeForIrreversibleAction = async () => {
|
|
80
|
+
const certificate = await api.evaluateCertificate();
|
|
81
|
+
if (trustDecisionFromCertificate(certificate) !== "safe") {
|
|
82
|
+
const { lines } = formatDecisionBlockerForHumans(certificate);
|
|
83
|
+
throw new DecisionUnsafeError(certificate, lines);
|
|
84
|
+
}
|
|
85
|
+
};
|
|
86
|
+
return api;
|
|
87
|
+
}
|
|
88
|
+
//# sourceMappingURL=decisionGate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.js","sourceRoot":"","sources":["../src/decisionGate.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACnD,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAE/C,SAAS,2BAA2B,CAAC,WAAmB,EAAE,WAAmB;IAC3E,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;AAC1E,CAAC;AAoBD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAkC;IACnE,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,iBAAiB,GAAe,EAAE,CAAC;IACzC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,MAAM,GAAG,GAAG,EAAkB,CAAC;IAE/B,GAAG,CAAC,cAAc,GAAG,CAAC,KAAc,EAAQ,EAAE;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,KAAiB,CAAC;QAC7B,IAAI,EAAE,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;QACT,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,GAAG,CAAC,YAAY,GAAG,GAAW,EAAE;QAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC;IAEF,GAAG,CAAC,QAAQ,GAAG,KAAK,IAA6B,EAAE;QACjD,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,mCAAmC,CAAC;YACzC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY;YACZ,QAAQ;YACR,WAAW;YACX,iBAAiB;YACjB,eAAe;YACf,kBAAkB;YAClB,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,GAAG,CAAC,mBAAmB,GAAG,KAAK,IAAmC,EAAE;QAClE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;QACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;QACJ,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IAEF,GAAG,CAAC,+BAA+B,GAAG,KAAK,IAAmB,EAAE;QAC9D,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,mBAAmB,EAAE,CAAC;QACpD,IAAI,4BAA4B,CAAC,WAAW,CAAC,KAAK,MAAM,EAAE,CAAC;YACzD,MAAM,EAAE,KAAK,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;YAC9D,MAAM,IAAI,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.persistBundle.test.d.ts","sourceRoot":"","sources":["../src/decisionGate.persistBundle.test.ts"],"names":[],"mappings":""}
|
package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js}
RENAMED
|
@@ -7,14 +7,15 @@ import { DatabaseSync } from "node:sqlite";
|
|
|
7
7
|
import { describe, expect, it, beforeAll, afterAll } from "vitest";
|
|
8
8
|
import { normalizeSpkiPemForSidecar } from "./workflowResultSignature.js";
|
|
9
9
|
import { loadCorpusRun, resolveCorpusRootReal } from "./debugCorpus.js";
|
|
10
|
-
import {
|
|
10
|
+
import { createDecisionGate } from "./decisionGate.js";
|
|
11
|
+
import { writeRunBundleFromDecisionGate } from "./agentRunBundle.js";
|
|
11
12
|
import { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
|
|
12
13
|
const root = join(fileURLToPath(import.meta.url), "..", "..");
|
|
13
|
-
describe("
|
|
14
|
+
describe("DecisionGate run bundle write", () => {
|
|
14
15
|
let workDir;
|
|
15
16
|
let dbPath;
|
|
16
17
|
beforeAll(() => {
|
|
17
|
-
workDir = mkdtempSync(join(tmpdir(), "etl-
|
|
18
|
+
workDir = mkdtempSync(join(tmpdir(), "etl-dg-persist-"));
|
|
18
19
|
dbPath = join(workDir, "demo.db");
|
|
19
20
|
const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
|
|
20
21
|
const db = new DatabaseSync(dbPath);
|
|
@@ -34,19 +35,24 @@ describe("withWorkflowVerification persistBundle", () => {
|
|
|
34
35
|
const runId = "hook_run";
|
|
35
36
|
const outDir = join(bundleParent, runId);
|
|
36
37
|
try {
|
|
37
|
-
const
|
|
38
|
+
const gate = createDecisionGate({
|
|
38
39
|
workflowId: wfId,
|
|
39
40
|
registryPath,
|
|
40
|
-
dbPath,
|
|
41
|
+
databaseUrl: dbPath,
|
|
42
|
+
projectRoot: root,
|
|
41
43
|
truthReport: () => { },
|
|
42
|
-
persistBundle: { outDir },
|
|
43
|
-
}, (observeStep) => {
|
|
44
|
-
for (const ev of events) {
|
|
45
|
-
observeStep(ev);
|
|
46
|
-
}
|
|
47
44
|
});
|
|
45
|
+
for (const ev of events) {
|
|
46
|
+
gate.appendRunEvent(ev);
|
|
47
|
+
}
|
|
48
|
+
const result = await gate.evaluate();
|
|
48
49
|
expect(result.steps.length).toBe(1);
|
|
49
50
|
expect(result.steps[0].status).toBe("verified");
|
|
51
|
+
writeRunBundleFromDecisionGate({
|
|
52
|
+
outDir,
|
|
53
|
+
eventsNdjson: gate.toNdjsonUtf8(),
|
|
54
|
+
workflowResult: result,
|
|
55
|
+
});
|
|
50
56
|
const loaded = loadCorpusRun(resolveCorpusRootReal(bundleParent), runId);
|
|
51
57
|
expect(loaded.loadStatus).toBe("ok");
|
|
52
58
|
const written = readFileSync(join(outDir, "events.ndjson"), "utf8").trim().split(/\r?\n/);
|
|
@@ -57,7 +63,7 @@ describe("withWorkflowVerification persistBundle", () => {
|
|
|
57
63
|
rmSync(bundleParent, { recursive: true, force: true });
|
|
58
64
|
}
|
|
59
65
|
});
|
|
60
|
-
it("
|
|
66
|
+
it("ed25519PrivateKeyPemPath writes v2 bundle verifiable by verifyRunBundleSignature", async () => {
|
|
61
67
|
const eventsPath = join(root, "examples", "events.ndjson");
|
|
62
68
|
const registryPath = join(root, "examples", "tools.json");
|
|
63
69
|
const wfId = "wf_complete";
|
|
@@ -74,16 +80,22 @@ describe("withWorkflowVerification persistBundle", () => {
|
|
|
74
80
|
writeFileSync(keyPath, privatePem, "utf8");
|
|
75
81
|
writeFileSync(pubPath, normalizeSpkiPemForSidecar(publicPem), "utf8");
|
|
76
82
|
try {
|
|
77
|
-
|
|
83
|
+
const gate = createDecisionGate({
|
|
78
84
|
workflowId: wfId,
|
|
79
85
|
registryPath,
|
|
80
|
-
dbPath,
|
|
86
|
+
databaseUrl: dbPath,
|
|
87
|
+
projectRoot: root,
|
|
81
88
|
truthReport: () => { },
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
89
|
+
});
|
|
90
|
+
for (const ev of events) {
|
|
91
|
+
gate.appendRunEvent(ev);
|
|
92
|
+
}
|
|
93
|
+
const result = await gate.evaluate();
|
|
94
|
+
writeRunBundleFromDecisionGate({
|
|
95
|
+
outDir,
|
|
96
|
+
eventsNdjson: gate.toNdjsonUtf8(),
|
|
97
|
+
workflowResult: result,
|
|
98
|
+
ed25519PrivateKeyPemPath: keyPath,
|
|
87
99
|
});
|
|
88
100
|
const loaded = loadCorpusRun(resolveCorpusRootReal(bundleParent), runId);
|
|
89
101
|
expect(loaded.loadStatus).toBe("ok");
|
|
@@ -101,4 +113,4 @@ describe("withWorkflowVerification persistBundle", () => {
|
|
|
101
113
|
}
|
|
102
114
|
});
|
|
103
115
|
});
|
|
104
|
-
//# sourceMappingURL=
|
|
116
|
+
//# sourceMappingURL=decisionGate.persistBundle.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionGate.persistBundle.test.js","sourceRoot":"","sources":["../src/decisionGate.persistBundle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAE9D,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;gBAC9B,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,WAAW,EAAE,MAAM;gBACnB,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEjD,8BAA8B,CAAC;gBAC7B,MAAM;gBACN,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;gBACjC,cAAc,EAAE,MAAM;aACvB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAErC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1F,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,KAAK,IAAI,EAAE;QAChG,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,aAAa,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QACjF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACjD,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC3C,aAAa,CAAC,OAAO,EAAE,0BAA0B,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;gBAC9B,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,WAAW,EAAE,MAAM;gBACnB,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,8BAA8B,CAAC;gBAC7B,MAAM;gBACN,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;gBACjC,cAAc,EAAE,MAAM;gBACtB,wBAAwB,EAAE,OAAO;aAClC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO;YACvC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,cAAc,CAAC,aAAa,KAAK,CAAC;gBAAE,OAAO;YACtD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/E,0BAA0B,CAC3B,CAAC;YAEF,MAAM,EAAE,GAAG,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import type { TrustDecision } from "./trustDecision.js";
|
|
3
|
+
export declare class DecisionUnsafeError extends Error {
|
|
4
|
+
readonly trustDecision: TrustDecision;
|
|
5
|
+
readonly certificate: OutcomeCertificateV1;
|
|
6
|
+
constructor(certificate: OutcomeCertificateV1, lines: string[]);
|
|
7
|
+
}
|
|
8
|
+
//# sourceMappingURL=decisionUnsafeError.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decisionUnsafeError.d.ts","sourceRoot":"","sources":["../src/decisionUnsafeError.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxD,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;gBAE/B,WAAW,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE;CAM/D"}
|