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
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,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,
|
|
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,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AAWjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE5F,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EACL,uCAAuC,EACvC,2CAA2C,EAC3C,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAM3C,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,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,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,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,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAE1F,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,38 @@
|
|
|
1
|
+
import type { Reason, ToolObservedEvent, VerificationPolicy } from "./types.js";
|
|
2
|
+
import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
3
|
+
export type LangGraphCheckpointTrustEligibility = {
|
|
4
|
+
eligible: true;
|
|
5
|
+
} | {
|
|
6
|
+
eligible: false;
|
|
7
|
+
certificateReasons: Reason[];
|
|
8
|
+
};
|
|
9
|
+
/**
|
|
10
|
+
* Shared eligibility for LangGraph checkpoint trust (CLI + runtime gate).
|
|
11
|
+
* Preconditions: `toolObservedEvents` are schema-valid `tool_observed` for the target workflow only.
|
|
12
|
+
*/
|
|
13
|
+
export declare function classifyLangGraphCheckpointTrustEligibility(input: {
|
|
14
|
+
runLevelReasons: Reason[];
|
|
15
|
+
toolObservedEvents: ToolObservedEvent[];
|
|
16
|
+
}): LangGraphCheckpointTrustEligibility;
|
|
17
|
+
/**
|
|
18
|
+
* LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
|
|
19
|
+
*/
|
|
20
|
+
export declare function assertLangGraphCheckpointProductionGate(certificate: OutcomeCertificateV1): void;
|
|
21
|
+
export type CreateLangGraphCheckpointTrustGateOptions = {
|
|
22
|
+
workflowId: string;
|
|
23
|
+
registryPath: string;
|
|
24
|
+
databaseUrl: string;
|
|
25
|
+
projectRoot?: string;
|
|
26
|
+
verificationPolicy?: VerificationPolicy;
|
|
27
|
+
logStep?: (line: object) => void;
|
|
28
|
+
truthReport?: (report: string) => void;
|
|
29
|
+
};
|
|
30
|
+
export type LangGraphCheckpointTrustGate = {
|
|
31
|
+
appendRunEvent(value: unknown): void;
|
|
32
|
+
toNdjsonUtf8(): Buffer;
|
|
33
|
+
/** Eligible path hits the DB; ineligible returns certificate only (no DB). */
|
|
34
|
+
runCheckpointTrust(): Promise<OutcomeCertificateV1>;
|
|
35
|
+
assertLangGraphCheckpointProductionGate(): Promise<void>;
|
|
36
|
+
};
|
|
37
|
+
export declare function createLangGraphCheckpointTrustGate(options: CreateLangGraphCheckpointTrustGateOptions): LangGraphCheckpointTrustGate;
|
|
38
|
+
//# sourceMappingURL=langGraphCheckpointTrustGate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustGate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,MAAM,EAAY,iBAAiB,EAAwB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChH,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAajC,MAAM,MAAM,mCAAmC,GAC3C;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEtD;;;GAGG;AACH,wBAAgB,2CAA2C,CAAC,KAAK,EAAE;IACjE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;CACzC,GAAG,mCAAmC,CActC;AAED;;GAEG;AACH,wBAAgB,uCAAuC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAiB/F;AAED,MAAM,MAAM,yCAAyC,GAAG;IACtD,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,4BAA4B,GAAG;IACzC,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IACrC,YAAY,IAAI,MAAM,CAAC;IACvB,8EAA8E;IAC9E,kBAAkB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACpD,uCAAuC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1D,CAAC;AAEF,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,yCAAyC,GACjD,4BAA4B,CAgF9B"}
|
|
@@ -0,0 +1,127 @@
|
|
|
1
|
+
import path from "node:path";
|
|
2
|
+
import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
|
|
3
|
+
import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
|
|
4
|
+
import { isToolObservedRunEvent } from "./executionTrace.js";
|
|
5
|
+
import { validatedLangGraphIneligibleCertificate } from "./langGraphCheckpointTrustIneligibleCertificate.js";
|
|
6
|
+
import { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
|
|
7
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
8
|
+
import { resolveVerificationPolicyInput } from "./verificationPolicy.js";
|
|
9
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
10
|
+
import { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
11
|
+
import { buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, } from "./outcomeCertificate.js";
|
|
12
|
+
import { verifyRunStateFromBufferedRunEvents } from "./verifyRunStateFromBufferedRunEvents.js";
|
|
13
|
+
const validateEvent = loadSchemaValidator("event");
|
|
14
|
+
const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
|
|
15
|
+
function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
|
|
16
|
+
if (POSTGRES_URL_RE.test(databaseUrl)) {
|
|
17
|
+
return { kind: "postgres", connectionString: databaseUrl };
|
|
18
|
+
}
|
|
19
|
+
return { kind: "sqlite", path: path.resolve(projectRoot, databaseUrl) };
|
|
20
|
+
}
|
|
21
|
+
/**
|
|
22
|
+
* Shared eligibility for LangGraph checkpoint trust (CLI + runtime gate).
|
|
23
|
+
* Preconditions: `toolObservedEvents` are schema-valid `tool_observed` for the target workflow only.
|
|
24
|
+
*/
|
|
25
|
+
export function classifyLangGraphCheckpointTrustEligibility(input) {
|
|
26
|
+
if (input.runLevelReasons.length > 0) {
|
|
27
|
+
return { eligible: false, certificateReasons: [...input.runLevelReasons] };
|
|
28
|
+
}
|
|
29
|
+
if (input.toolObservedEvents.length === 0) {
|
|
30
|
+
return { eligible: false, certificateReasons: [runLevelIssue("NO_STEPS_FOR_WORKFLOW")] };
|
|
31
|
+
}
|
|
32
|
+
if (input.toolObservedEvents.some((t) => t.schemaVersion !== 3)) {
|
|
33
|
+
return {
|
|
34
|
+
eligible: false,
|
|
35
|
+
certificateReasons: [runLevelIssue("LANGGRAPH_CHECKPOINT_TRUST_NON_V3_TOOL_OBSERVED")],
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
return { eligible: true };
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
|
|
42
|
+
*/
|
|
43
|
+
export function assertLangGraphCheckpointProductionGate(certificate) {
|
|
44
|
+
if (certificate.runKind !== "contract_sql_langgraph_checkpoint_trust") {
|
|
45
|
+
throw new Error("assertLangGraphCheckpointProductionGate: certificate.runKind must be contract_sql_langgraph_checkpoint_trust");
|
|
46
|
+
}
|
|
47
|
+
const verdicts = certificate.checkpointVerdicts;
|
|
48
|
+
const rowB = verdicts !== undefined &&
|
|
49
|
+
verdicts.length > 0 &&
|
|
50
|
+
verdicts.every((r) => r.verdict === "verified") &&
|
|
51
|
+
certificate.stateRelation === "matches_expectations" &&
|
|
52
|
+
certificate.highStakesReliance === "permitted" &&
|
|
53
|
+
trustDecisionFromCertificate(certificate) === "safe";
|
|
54
|
+
if (rowB)
|
|
55
|
+
return;
|
|
56
|
+
const { lines } = formatDecisionBlockerForHumans(certificate);
|
|
57
|
+
throw new LangGraphCheckpointTrustUnsafeError(certificate, lines);
|
|
58
|
+
}
|
|
59
|
+
export function createLangGraphCheckpointTrustGate(options) {
|
|
60
|
+
const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
|
|
61
|
+
const registryPath = path.resolve(projectRoot, options.registryPath);
|
|
62
|
+
const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
|
|
63
|
+
const database = verificationDatabaseFromUrl(options.databaseUrl, projectRoot);
|
|
64
|
+
const logStep = options.logStep ?? (() => { });
|
|
65
|
+
const truthReport = options.truthReport ?? (() => { });
|
|
66
|
+
const bufferedRunEvents = [];
|
|
67
|
+
const runLevelReasons = [];
|
|
68
|
+
const api = {};
|
|
69
|
+
api.appendRunEvent = (value) => {
|
|
70
|
+
if (typeof value !== "object" || value === null) {
|
|
71
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
72
|
+
return;
|
|
73
|
+
}
|
|
74
|
+
if (!validateEvent(value)) {
|
|
75
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
76
|
+
return;
|
|
77
|
+
}
|
|
78
|
+
const ev = value;
|
|
79
|
+
if (ev.workflowId !== options.workflowId) {
|
|
80
|
+
return;
|
|
81
|
+
}
|
|
82
|
+
bufferedRunEvents.push(ev);
|
|
83
|
+
};
|
|
84
|
+
api.toNdjsonUtf8 = () => {
|
|
85
|
+
const parts = [];
|
|
86
|
+
for (const ev of bufferedRunEvents) {
|
|
87
|
+
parts.push(`${JSON.stringify(ev)}\n`);
|
|
88
|
+
}
|
|
89
|
+
return Buffer.from(parts.join(""), "utf8");
|
|
90
|
+
};
|
|
91
|
+
api.runCheckpointTrust = async () => {
|
|
92
|
+
if (!bufferedRunEvents.length && !runLevelReasons.length) {
|
|
93
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "LangGraphCheckpointTrustGate.runCheckpointTrust requires at least one buffered run event for the workflow.");
|
|
94
|
+
}
|
|
95
|
+
const toolObservedEvents = bufferedRunEvents.filter(isToolObservedRunEvent);
|
|
96
|
+
const eligibility = classifyLangGraphCheckpointTrustEligibility({
|
|
97
|
+
runLevelReasons,
|
|
98
|
+
toolObservedEvents,
|
|
99
|
+
});
|
|
100
|
+
if (!eligibility.eligible) {
|
|
101
|
+
return validatedLangGraphIneligibleCertificate(options.workflowId, eligibility.certificateReasons);
|
|
102
|
+
}
|
|
103
|
+
const result = await verifyRunStateFromBufferedRunEvents({
|
|
104
|
+
workflowId: options.workflowId,
|
|
105
|
+
registryPath,
|
|
106
|
+
database,
|
|
107
|
+
projectRoot,
|
|
108
|
+
bufferedRunEvents,
|
|
109
|
+
runLevelReasons,
|
|
110
|
+
verificationPolicy,
|
|
111
|
+
logStep,
|
|
112
|
+
truthReport,
|
|
113
|
+
});
|
|
114
|
+
const certificate = buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result);
|
|
115
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v1");
|
|
116
|
+
if (!validateCert(certificate)) {
|
|
117
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
118
|
+
}
|
|
119
|
+
return certificate;
|
|
120
|
+
};
|
|
121
|
+
api.assertLangGraphCheckpointProductionGate = async () => {
|
|
122
|
+
const certificate = await api.runCheckpointTrust();
|
|
123
|
+
assertLangGraphCheckpointProductionGate(certificate);
|
|
124
|
+
};
|
|
125
|
+
return api;
|
|
126
|
+
}
|
|
127
|
+
//# sourceMappingURL=langGraphCheckpointTrustGate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustGate.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,uCAAuC,EAAE,MAAM,oDAAoD,CAAC;AAC7G,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;AACvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EACL,iEAAiE,GAElE,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAE/F,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;AAMD;;;GAGG;AACH,MAAM,UAAU,2CAA2C,CAAC,KAG3D;IACC,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,kBAAkB,EAAE,CAAC,aAAa,CAAC,iDAAiD,CAAC,CAAC;SACvF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uCAAuC,CAAC,WAAiC;IACvF,IAAI,WAAW,CAAC,OAAO,KAAK,yCAAyC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,8GAA8G,CAC/G,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,kBAAkB,CAAC;IAChD,MAAM,IAAI,GACR,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC;QAC/C,WAAW,CAAC,aAAa,KAAK,sBAAsB;QACpD,WAAW,CAAC,kBAAkB,KAAK,WAAW;QAC9C,4BAA4B,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC;IACvD,IAAI,IAAI;QAAE,OAAO;IACjB,MAAM,EAAE,KAAK,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,IAAI,mCAAmC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AAoBD,MAAM,UAAU,kCAAkC,CAChD,OAAkD;IAElD,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,EAAkC,CAAC;IAE/C,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,kBAAkB,GAAG,KAAK,IAAmC,EAAE;QACjE,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,4GAA4G,CAC7G,CAAC;QACJ,CAAC;QACD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,sBAAsB,CAAwB,CAAC;QACnG,MAAM,WAAW,GAAG,2CAA2C,CAAC;YAC9D,eAAe;YACf,kBAAkB;SACnB,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,OAAO,uCAAuC,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACrG,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mCAAmC,CAAC;YACvD,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY;YACZ,QAAQ;YACR,WAAW;YACX,iBAAiB;YACjB,eAAe;YACf,kBAAkB;YAClB,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,iEAAiE,CAAC,MAAM,CAAC,CAAC;QAC9F,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,uCAAuC,GAAG,KAAK,IAAmB,EAAE;QACtE,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACnD,uCAAuC,CAAC,WAAW,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { Reason } from "./types.js";
|
|
2
|
+
import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
3
|
+
/**
|
|
4
|
+
* Ineligible LangGraph checkpoint trust: Outcome Certificate only (no DB, no reconcile path).
|
|
5
|
+
* Import surface is intentionally tiny; CI guards this file against forbidden imports.
|
|
6
|
+
*/
|
|
7
|
+
export declare function validatedLangGraphIneligibleCertificate(workflowId: string, reasons: Reason[]): OutcomeCertificateV1;
|
|
8
|
+
//# sourceMappingURL=langGraphCheckpointTrustIneligibleCertificate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustIneligibleCertificate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustIneligibleCertificate.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAEjC;;;GAGG;AACH,wBAAgB,uCAAuC,CACrD,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EAAE,GAChB,oBAAoB,CAUtB"}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
|
|
2
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
3
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
4
|
+
import { buildIneligibleLangGraphCheckpointTrustCertificate, } from "./outcomeCertificate.js";
|
|
5
|
+
/**
|
|
6
|
+
* Ineligible LangGraph checkpoint trust: Outcome Certificate only (no DB, no reconcile path).
|
|
7
|
+
* Import surface is intentionally tiny; CI guards this file against forbidden imports.
|
|
8
|
+
*/
|
|
9
|
+
export function validatedLangGraphIneligibleCertificate(workflowId, reasons) {
|
|
10
|
+
const certificate = buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, reasons);
|
|
11
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v1");
|
|
12
|
+
if (!validateCert(certificate)) {
|
|
13
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
14
|
+
}
|
|
15
|
+
return certificate;
|
|
16
|
+
}
|
|
17
|
+
//# sourceMappingURL=langGraphCheckpointTrustIneligibleCertificate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustIneligibleCertificate.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustIneligibleCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EACL,kDAAkD,GAEnD,MAAM,yBAAyB,CAAC;AAEjC;;;GAGG;AACH,MAAM,UAAU,uCAAuC,CACrD,UAAkB,EAClB,OAAiB;IAEjB,MAAM,WAAW,GAAG,kDAAkD,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import type { TrustDecision } from "./trustDecision.js";
|
|
3
|
+
export declare class LangGraphCheckpointTrustUnsafeError extends Error {
|
|
4
|
+
readonly trustDecision: TrustDecision;
|
|
5
|
+
readonly certificate: OutcomeCertificateV1;
|
|
6
|
+
constructor(certificate: OutcomeCertificateV1, lines: string[]);
|
|
7
|
+
}
|
|
8
|
+
//# sourceMappingURL=langGraphCheckpointTrustUnsafeError.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustUnsafeError.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustUnsafeError.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxD,qBAAa,mCAAoC,SAAQ,KAAK;IAC5D,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"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
2
|
+
export class LangGraphCheckpointTrustUnsafeError extends Error {
|
|
3
|
+
trustDecision;
|
|
4
|
+
certificate;
|
|
5
|
+
constructor(certificate, lines) {
|
|
6
|
+
super(lines.join("\n"));
|
|
7
|
+
this.name = "LangGraphCheckpointTrustUnsafeError";
|
|
8
|
+
this.certificate = certificate;
|
|
9
|
+
this.trustDecision = trustDecisionFromCertificate(certificate);
|
|
10
|
+
}
|
|
11
|
+
}
|
|
12
|
+
//# sourceMappingURL=langGraphCheckpointTrustUnsafeError.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustUnsafeError.js","sourceRoot":"","sources":["../src/langGraphCheckpointTrustUnsafeError.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,MAAM,OAAO,mCAAoC,SAAQ,KAAK;IACnD,aAAa,CAAgB;IAC7B,WAAW,CAAuB;IAE3C,YAAY,WAAiC,EAAE,KAAe;QAC5D,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;QAClD,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,aAAa,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACjE,CAAC;CACF"}
|
package/dist/loadEvents.d.ts
CHANGED
|
@@ -2,4 +2,9 @@ import type { LoadEventsResult } from "./types.js";
|
|
|
2
2
|
/** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
|
|
3
3
|
export declare function resetLoadEventsTestThrowInvocationCounter(): void;
|
|
4
4
|
export declare function loadEventsForWorkflow(eventsFilePath: string, workflowId: string): LoadEventsResult;
|
|
5
|
+
/**
|
|
6
|
+
* True when the events file contains at least one schema-valid `tool_observed` for `workflowId`
|
|
7
|
+
* with `schemaVersion === 3` (generic batch verify must refuse without `--langgraph-checkpoint-trust`).
|
|
8
|
+
*/
|
|
9
|
+
export declare function eventsFileHasSchemaV3ToolObservedForWorkflow(eventsFilePath: string, workflowId: string): boolean;
|
|
5
10
|
//# sourceMappingURL=loadEvents.d.ts.map
|
package/dist/loadEvents.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAQxF,uGAAuG;AACvG,wBAAgB,yCAAyC,IAAI,IAAI,CAEhE;AAMD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CAkFlB"}
|
|
1
|
+
{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAQxF,uGAAuG;AACvG,wBAAgB,yCAAyC,IAAI,IAAI,CAEhE;AAMD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CAkFlB;AAED;;;GAGG;AACH,wBAAgB,4CAA4C,CAC1D,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,OAAO,CAqBT"}
|
package/dist/loadEvents.js
CHANGED
|
@@ -93,4 +93,36 @@ export function loadEventsForWorkflow(eventsFilePath, workflowId) {
|
|
|
93
93
|
},
|
|
94
94
|
};
|
|
95
95
|
}
|
|
96
|
+
/**
|
|
97
|
+
* True when the events file contains at least one schema-valid `tool_observed` for `workflowId`
|
|
98
|
+
* with `schemaVersion === 3` (generic batch verify must refuse without `--langgraph-checkpoint-trust`).
|
|
99
|
+
*/
|
|
100
|
+
export function eventsFileHasSchemaV3ToolObservedForWorkflow(eventsFilePath, workflowId) {
|
|
101
|
+
let raw;
|
|
102
|
+
try {
|
|
103
|
+
raw = readFileSync(eventsFilePath, "utf8");
|
|
104
|
+
}
|
|
105
|
+
catch {
|
|
106
|
+
return false;
|
|
107
|
+
}
|
|
108
|
+
for (const line of raw.split(/\r?\n/)) {
|
|
109
|
+
if (line.trim().length === 0)
|
|
110
|
+
continue;
|
|
111
|
+
let parsed;
|
|
112
|
+
try {
|
|
113
|
+
parsed = JSON.parse(line);
|
|
114
|
+
}
|
|
115
|
+
catch {
|
|
116
|
+
continue;
|
|
117
|
+
}
|
|
118
|
+
if (!validateEvent(parsed))
|
|
119
|
+
continue;
|
|
120
|
+
const ev = parsed;
|
|
121
|
+
if (ev.type !== "tool_observed" || ev.workflowId !== workflowId)
|
|
122
|
+
continue;
|
|
123
|
+
if (ev.schemaVersion === 3)
|
|
124
|
+
return true;
|
|
125
|
+
}
|
|
126
|
+
return false;
|
|
127
|
+
}
|
|
96
128
|
//# sourceMappingURL=loadEvents.js.map
|
package/dist/loadEvents.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,IAAI,0BAA0B,GAAG,CAAC,CAAC;AAEnC,uGAAuG;AACvG,MAAM,UAAU,yCAAyC;IACvD,0BAA0B,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,KAAK,GAAG,EAAE,CAAC;QAC/D,0BAA0B,IAAI,CAAC,CAAC;QAChC,IAAI,0BAA0B,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,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,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,IAAI,0BAA0B,GAAG,CAAC,CAAC;AAEnC,uGAAuG;AACvG,MAAM,UAAU,yCAAyC;IACvD,0BAA0B,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,KAAK,GAAG,EAAE,CAAC;QAC/D,0BAA0B,IAAI,CAAC,CAAC;QAChC,IAAI,0BAA0B,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,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,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4CAA4C,CAC1D,cAAsB,EACtB,UAAkB;IAElB,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,SAAS;QACrC,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU;YAAE,SAAS;QAC1E,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -558,5 +558,13 @@ export declare const OPERATIONAL_DISPOSITION: {
|
|
|
558
558
|
readonly recommendedAction: "fix_cli_usage";
|
|
559
559
|
readonly automationSafe: false;
|
|
560
560
|
};
|
|
561
|
+
readonly LANGGRAPH_CHECKPOINT_TRUST_GENERIC_MODE_CONFLICT: {
|
|
562
|
+
readonly origin: "inputs";
|
|
563
|
+
readonly summary: "Generic contract verify was invoked without --langgraph-checkpoint-trust while the events file contains schemaVersion 3 tool_observed lines for the workflow.";
|
|
564
|
+
readonly actionableCategory: "bad_input";
|
|
565
|
+
readonly actionableSeverity: "low";
|
|
566
|
+
readonly recommendedAction: "fix_cli_usage";
|
|
567
|
+
readonly automationSafe: false;
|
|
568
|
+
};
|
|
561
569
|
};
|
|
562
570
|
//# sourceMappingURL=operationalDisposition.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB
|
|
1
|
+
{"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAijBmC,CAAC"}
|
|
@@ -550,5 +550,13 @@ export const OPERATIONAL_DISPOSITION = {
|
|
|
550
550
|
recommendedAction: "fix_cli_usage",
|
|
551
551
|
automationSafe: false,
|
|
552
552
|
},
|
|
553
|
+
[CLI_OPERATIONAL_CODES.LANGGRAPH_CHECKPOINT_TRUST_GENERIC_MODE_CONFLICT]: {
|
|
554
|
+
origin: "inputs",
|
|
555
|
+
summary: "Generic contract verify was invoked without --langgraph-checkpoint-trust while the events file contains schemaVersion 3 tool_observed lines for the workflow.",
|
|
556
|
+
actionableCategory: "bad_input",
|
|
557
|
+
actionableSeverity: "low",
|
|
558
|
+
recommendedAction: "fix_cli_usage",
|
|
559
|
+
automationSafe: false,
|
|
560
|
+
},
|
|
553
561
|
};
|
|
554
562
|
//# sourceMappingURL=operationalDisposition.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2EAA2E;QACpF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0EAA0E;QACnF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,EAAE;QAChD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+EAA+E;QACxF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}
|
|
1
|
+
{"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2EAA2E;QACpF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0EAA0E;QACnF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,EAAE;QAChD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+EAA+E;QACxF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,gDAAgD,CAAC,EAAE;QACxE,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,+JAA+J;QACjK,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
|
|
2
2
|
import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
|
|
3
|
-
import type { WorkflowResult } from "./types.js";
|
|
4
|
-
export type OutcomeCertificateRunKind = "contract_sql" | "quick_preview";
|
|
3
|
+
import type { Reason, WorkflowResult } from "./types.js";
|
|
4
|
+
export type OutcomeCertificateRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
|
|
5
5
|
export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
|
|
6
6
|
export type OutcomeCertificateHighStakesReliance = "permitted" | "prohibited";
|
|
7
7
|
export type OutcomeCertificateExplanationDetail = {
|
|
@@ -15,6 +15,12 @@ export type OutcomeCertificateStep = {
|
|
|
15
15
|
expectedOutcome: string;
|
|
16
16
|
observedOutcome: string;
|
|
17
17
|
};
|
|
18
|
+
export type OutcomeCertificateCheckpointVerdict = {
|
|
19
|
+
checkpointKey: string;
|
|
20
|
+
verdict: "verified" | "inconsistent" | "incomplete";
|
|
21
|
+
seqs: number[];
|
|
22
|
+
productionMeaning: string;
|
|
23
|
+
};
|
|
18
24
|
/** Public verification artifact (v1). Normative: docs/outcome-certificate-normative.md */
|
|
19
25
|
export type OutcomeCertificateV1 = {
|
|
20
26
|
schemaVersion: 1;
|
|
@@ -30,9 +36,15 @@ export type OutcomeCertificateV1 = {
|
|
|
30
36
|
};
|
|
31
37
|
steps: OutcomeCertificateStep[];
|
|
32
38
|
humanReport: string;
|
|
39
|
+
checkpointVerdicts?: OutcomeCertificateCheckpointVerdict[];
|
|
33
40
|
};
|
|
34
41
|
export declare function deriveHighStakesReliance(runKind: OutcomeCertificateRunKind, stateRelation: OutcomeCertificateStateRelation): OutcomeCertificateHighStakesReliance;
|
|
35
42
|
export declare function workflowResultToStateRelation(result: WorkflowResult): OutcomeCertificateStateRelation;
|
|
43
|
+
export declare function computeCheckpointVerdictsFromWorkflowResult(result: WorkflowResult): OutcomeCertificateCheckpointVerdict[];
|
|
44
|
+
/** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
|
|
45
|
+
export declare const LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE: "LangGraph checkpoint trust: ineligible";
|
|
46
|
+
export declare function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId: string, runLevelReasons: Reason[]): OutcomeCertificateV1;
|
|
47
|
+
export declare function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result: WorkflowResult): OutcomeCertificateV1;
|
|
36
48
|
/**
|
|
37
49
|
* Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
|
|
38
50
|
*/
|
|
@@ -1 +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;
|
|
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,MAAM,EAAe,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGzF,MAAM,MAAM,yBAAyB,GACjC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,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,MAAM,MAAM,mCAAmC,GAAG;IAChD,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;CAC3B,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;IACpB,kBAAkB,CAAC,EAAE,mCAAmC,EAAE,CAAC;CAC5D,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;AAkFD,wBAAgB,2CAA2C,CACzD,MAAM,EAAE,cAAc,GACrB,mCAAmC,EAAE,CA2BvC;AAED,6EAA6E;AAC7E,eAAO,MAAM,8CAA8C,EACzD,wCAAiD,CAAC;AAEpD,wBAAgB,kDAAkD,CAChE,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,GACxB,oBAAoB,CAiCtB;AAED,wBAAgB,iEAAiE,CAC/E,MAAM,EAAE,cAAc,GACrB,oBAAoB,CA6BtB;AAED;;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"}
|
|
@@ -27,6 +27,15 @@ function buildRelianceRationale(runKind, stateRelation, highStakesReliance) {
|
|
|
27
27
|
if (runKind === "quick_preview") {
|
|
28
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
29
|
}
|
|
30
|
+
if (runKind === "contract_sql_langgraph_checkpoint_trust") {
|
|
31
|
+
if (highStakesReliance === "permitted") {
|
|
32
|
+
return "Contract verification used your registry and read-only SQL; every captured step matched declared expectations under the configured rules, and every LangGraph checkpoint rollup verdict is verified. You may treat this artifact as decision-grade for those steps, subject to your own scope and retention policy.";
|
|
33
|
+
}
|
|
34
|
+
if (stateRelation === "does_not_match") {
|
|
35
|
+
return "At least one step failed verification against the database (missing row, wrong values, or partial multi-effect failure), or a LangGraph checkpoint rollup verdict is inconsistent. Do not treat this run as meeting its intended persisted outcome.";
|
|
36
|
+
}
|
|
37
|
+
return "LangGraph checkpoint trust mode did not establish a single approved production snapshot (ineligible wire, incomplete verification, incomplete checkpoint rollup, or sequence integrity). Do not treat absence of a mismatch as proof of success.";
|
|
38
|
+
}
|
|
30
39
|
if (highStakesReliance === "permitted") {
|
|
31
40
|
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
41
|
}
|
|
@@ -51,6 +60,116 @@ function buildExplanationFromWorkflowResult(result) {
|
|
|
51
60
|
(fe !== null ? `${fe.divergence} — expected: ${fe.expected}; observed: ${fe.observed}` : truth.trustSummary);
|
|
52
61
|
return { headline, details };
|
|
53
62
|
}
|
|
63
|
+
function rollupCheckpointGroupVerdict(outcomes) {
|
|
64
|
+
if (outcomes.some((o) => o.status === "incomplete_verification"))
|
|
65
|
+
return "incomplete";
|
|
66
|
+
if (outcomes.some((o) => o.status === "missing" || o.status === "inconsistent" || o.status === "partially_verified")) {
|
|
67
|
+
return "inconsistent";
|
|
68
|
+
}
|
|
69
|
+
if (outcomes.every((o) => o.status === "verified"))
|
|
70
|
+
return "verified";
|
|
71
|
+
return "incomplete";
|
|
72
|
+
}
|
|
73
|
+
function checkpointProductionMeaning(verdict) {
|
|
74
|
+
if (verdict === "verified") {
|
|
75
|
+
return "Production may advance under this checkpoint identity.";
|
|
76
|
+
}
|
|
77
|
+
if (verdict === "inconsistent") {
|
|
78
|
+
return "Do not advance production for this checkpoint identity until traces and database agree.";
|
|
79
|
+
}
|
|
80
|
+
return "Verification is incomplete for this checkpoint identity; production gate remains closed.";
|
|
81
|
+
}
|
|
82
|
+
export function computeCheckpointVerdictsFromWorkflowResult(result) {
|
|
83
|
+
const byKey = new Map();
|
|
84
|
+
for (const s of result.steps) {
|
|
85
|
+
if (s.langgraphCheckpointKey === undefined)
|
|
86
|
+
continue;
|
|
87
|
+
const g = byKey.get(s.langgraphCheckpointKey) ?? { seqs: [], outcomes: [] };
|
|
88
|
+
g.seqs.push(s.seq);
|
|
89
|
+
g.outcomes.push(s);
|
|
90
|
+
byKey.set(s.langgraphCheckpointKey, g);
|
|
91
|
+
}
|
|
92
|
+
const keys = [...byKey.keys()].sort((a, b) => {
|
|
93
|
+
const ea = byKey.get(a);
|
|
94
|
+
const eb = byKey.get(b);
|
|
95
|
+
const minA = Math.min(...ea.seqs);
|
|
96
|
+
const minB = Math.min(...eb.seqs);
|
|
97
|
+
return minA - minB || a.localeCompare(b);
|
|
98
|
+
});
|
|
99
|
+
return keys.map((key) => {
|
|
100
|
+
const { seqs, outcomes } = byKey.get(key);
|
|
101
|
+
const sortedSeqs = [...new Set(seqs)].sort((x, y) => x - y);
|
|
102
|
+
const verdict = rollupCheckpointGroupVerdict(outcomes);
|
|
103
|
+
return {
|
|
104
|
+
checkpointKey: key,
|
|
105
|
+
verdict,
|
|
106
|
+
seqs: sortedSeqs,
|
|
107
|
+
productionMeaning: checkpointProductionMeaning(verdict),
|
|
108
|
+
};
|
|
109
|
+
});
|
|
110
|
+
}
|
|
111
|
+
/** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
|
|
112
|
+
export const LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE = "LangGraph checkpoint trust: ineligible";
|
|
113
|
+
export function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, runLevelReasons) {
|
|
114
|
+
const runKind = "contract_sql_langgraph_checkpoint_trust";
|
|
115
|
+
const stateRelation = "not_established";
|
|
116
|
+
const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
|
|
117
|
+
const ineligibleHeadline = LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE;
|
|
118
|
+
const details = runLevelReasons.length > 0
|
|
119
|
+
? runLevelReasons.map((r) => ({ code: r.code, message: r.message }))
|
|
120
|
+
: [
|
|
121
|
+
{
|
|
122
|
+
code: "LANGGRAPH_INELIGIBLE",
|
|
123
|
+
message: "No schema-valid schemaVersion 3 tool_observed lines for this workflow in LangGraph checkpoint trust mode.",
|
|
124
|
+
},
|
|
125
|
+
];
|
|
126
|
+
const humanReport = runLevelReasons.length > 0
|
|
127
|
+
? `${ineligibleHeadline}\n${runLevelReasons.map((r) => `${r.code}: ${r.message}`).join("\n")}`
|
|
128
|
+
: `${ineligibleHeadline}\n${details[0].code}: ${details[0].message}`;
|
|
129
|
+
const cert = {
|
|
130
|
+
schemaVersion: 1,
|
|
131
|
+
workflowId,
|
|
132
|
+
runKind,
|
|
133
|
+
stateRelation,
|
|
134
|
+
highStakesReliance,
|
|
135
|
+
relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
|
|
136
|
+
intentSummary: ineligibleHeadline,
|
|
137
|
+
explanation: { headline: ineligibleHeadline, details },
|
|
138
|
+
steps: [],
|
|
139
|
+
humanReport,
|
|
140
|
+
};
|
|
141
|
+
assertOutcomeCertificateInvariants(cert);
|
|
142
|
+
return cert;
|
|
143
|
+
}
|
|
144
|
+
export function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result) {
|
|
145
|
+
const runKind = "contract_sql_langgraph_checkpoint_trust";
|
|
146
|
+
const stateRelation = workflowResultToStateRelation(result);
|
|
147
|
+
const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
|
|
148
|
+
const truth = result.workflowTruthReport;
|
|
149
|
+
const steps = truth.steps.map(truthStepToCertificateStep);
|
|
150
|
+
const checkpointVerdicts = computeCheckpointVerdictsFromWorkflowResult(result);
|
|
151
|
+
const baseHuman = formatWorkflowTruthReportStruct(truth);
|
|
152
|
+
const humanReport = checkpointVerdicts.length === 0
|
|
153
|
+
? baseHuman
|
|
154
|
+
: `${baseHuman}\n\nlanggraph_checkpoint_verdicts:\n${checkpointVerdicts
|
|
155
|
+
.map((c) => `${c.checkpointKey}\t${c.verdict}\t${c.productionMeaning}`)
|
|
156
|
+
.join("\n")}`;
|
|
157
|
+
const cert = {
|
|
158
|
+
schemaVersion: 1,
|
|
159
|
+
workflowId: result.workflowId,
|
|
160
|
+
runKind,
|
|
161
|
+
stateRelation,
|
|
162
|
+
highStakesReliance,
|
|
163
|
+
relianceRationale: buildRelianceRationale(runKind, stateRelation, highStakesReliance),
|
|
164
|
+
intentSummary: truth.trustSummary,
|
|
165
|
+
explanation: buildExplanationFromWorkflowResult(result),
|
|
166
|
+
steps,
|
|
167
|
+
humanReport,
|
|
168
|
+
checkpointVerdicts,
|
|
169
|
+
};
|
|
170
|
+
assertOutcomeCertificateInvariants(cert);
|
|
171
|
+
return cert;
|
|
172
|
+
}
|
|
54
173
|
/**
|
|
55
174
|
* Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
|
|
56
175
|
*/
|