agentskeptic 2.4.0 → 3.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/cli/lockOrchestration.d.ts +0 -4
- package/dist/cli/lockOrchestration.d.ts.map +1 -1
- package/dist/cli/lockOrchestration.js +2 -2
- package/dist/cli/lockOrchestration.js.map +1 -1
- package/dist/commercial/postTrustDecisionBlocked.d.ts +11 -0
- package/dist/commercial/postTrustDecisionBlocked.d.ts.map +1 -0
- package/dist/commercial/postTrustDecisionBlocked.js +33 -0
- package/dist/commercial/postTrustDecisionBlocked.js.map +1 -0
- package/dist/commercial/trustDecisionRecord.d.ts +45 -0
- package/dist/commercial/trustDecisionRecord.d.ts.map +1 -0
- package/dist/commercial/trustDecisionRecord.js +65 -0
- package/dist/commercial/trustDecisionRecord.js.map +1 -0
- package/dist/commercial/trustDecisionRecord.schema.test.d.ts +2 -0
- package/dist/commercial/trustDecisionRecord.schema.test.d.ts.map +1 -0
- package/dist/commercial/trustDecisionRecord.schema.test.js +35 -0
- package/dist/commercial/trustDecisionRecord.schema.test.js.map +1 -0
- package/dist/decisionBlocker.d.ts +4 -0
- package/dist/decisionBlocker.d.ts.map +1 -1
- package/dist/decisionBlocker.js +5 -2
- package/dist/decisionBlocker.js.map +1 -1
- package/dist/decisionGate.assertSafe.test.js +3 -3
- package/dist/decisionGate.assertSafe.test.js.map +1 -1
- package/dist/decisionGate.d.ts +4 -0
- package/dist/decisionGate.d.ts.map +1 -1
- package/dist/decisionGate.js +13 -5
- package/dist/decisionGate.js.map +1 -1
- package/dist/enforceStateful.d.ts.map +1 -1
- package/dist/enforceStateful.js +67 -22
- package/dist/enforceStateful.js.map +1 -1
- package/dist/finalizeIrreversibleTrustBlock.d.ts +12 -0
- package/dist/finalizeIrreversibleTrustBlock.d.ts.map +1 -0
- package/dist/finalizeIrreversibleTrustBlock.js +13 -0
- package/dist/finalizeIrreversibleTrustBlock.js.map +1 -0
- package/dist/governanceEvidence.d.ts +27 -0
- package/dist/governanceEvidence.d.ts.map +1 -0
- package/dist/governanceEvidence.js +54 -0
- package/dist/governanceEvidence.js.map +1 -0
- package/dist/governanceEvidence.test.d.ts +2 -0
- package/dist/governanceEvidence.test.d.ts.map +1 -0
- package/dist/governanceEvidence.test.js +78 -0
- package/dist/governanceEvidence.test.js.map +1 -0
- package/dist/index.d.ts +3 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -3
- package/dist/index.js.map +1 -1
- package/dist/langGraphCheckpointTrustGate.d.ts +8 -1
- package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -1
- package/dist/langGraphCheckpointTrustGate.js +27 -14
- package/dist/langGraphCheckpointTrustGate.js.map +1 -1
- package/dist/loop/loopOutput.d.ts +1 -1
- package/dist/loop/loopOutput.d.ts.map +1 -1
- package/dist/loop/loopOutput.js +4 -4
- package/dist/loop/loopOutput.js.map +1 -1
- package/dist/loop/runLoopSubcommand.d.ts.map +1 -1
- package/dist/loop/runLoopSubcommand.js +4 -2
- package/dist/loop/runLoopSubcommand.js.map +1 -1
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/schemaLoad.d.ts +1 -1
- package/dist/schemaLoad.d.ts.map +1 -1
- package/dist/schemaLoad.js +7 -0
- package/dist/schemaLoad.js.map +1 -1
- package/dist/sdk/_generated/openapi-types.d.ts +199 -6
- package/dist/sdk/_generated/openapi-types.d.ts.map +1 -1
- package/dist/sdk/deprecatedPublicApi.d.ts +1 -1
- package/dist/sdk/deprecatedPublicApi.d.ts.map +1 -1
- package/dist/sdk/deprecatedPublicApi.js +2 -2
- package/dist/sdk/deprecatedPublicApi.js.map +1 -1
- package/dist/trustDecisionBlockedError.d.ts +16 -0
- package/dist/trustDecisionBlockedError.d.ts.map +1 -0
- package/dist/trustDecisionBlockedError.js +21 -0
- package/dist/trustDecisionBlockedError.js.map +1 -0
- package/package.json +1 -1
- package/schemas/governance-audit-bundle-v1.schema.json +33 -0
- package/schemas/material-truth-v1.schema.json +62 -0
- package/schemas/openapi-commercial-v1.in.yaml +225 -8
- package/schemas/openapi-commercial-v1.yaml +226 -9
- package/schemas/trust-certificate-snapshot-v1.schema.json +36 -0
- package/schemas/trust-decision-record-v1.schema.json +72 -0
- package/dist/decisionUnsafeError.d.ts +0 -8
- package/dist/decisionUnsafeError.d.ts.map +0 -1
- package/dist/decisionUnsafeError.js +0 -12
- package/dist/decisionUnsafeError.js.map +0 -1
- package/dist/enforcementProjection.d.ts +0 -17
- package/dist/enforcementProjection.d.ts.map +0 -1
- package/dist/enforcementProjection.js +0 -20
- package/dist/enforcementProjection.js.map +0 -1
- package/dist/langGraphCheckpointTrustUnsafeError.d.ts +0 -8
- package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +0 -1
- package/dist/langGraphCheckpointTrustUnsafeError.js +0 -12
- package/dist/langGraphCheckpointTrustUnsafeError.js.map +0 -1
package/dist/enforceStateful.js
CHANGED
|
@@ -1,13 +1,16 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { randomUUID } from "node:crypto";
|
|
2
2
|
import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
3
|
-
import { parseBatchVerifyCliArgs } from "./cliArgv.js";
|
|
3
|
+
import { parseBatchVerifyCliArgs, parseQuickCliArgs } from "./cliArgv.js";
|
|
4
4
|
import { verifyWorkflow } from "./pipeline.js";
|
|
5
5
|
import { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
|
|
6
6
|
import { TruthLayerError } from "./truthLayerError.js";
|
|
7
|
-
import {
|
|
7
|
+
import { stableStringify } from "./jsonStableStringify.js";
|
|
8
8
|
import { runLicensePreflightIfNeeded } from "./commercial/licensePreflight.js";
|
|
9
9
|
import { cliErrorEnvelope } from "./failureCatalog.js";
|
|
10
10
|
import { postEnforcementJson } from "./sdk/transport.js";
|
|
11
|
+
import { buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateFromWorkflowResult } from "./outcomeCertificate.js";
|
|
12
|
+
import { runQuickVerifyToValidatedReport } from "./quickVerify/runQuickVerify.js";
|
|
13
|
+
import { canonicalCertificateSha256, materialTruthSha256 } from "./governanceEvidence.js";
|
|
11
14
|
function parseEnforceMode(args) {
|
|
12
15
|
const hasCreate = args.includes("--create-baseline");
|
|
13
16
|
const hasAccept = args.includes("--accept-drift");
|
|
@@ -35,31 +38,73 @@ async function postEnforcementState(path, payload) {
|
|
|
35
38
|
const apiKey = apiKeyOrThrow();
|
|
36
39
|
return postEnforcementJson({ path, payload, apiKey });
|
|
37
40
|
}
|
|
38
|
-
function projectionHash(projectionUtf8) {
|
|
39
|
-
return createHash("sha256").update(projectionUtf8, "utf8").digest("hex");
|
|
40
|
-
}
|
|
41
41
|
export async function runStatefulEnforce(args) {
|
|
42
42
|
const mode = parseEnforceMode(args);
|
|
43
|
-
const
|
|
43
|
+
const stripped = stripEnforceModeArgs(args);
|
|
44
|
+
const isQuick = stripped.includes("--input") || stripped.includes("--export-registry") || stripped.includes("--emit-events");
|
|
44
45
|
const runId = process.env.AGENTSKEPTIC_RUN_ID?.trim() ||
|
|
45
46
|
process.env.WORKFLOW_VERIFIER_RUN_ID?.trim() ||
|
|
46
47
|
randomUUID();
|
|
47
48
|
await runLicensePreflightIfNeeded("enforce", { runId, xRequestId: randomUUID() });
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
49
|
+
let terminalStatus;
|
|
50
|
+
let workflowId;
|
|
51
|
+
let certificate;
|
|
52
|
+
if (isQuick) {
|
|
53
|
+
const pq = parseQuickCliArgs(stripped);
|
|
54
|
+
const out = await runQuickVerifyToValidatedReport({
|
|
55
|
+
inputUtf8: pq.inputPath === "-" ? await new Promise((resolve, reject) => {
|
|
56
|
+
let s = "";
|
|
57
|
+
process.stdin.setEncoding("utf8");
|
|
58
|
+
process.stdin.on("data", (d) => {
|
|
59
|
+
s += d;
|
|
60
|
+
});
|
|
61
|
+
process.stdin.on("end", () => resolve(s));
|
|
62
|
+
process.stdin.on("error", reject);
|
|
63
|
+
}) : await import("node:fs/promises").then((m) => m.readFile(pq.inputPath, "utf8")),
|
|
64
|
+
postgresUrl: pq.postgresUrl ?? undefined,
|
|
65
|
+
sqlitePath: pq.dbPath ?? undefined,
|
|
66
|
+
});
|
|
67
|
+
workflowId = pq.workflowIdQuick;
|
|
68
|
+
certificate = buildOutcomeCertificateFromQuickReport({
|
|
69
|
+
report: out.report,
|
|
70
|
+
workflowId: pq.workflowIdQuick,
|
|
71
|
+
humanReportOptions: {
|
|
72
|
+
workflowId: pq.workflowIdQuick,
|
|
73
|
+
eventsPath: pq.emitEventsPath ?? undefined,
|
|
74
|
+
registryPath: pq.exportPath,
|
|
75
|
+
dbFlag: pq.dbPath ?? undefined,
|
|
76
|
+
postgresUrl: pq.postgresUrl !== undefined,
|
|
77
|
+
},
|
|
78
|
+
});
|
|
79
|
+
terminalStatus =
|
|
80
|
+
out.report.verdict === "pass" ? "complete"
|
|
81
|
+
: out.report.verdict === "fail" ? "inconsistent"
|
|
82
|
+
: "incomplete";
|
|
83
|
+
}
|
|
84
|
+
else {
|
|
85
|
+
const parsed = parseBatchVerifyCliArgs(stripped);
|
|
86
|
+
const wf = await runBatchVerifyToValidatedResult(() => verifyWorkflow({
|
|
87
|
+
workflowId: parsed.workflowId,
|
|
88
|
+
eventsPath: parsed.eventsPath,
|
|
89
|
+
registryPath: parsed.registryPath,
|
|
90
|
+
database: parsed.database,
|
|
91
|
+
verificationPolicy: parsed.verificationPolicy,
|
|
92
|
+
truthReport: parsed.noHumanReport ? () => { } : (report) => process.stderr.write(`${report}\n`),
|
|
93
|
+
}));
|
|
94
|
+
workflowId = parsed.workflowId;
|
|
95
|
+
certificate = buildOutcomeCertificateFromWorkflowResult(wf, "contract_sql");
|
|
96
|
+
terminalStatus =
|
|
97
|
+
wf.status === "complete" ? "complete"
|
|
98
|
+
: wf.status === "inconsistent" ? "inconsistent"
|
|
99
|
+
: "incomplete";
|
|
100
|
+
}
|
|
58
101
|
const payload = {
|
|
102
|
+
schema_version: 2,
|
|
59
103
|
run_id: runId,
|
|
60
|
-
workflow_id:
|
|
61
|
-
|
|
62
|
-
|
|
104
|
+
workflow_id: workflowId,
|
|
105
|
+
outcome_certificate_v1: certificate,
|
|
106
|
+
material_truth_sha256: materialTruthSha256(certificate),
|
|
107
|
+
certificate_sha256: canonicalCertificateSha256(certificate),
|
|
63
108
|
};
|
|
64
109
|
const route = mode === "create-baseline" ? "/api/v1/enforcement/baselines"
|
|
65
110
|
: mode === "accept-drift" ? "/api/v1/enforcement/accept"
|
|
@@ -79,9 +124,9 @@ export async function runStatefulEnforce(args) {
|
|
|
79
124
|
console.error(cliErrorEnvelope(CLI_OPERATIONAL_CODES.VERIFICATION_OUTPUT_LOCK_MISMATCH, "Drift detected."));
|
|
80
125
|
process.exit(4);
|
|
81
126
|
}
|
|
82
|
-
if (
|
|
127
|
+
if (terminalStatus === "complete")
|
|
83
128
|
process.exit(0);
|
|
84
|
-
if (
|
|
129
|
+
if (terminalStatus === "inconsistent")
|
|
85
130
|
process.exit(1);
|
|
86
131
|
process.exit(2);
|
|
87
132
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"enforceStateful.js","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,
|
|
1
|
+
{"version":3,"file":"enforceStateful.js","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,sCAAsC,EAAE,yCAAyC,EAAE,MAAM,yBAAyB,CAAC;AAC5H,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAI1F,SAAS,gBAAgB,CAAC,IAAc;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,aAAa,EACnC,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS;QAAE,OAAO,iBAAiB,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,cAAc,CAAC;IACrC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,aAAa;IACpB,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,EAAE,CAAC;QACZ,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,mBAAmB,EACzC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,IAAkG,EAClG,OAAgC;IAEhC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAE7H,MAAM,KAAK,GACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;QAC5C,UAAU,EAAE,CAAC;IACf,MAAM,2BAA2B,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IAElF,IAAI,cAA0D,CAAC;IAC/D,IAAI,UAAkB,CAAC;IACvB,IAAI,WAAqI,CAAC;IAC1I,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,+BAA+B,CAAC;YAChD,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;gBAC9E,IAAI,CAAC,GAAG,EAAE,CAAC;gBACX,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAClC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;oBAC7B,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC,CAAC,CAAC;gBACH,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1C,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACnF,WAAW,EAAE,EAAE,CAAC,WAAW,IAAI,SAAS;YACxC,UAAU,EAAE,EAAE,CAAC,MAAM,IAAI,SAAS;SACnC,CAAC,CAAC;QACH,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC;QAChC,WAAW,GAAG,sCAAsC,CAAC;YACnD,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,UAAU,EAAE,EAAE,CAAC,eAAe;YAC9B,kBAAkB,EAAE;gBAClB,UAAU,EAAE,EAAE,CAAC,eAAe;gBAC9B,UAAU,EAAE,EAAE,CAAC,cAAc,IAAI,SAAS;gBAC1C,YAAY,EAAE,EAAE,CAAC,UAAU;gBAC3B,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,SAAS;gBAC9B,WAAW,EAAE,EAAE,CAAC,WAAW,KAAK,SAAS;aAC1C;SACF,CAAC,CAAC;QACH,cAAc;YACZ,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU;gBAC1C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc;oBAChD,CAAC,CAAC,YAAY,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,MAAM,+BAA+B,CAAC,GAAG,EAAE,CACpD,cAAc,CAAC;YACb,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;YAC7C,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC;SAC/F,CAAC,CACH,CAAC;QACF,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QAC/B,WAAW,GAAG,yCAAyC,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;QAC5E,cAAc;YACZ,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU;gBACrC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc;oBAC/C,CAAC,CAAC,YAAY,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG;QACd,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,KAAK;QACb,WAAW,EAAE,UAAU;QACvB,sBAAsB,EAAE,WAAW;QACnC,qBAAqB,EAAE,mBAAmB,CAAC,WAAW,CAAC;QACvD,kBAAkB,EAAE,0BAA0B,CAAC,WAAW,CAAC;KAC5D,CAAC;IAEF,MAAM,KAAK,GACT,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,+BAA+B;QAC5D,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,4BAA4B;YACxD,CAAC,CAAC,2BAA2B,CAAC;IAEhC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,MAAM,GACV,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI;YACtF,CAAC,CAAC,MAAM,CAAE,QAAQ,CAAC,IAA6B,CAAC,MAAM,IAAI,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;YACrF,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,GAAG,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI;QACtF,CAAC,CAAC,MAAM,CAAE,QAAQ,CAAC,IAA6B,CAAC,MAAM,IAAI,IAAI,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3F,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC5G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,cAAc,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,cAAc,KAAK,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import { type BuildTrustDecisionRecordRoutingOpts, type TrustGateKind } from "./commercial/trustDecisionRecord.js";
|
|
3
|
+
/**
|
|
4
|
+
* Mandatory emit (**best-effort**) then **`TrustDecisionBlockedError`**.
|
|
5
|
+
* Caller must only invoke after determining trust is not **`safe`** from the outcome certificate.
|
|
6
|
+
*/
|
|
7
|
+
export declare function finalizeIrreversibleBlockThrow(params: {
|
|
8
|
+
certificate: OutcomeCertificateV1;
|
|
9
|
+
gateKind: TrustGateKind;
|
|
10
|
+
routingOpts: BuildTrustDecisionRecordRoutingOpts;
|
|
11
|
+
}): Promise<never>;
|
|
12
|
+
//# sourceMappingURL=finalizeIrreversibleTrustBlock.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"finalizeIrreversibleTrustBlock.d.ts","sourceRoot":"","sources":["../src/finalizeIrreversibleTrustBlock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAEL,KAAK,mCAAmC,EACxC,KAAK,aAAa,EACnB,MAAM,qCAAqC,CAAC;AAI7C;;;GAGG;AACH,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAC3D,WAAW,EAAE,oBAAoB,CAAC;IAClC,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,mCAAmC,CAAC;CAClD,GAAG,OAAO,CAAC,KAAK,CAAC,CAIjB"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import { buildTrustDecisionRecordV1, } from "./commercial/trustDecisionRecord.js";
|
|
2
|
+
import { postTrustDecisionBlocked } from "./commercial/postTrustDecisionBlocked.js";
|
|
3
|
+
import { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
|
|
4
|
+
/**
|
|
5
|
+
* Mandatory emit (**best-effort**) then **`TrustDecisionBlockedError`**.
|
|
6
|
+
* Caller must only invoke after determining trust is not **`safe`** from the outcome certificate.
|
|
7
|
+
*/
|
|
8
|
+
export async function finalizeIrreversibleBlockThrow(params) {
|
|
9
|
+
const record = buildTrustDecisionRecordV1(params);
|
|
10
|
+
await postTrustDecisionBlocked(record);
|
|
11
|
+
throw new TrustDecisionBlockedError(record, params.certificate);
|
|
12
|
+
}
|
|
13
|
+
//# sourceMappingURL=finalizeIrreversibleTrustBlock.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"finalizeIrreversibleTrustBlock.js","sourceRoot":"","sources":["../src/finalizeIrreversibleTrustBlock.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,GAG3B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,MAIpD;IACC,MAAM,MAAM,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,IAAI,yBAAyB,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC"}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
type MaterialTruthStep = {
|
|
3
|
+
seq: number;
|
|
4
|
+
toolId: string;
|
|
5
|
+
declaredAction: string;
|
|
6
|
+
expectedOutcome: string;
|
|
7
|
+
observedOutcome: string;
|
|
8
|
+
};
|
|
9
|
+
type MaterialTruthCheckpointVerdict = {
|
|
10
|
+
checkpointKey: string;
|
|
11
|
+
verdict: "verified" | "inconsistent" | "incomplete";
|
|
12
|
+
seqs: number[];
|
|
13
|
+
};
|
|
14
|
+
export type MaterialTruthV1 = {
|
|
15
|
+
schemaVersion: 1;
|
|
16
|
+
workflowId: string;
|
|
17
|
+
runKind: OutcomeCertificateV1["runKind"];
|
|
18
|
+
stateRelation: OutcomeCertificateV1["stateRelation"];
|
|
19
|
+
reasonCodes: string[];
|
|
20
|
+
steps: MaterialTruthStep[];
|
|
21
|
+
checkpointVerdicts: MaterialTruthCheckpointVerdict[];
|
|
22
|
+
};
|
|
23
|
+
export declare function canonicalCertificateSha256(certificate: OutcomeCertificateV1): string;
|
|
24
|
+
export declare function materialTruthProjectionV1(certificate: OutcomeCertificateV1): MaterialTruthV1;
|
|
25
|
+
export declare function materialTruthSha256(certificate: OutcomeCertificateV1): string;
|
|
26
|
+
export {};
|
|
27
|
+
//# sourceMappingURL=governanceEvidence.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"governanceEvidence.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAMpE,KAAK,iBAAiB,GAAG;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,8BAA8B,GAAG;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,aAAa,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACrD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,kBAAkB,EAAE,8BAA8B,EAAE,CAAC;CACtD,CAAC;AA+CF,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEpF;AAED,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAE5F;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAE7E"}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
import { stableStringify } from "./jsonStableStringify.js";
|
|
3
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
4
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
5
|
+
import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
6
|
+
function sortedUniqueStrings(values) {
|
|
7
|
+
return [...new Set(values)].sort((a, b) => a.localeCompare(b));
|
|
8
|
+
}
|
|
9
|
+
function buildMaterialTruthProjectionV1(certificate) {
|
|
10
|
+
const reasonCodes = sortedUniqueStrings(certificate.explanation.details.map((d) => d.code));
|
|
11
|
+
const steps = [...certificate.steps]
|
|
12
|
+
.map((s) => ({
|
|
13
|
+
seq: s.seq,
|
|
14
|
+
toolId: s.toolId ?? "",
|
|
15
|
+
declaredAction: s.declaredAction,
|
|
16
|
+
expectedOutcome: s.expectedOutcome,
|
|
17
|
+
observedOutcome: s.observedOutcome,
|
|
18
|
+
}))
|
|
19
|
+
.sort((a, b) => a.seq - b.seq || a.toolId.localeCompare(b.toolId));
|
|
20
|
+
const checkpointVerdicts = [...(certificate.checkpointVerdicts ?? [])]
|
|
21
|
+
.map((v) => ({
|
|
22
|
+
checkpointKey: v.checkpointKey,
|
|
23
|
+
verdict: v.verdict,
|
|
24
|
+
seqs: [...new Set(v.seqs)].sort((a, b) => a - b),
|
|
25
|
+
}))
|
|
26
|
+
.sort((a, b) => a.checkpointKey.localeCompare(b.checkpointKey));
|
|
27
|
+
const out = {
|
|
28
|
+
schemaVersion: 1,
|
|
29
|
+
workflowId: certificate.workflowId,
|
|
30
|
+
runKind: certificate.runKind,
|
|
31
|
+
stateRelation: certificate.stateRelation,
|
|
32
|
+
reasonCodes,
|
|
33
|
+
steps,
|
|
34
|
+
checkpointVerdicts,
|
|
35
|
+
};
|
|
36
|
+
const validate = loadSchemaValidator("material-truth-v1");
|
|
37
|
+
if (!validate(out)) {
|
|
38
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, `material_truth_invalid: ${JSON.stringify(validate.errors ?? [])}`);
|
|
39
|
+
}
|
|
40
|
+
return out;
|
|
41
|
+
}
|
|
42
|
+
function sha256HexUtf8(input) {
|
|
43
|
+
return createHash("sha256").update(input, "utf8").digest("hex");
|
|
44
|
+
}
|
|
45
|
+
export function canonicalCertificateSha256(certificate) {
|
|
46
|
+
return sha256HexUtf8(stableStringify(certificate));
|
|
47
|
+
}
|
|
48
|
+
export function materialTruthProjectionV1(certificate) {
|
|
49
|
+
return buildMaterialTruthProjectionV1(certificate);
|
|
50
|
+
}
|
|
51
|
+
export function materialTruthSha256(certificate) {
|
|
52
|
+
return sha256HexUtf8(stableStringify(buildMaterialTruthProjectionV1(certificate)));
|
|
53
|
+
}
|
|
54
|
+
//# sourceMappingURL=governanceEvidence.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"governanceEvidence.js","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AA0BjE,SAAS,mBAAmB,CAAC,MAAgB;IAC3C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,8BAA8B,CAAC,WAAiC;IACvE,MAAM,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KACjD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,MAAM,GAAG,GAAoB;QAC3B,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,WAAW;QACX,KAAK;QACL,kBAAkB;KACnB,CAAC;IACF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,WAAiC;IAC1E,OAAO,aAAa,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,WAAiC;IACzE,OAAO,8BAA8B,CAAC,WAAW,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACnE,OAAO,aAAa,CAAC,eAAe,CAAC,8BAA8B,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"governanceEvidence.test.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,78 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { canonicalCertificateSha256, materialTruthProjectionV1, materialTruthSha256 } from "./governanceEvidence.js";
|
|
3
|
+
function fixture(overrides) {
|
|
4
|
+
return {
|
|
5
|
+
schemaVersion: 1,
|
|
6
|
+
workflowId: "wf_test",
|
|
7
|
+
runKind: "contract_sql",
|
|
8
|
+
stateRelation: "matches_expectations",
|
|
9
|
+
highStakesReliance: "permitted",
|
|
10
|
+
relianceRationale: "rationale",
|
|
11
|
+
intentSummary: "summary",
|
|
12
|
+
explanation: {
|
|
13
|
+
headline: "headline",
|
|
14
|
+
details: [
|
|
15
|
+
{ code: "CODE_B", message: "msg b" },
|
|
16
|
+
{ code: "CODE_A", message: "msg a" },
|
|
17
|
+
],
|
|
18
|
+
},
|
|
19
|
+
steps: [
|
|
20
|
+
{
|
|
21
|
+
seq: 2,
|
|
22
|
+
toolId: "tool_b",
|
|
23
|
+
declaredAction: "action 2",
|
|
24
|
+
expectedOutcome: "expected 2",
|
|
25
|
+
observedOutcome: "observed 2",
|
|
26
|
+
},
|
|
27
|
+
{
|
|
28
|
+
seq: 1,
|
|
29
|
+
declaredAction: "action 1",
|
|
30
|
+
expectedOutcome: "expected 1",
|
|
31
|
+
observedOutcome: "observed 1",
|
|
32
|
+
},
|
|
33
|
+
],
|
|
34
|
+
humanReport: "human body",
|
|
35
|
+
checkpointVerdicts: [
|
|
36
|
+
{
|
|
37
|
+
checkpointKey: "cp_b",
|
|
38
|
+
verdict: "verified",
|
|
39
|
+
seqs: [3, 2, 3],
|
|
40
|
+
productionMeaning: "ignored in material truth",
|
|
41
|
+
},
|
|
42
|
+
{
|
|
43
|
+
checkpointKey: "cp_a",
|
|
44
|
+
verdict: "inconsistent",
|
|
45
|
+
seqs: [1],
|
|
46
|
+
productionMeaning: "ignored in material truth",
|
|
47
|
+
},
|
|
48
|
+
],
|
|
49
|
+
...overrides,
|
|
50
|
+
};
|
|
51
|
+
}
|
|
52
|
+
describe("governanceEvidence", () => {
|
|
53
|
+
it("builds stable, normalized material truth projection", () => {
|
|
54
|
+
const p = materialTruthProjectionV1(fixture());
|
|
55
|
+
expect(p.reasonCodes).toEqual(["CODE_A", "CODE_B"]);
|
|
56
|
+
expect(p.steps.map((s) => s.seq)).toEqual([1, 2]);
|
|
57
|
+
expect(p.steps[0]?.toolId).toBe("");
|
|
58
|
+
expect(p.checkpointVerdicts.map((c) => c.checkpointKey)).toEqual(["cp_a", "cp_b"]);
|
|
59
|
+
expect(p.checkpointVerdicts[1]?.seqs).toEqual([2, 3]);
|
|
60
|
+
});
|
|
61
|
+
it("ignores narrative-only certificate changes for material hash", () => {
|
|
62
|
+
const a = fixture();
|
|
63
|
+
const b = fixture({
|
|
64
|
+
humanReport: "changed human report",
|
|
65
|
+
relianceRationale: "changed rationale",
|
|
66
|
+
explanation: {
|
|
67
|
+
headline: "changed headline",
|
|
68
|
+
details: [
|
|
69
|
+
{ code: "CODE_B", message: "different message b" },
|
|
70
|
+
{ code: "CODE_A", message: "different message a" },
|
|
71
|
+
],
|
|
72
|
+
},
|
|
73
|
+
});
|
|
74
|
+
expect(materialTruthSha256(a)).toBe(materialTruthSha256(b));
|
|
75
|
+
expect(canonicalCertificateSha256(a)).not.toBe(canonicalCertificateSha256(b));
|
|
76
|
+
});
|
|
77
|
+
});
|
|
78
|
+
//# sourceMappingURL=governanceEvidence.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"governanceEvidence.test.js","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAErH,SAAS,OAAO,CAAC,SAAyC;IACxD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa,EAAE,sBAAsB;QACrC,kBAAkB,EAAE,WAAW;QAC/B,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,SAAS;QACxB,WAAW,EAAE;YACX,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;gBACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;aACrC;SACF;QACD,KAAK,EAAE;YACL;gBACE,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,QAAQ;gBAChB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;YACD;gBACE,GAAG,EAAE,CAAC;gBACN,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;SACF;QACD,WAAW,EAAE,YAAY;QACzB,kBAAkB,EAAE;YAClB;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACf,iBAAiB,EAAE,2BAA2B;aAC/C;YACD;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,cAAc;gBACvB,IAAI,EAAE,CAAC,CAAC,CAAC;gBACT,iBAAiB,EAAE,2BAA2B;aAC/C;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,yBAAyB,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,OAAO,CAAC;YAChB,WAAW,EAAE,sBAAsB;YACnC,iBAAiB,EAAE,mBAAmB;YACtC,WAAW,EAAE;gBACX,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;oBAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;iBACnD;aACF;SACF,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -9,11 +9,11 @@ export { verifyWorkflow, createDecisionGate, verifyAgentskeptic, runQuickVerify,
|
|
|
9
9
|
export type { CreateDecisionGateOptions, DecisionGate } from "./decisionGate.js";
|
|
10
10
|
export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpointTrustGate.js";
|
|
11
11
|
export type { CreateLangGraphCheckpointTrustGateOptions, LangGraphCheckpointTrustEligibility, LangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
|
|
12
|
-
export { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
|
|
13
12
|
export { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
14
13
|
export type { TrustDecision } from "./trustDecision.js";
|
|
15
|
-
export { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
|
|
16
|
-
export {
|
|
14
|
+
export { formatDecisionBlockerForHumans, firstProblemStepForCertificate } from "./decisionBlocker.js";
|
|
15
|
+
export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
|
|
16
|
+
export type { TrustDecisionRecordV1, TrustCertificateSnapshotV1, TrustGateKind, } from "./commercial/trustDecisionRecord.js";
|
|
17
17
|
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
18
18
|
export type { SchemaValidatorName } from "./schemaLoad.js";
|
|
19
19
|
export { quickReportToStdoutLine } from "./quickVerify/runQuickVerify.js";
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,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;AACjC,YAAY,EACV,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,GACpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,+BAA+B,EAC/B,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AACtC,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAChG,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,GACpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,+BAA+B,EAC/B,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AACtC,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAChG,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtG,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,YAAY,EACV,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,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,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACnG,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,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,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAC1F,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -4,10 +4,9 @@ export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQ
|
|
|
4
4
|
export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
|
|
5
5
|
export { verifyWorkflow, createDecisionGate, verifyAgentskeptic, runQuickVerify, runQuickVerifyToValidatedReport, assertLangGraphCheckpointProductionGate, createLangGraphCheckpointTrustGate, } from "./sdk/deprecatedPublicApi.js";
|
|
6
6
|
export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpointTrustGate.js";
|
|
7
|
-
export { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
|
|
8
7
|
export { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
9
|
-
export { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
|
|
10
|
-
export {
|
|
8
|
+
export { formatDecisionBlockerForHumans, firstProblemStepForCertificate } from "./decisionBlocker.js";
|
|
9
|
+
export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
|
|
11
10
|
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
12
11
|
export { quickReportToStdoutLine } from "./quickVerify/runQuickVerify.js";
|
|
13
12
|
export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
|
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,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AAWjC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE5E,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,+BAA+B,EAC/B,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAMhG,OAAO,EAAE,
|
|
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,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE5E,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,+BAA+B,EAC/B,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAMhG,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,8BAA8B,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtG,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAM3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAM1E,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,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEnG,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE1F,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,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,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"}
|
|
@@ -17,7 +17,11 @@ export declare function classifyLangGraphCheckpointTrustEligibility(input: {
|
|
|
17
17
|
/**
|
|
18
18
|
* LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
|
|
19
19
|
*/
|
|
20
|
-
export declare function assertLangGraphCheckpointProductionGate(certificate: OutcomeCertificateV1
|
|
20
|
+
export declare function assertLangGraphCheckpointProductionGate(certificate: OutcomeCertificateV1, routingOpts?: {
|
|
21
|
+
ownerRoutingKey?: string;
|
|
22
|
+
routingTeam?: string;
|
|
23
|
+
ownerSlug?: string;
|
|
24
|
+
}): Promise<void>;
|
|
21
25
|
export type CreateLangGraphCheckpointTrustGateOptions = {
|
|
22
26
|
workflowId: string;
|
|
23
27
|
registryPath: string;
|
|
@@ -26,6 +30,9 @@ export type CreateLangGraphCheckpointTrustGateOptions = {
|
|
|
26
30
|
verificationPolicy?: VerificationPolicy;
|
|
27
31
|
logStep?: (line: object) => void;
|
|
28
32
|
truthReport?: (report: string) => void;
|
|
33
|
+
ownerRoutingKey?: string;
|
|
34
|
+
routingTeam?: string;
|
|
35
|
+
ownerSlug?: string;
|
|
29
36
|
};
|
|
30
37
|
export type LangGraphCheckpointTrustGate = {
|
|
31
38
|
appendRunEvent(value: unknown): void;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"langGraphCheckpointTrustGate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"langGraphCheckpointTrustGate.d.ts","sourceRoot":"","sources":["../src/langGraphCheckpointTrustGate.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,MAAM,EAAY,iBAAiB,EAAwB,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChH,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAUjC,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;AAcD;;GAEG;AACH,wBAAsB,uCAAuC,CAC3D,WAAW,EAAE,oBAAoB,EACjC,WAAW,CAAC,EAAE;IAAE,eAAe,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GACnF,OAAO,CAAC,IAAI,CAAC,CAiBf;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;IACvC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,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,CAoF9B"}
|
|
@@ -1,9 +1,8 @@
|
|
|
1
1
|
import path from "node:path";
|
|
2
2
|
import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
|
|
3
|
-
import {
|
|
3
|
+
import { finalizeIrreversibleBlockThrow } from "./finalizeIrreversibleTrustBlock.js";
|
|
4
4
|
import { isToolObservedRunEvent } from "./executionTrace.js";
|
|
5
5
|
import { validatedLangGraphIneligibleCertificate } from "./langGraphCheckpointTrustIneligibleCertificate.js";
|
|
6
|
-
import { LangGraphCheckpointTrustUnsafeError } from "./langGraphCheckpointTrustUnsafeError.js";
|
|
7
6
|
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
8
7
|
import { resolveVerificationPolicyInput } from "./verificationPolicy.js";
|
|
9
8
|
import { TruthLayerError } from "./truthLayerError.js";
|
|
@@ -34,24 +33,34 @@ export function classifyLangGraphCheckpointTrustEligibility(input) {
|
|
|
34
33
|
}
|
|
35
34
|
return { eligible: true };
|
|
36
35
|
}
|
|
36
|
+
function lgRowBPasses(certificate) {
|
|
37
|
+
const verdicts = certificate.checkpointVerdicts;
|
|
38
|
+
return (verdicts !== undefined &&
|
|
39
|
+
verdicts.length > 0 &&
|
|
40
|
+
verdicts.every((r) => r.verdict === "verified") &&
|
|
41
|
+
certificate.stateRelation === "matches_expectations" &&
|
|
42
|
+
certificate.highStakesReliance === "permitted" &&
|
|
43
|
+
trustDecisionFromCertificate(certificate) === "safe");
|
|
44
|
+
}
|
|
37
45
|
/**
|
|
38
46
|
* LangGraph production wedge: succeeds only on terminal row **B** (matches + all checkpoint verdicts verified).
|
|
39
47
|
*/
|
|
40
|
-
export function assertLangGraphCheckpointProductionGate(certificate) {
|
|
48
|
+
export async function assertLangGraphCheckpointProductionGate(certificate, routingOpts) {
|
|
41
49
|
if (certificate.runKind !== "contract_sql_langgraph_checkpoint_trust") {
|
|
42
50
|
throw new Error("assertLangGraphCheckpointProductionGate: certificate.runKind must be contract_sql_langgraph_checkpoint_trust");
|
|
43
51
|
}
|
|
44
|
-
|
|
45
|
-
const rowB = verdicts !== undefined &&
|
|
46
|
-
verdicts.length > 0 &&
|
|
47
|
-
verdicts.every((r) => r.verdict === "verified") &&
|
|
48
|
-
certificate.stateRelation === "matches_expectations" &&
|
|
49
|
-
certificate.highStakesReliance === "permitted" &&
|
|
50
|
-
trustDecisionFromCertificate(certificate) === "safe";
|
|
51
|
-
if (rowB)
|
|
52
|
+
if (lgRowBPasses(certificate))
|
|
52
53
|
return;
|
|
53
|
-
|
|
54
|
-
|
|
54
|
+
await finalizeIrreversibleBlockThrow({
|
|
55
|
+
certificate,
|
|
56
|
+
gateKind: "langgraph_checkpoint_terminal",
|
|
57
|
+
routingOpts: {
|
|
58
|
+
workflowIdFallback: certificate.workflowId,
|
|
59
|
+
ownerRoutingKey: routingOpts?.ownerRoutingKey,
|
|
60
|
+
routingTeam: routingOpts?.routingTeam,
|
|
61
|
+
ownerSlug: routingOpts?.ownerSlug,
|
|
62
|
+
},
|
|
63
|
+
});
|
|
55
64
|
}
|
|
56
65
|
export function createLangGraphCheckpointTrustGate(options) {
|
|
57
66
|
const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
|
|
@@ -117,7 +126,11 @@ export function createLangGraphCheckpointTrustGate(options) {
|
|
|
117
126
|
};
|
|
118
127
|
api.assertLangGraphCheckpointProductionGate = async () => {
|
|
119
128
|
const certificate = await api.runCheckpointTrust();
|
|
120
|
-
assertLangGraphCheckpointProductionGate(certificate
|
|
129
|
+
await assertLangGraphCheckpointProductionGate(certificate, {
|
|
130
|
+
ownerRoutingKey: options.ownerRoutingKey,
|
|
131
|
+
routingTeam: options.routingTeam,
|
|
132
|
+
ownerSlug: options.ownerSlug,
|
|
133
|
+
});
|
|
121
134
|
};
|
|
122
135
|
return api;
|
|
123
136
|
}
|
|
@@ -1 +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,
|
|
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,qCAAqC,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,uCAAuC,EAAE,MAAM,oDAAoD,CAAC;AAC7G,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;AAC/F,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,SAAS,2BAA2B,CAAC,WAAmB,EAAE,WAAmB;IAC3E,OAAO,4BAA4B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;AAChE,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,SAAS,YAAY,CAAC,WAAiC;IACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,kBAAkB,CAAC;IAChD,OAAO,CACL,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,CACrD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAC3D,WAAiC,EACjC,WAAoF;IAEpF,IAAI,WAAW,CAAC,OAAO,KAAK,yCAAyC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,8GAA8G,CAC/G,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,WAAW,CAAC;QAAE,OAAO;IACtC,MAAM,8BAA8B,CAAC;QACnC,WAAW;QACX,QAAQ,EAAE,+BAA+B;QACzC,WAAW,EAAE;YACX,kBAAkB,EAAE,WAAW,CAAC,UAAU;YAC1C,eAAe,EAAE,WAAW,EAAE,eAAe;YAC7C,WAAW,EAAE,WAAW,EAAE,WAAW;YACrC,SAAS,EAAE,WAAW,EAAE,SAAS;SAClC;KACF,CAAC,CAAC;AACL,CAAC;AAuBD,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,MAAM,uCAAuC,CAAC,WAAW,EAAE;YACzD,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AASrE,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,WAAW,EAAE,oBAAoB,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE;QAAE,IAAI,EAAE,
|
|
1
|
+
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AASrE,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,WAAW,EAAE,oBAAoB,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,QAAQ,EAAE,oBAAoB,CAAA;KAAE,CAAC;IACtG,WAAW,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3D,GAAG,MAAM,CAsBT;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,MAAM,CAQT"}
|