agentskeptic 0.1.1

package/dist/withWorkflowVerification.persistBundle.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"withWorkflowVerification.persistBundle.test.js","sourceRoot":"","sources":["../src/withWorkflowVerification.persistBundle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAE9D,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC1D,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C;gBACE,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,MAAM;gBACN,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;gBACrB,aAAa,EAAE,EAAE,MAAM,EAAE;aAC1B,EACD,CAAC,WAAW,EAAE,EAAE;gBACd,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;oBACxB,WAAW,CAAC,EAAE,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC,CACF,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEjD,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAErC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1F,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qGAAqG,EAAE,KAAK,IAAI,EAAE;QACnH,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,aAAa,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QACjF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACjD,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC3C,aAAa,CAAC,OAAO,EAAE,0BAA0B,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC;YACH,MAAM,wBAAwB,CAC5B;gBACE,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,MAAM;gBACN,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;gBACrB,aAAa,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE,OAAO,EAAE;aAC7D,EACD,CAAC,WAAW,EAAE,EAAE;gBACd,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;oBACxB,WAAW,CAAC,EAAE,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO;YACvC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,cAAc,CAAC,aAAa,KAAK,CAAC;gBAAE,OAAO;YACtD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/E,0BAA0B,CAC3B,CAAC;YAEF,MAAM,EAAE,GAAG,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/workflowResultNormalize.d.ts

@@ -0,0 +1,9 @@
+import type { WorkflowEngineResult, WorkflowResult } from "./types.js";
+export declare function workflowEngineResultFromEmitted(emitted: WorkflowResult): WorkflowEngineResult;
+/**
+ * Compare input may be v5 engine JSON or v6+ emitted JSON. Returns canonical v9 emitted result.
+ * Files with `workflowTruthReport.schemaVersion >= 3` (including v4 execution-path fields) must match recomputation from engine fields.
+ * Legacy truth report `schemaVersion` 1–2 is upgraded without equality check.
+ */
+export declare function normalizeToEmittedWorkflowResult(parsed: WorkflowEngineResult | WorkflowResult): WorkflowResult;
+//# sourceMappingURL=workflowResultNormalize.d.ts.map

package/dist/workflowResultNormalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowResultNormalize.d.ts","sourceRoot":"","sources":["../src/workflowResultNormalize.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAIvE,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,cAAc,GAAG,oBAAoB,CAe7F;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,oBAAoB,GAAG,cAAc,GAC5C,cAAc,CAwBhB"}

package/dist/workflowResultNormalize.js

@@ -0,0 +1,40 @@
+import { isDeepStrictEqual } from "node:util";
+import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
+import { finalizeEmittedWorkflowResult } from "./workflowTruthReport.js";
+export function workflowEngineResultFromEmitted(emitted) {
+    const { workflowTruthReport: _workflowTruthReport, schemaVersion: _schemaVersion, verificationRunContext: ctxIn, ...rest } = emitted;
+    const { runLevelCodes: _dropLegacyRunLevelCodes, ...engineFields } = rest;
+    return {
+        ...engineFields,
+        schemaVersion: 8,
+        verificationRunContext: ctxIn ?? createEmptyVerificationRunContext(),
+    };
+}
+/**
+ * Compare input may be v5 engine JSON or v6+ emitted JSON. Returns canonical v9 emitted result.
+ * Files with `workflowTruthReport.schemaVersion >= 3` (including v4 execution-path fields) must match recomputation from engine fields.
+ * Legacy truth report `schemaVersion` 1–2 is upgraded without equality check.
+ */
+export function normalizeToEmittedWorkflowResult(parsed) {
+    if (parsed.schemaVersion === 5) {
+        const p5 = parsed;
+        const { schemaVersion: _s, ...rest } = p5;
+        return finalizeEmittedWorkflowResult({
+            ...rest,
+            schemaVersion: 8,
+            verificationRunContext: createEmptyVerificationRunContext(),
+        });
+    }
+    const emitted = parsed;
+    const engine = workflowEngineResultFromEmitted(emitted);
+    const rebuilt = finalizeEmittedWorkflowResult(engine);
+    if (emitted.workflowTruthReport.schemaVersion >= 3) {
+        if (!isDeepStrictEqual(rebuilt.workflowTruthReport, emitted.workflowTruthReport)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_WORKFLOW_TRUTH_MISMATCH, "workflowTruthReport does not match engine fields (recomputed truth differs from file).");
+        }
+    }
+    return rebuilt;
+}
+//# sourceMappingURL=workflowResultNormalize.js.map

package/dist/workflowResultNormalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowResultNormalize.js","sourceRoot":"","sources":["../src/workflowResultNormalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,MAAM,UAAU,+BAA+B,CAAC,OAAuB;IACrE,MAAM,EACJ,mBAAmB,EAAE,oBAAoB,EACzC,aAAa,EAAE,cAAc,EAC7B,sBAAsB,EAAE,KAAK,EAC7B,GAAG,IAAI,EACR,GAAG,OAAO,CAAC;IACZ,MAAM,EAAE,aAAa,EAAE,wBAAwB,EAAE,GAAG,YAAY,EAAE,GAAG,IAEpE,CAAC;IACF,OAAO;QACL,GAAG,YAAY;QACf,aAAa,EAAE,CAAC;QAChB,sBAAsB,EAAE,KAAK,IAAI,iCAAiC,EAAE;KACrE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAA6C;IAE7C,IAAK,MAAoC,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,MAEV,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QAC1C,OAAO,6BAA6B,CAAC;YACnC,GAAG,IAAI;YACP,aAAa,EAAE,CAAC;YAChB,sBAAsB,EAAE,iCAAiC,EAAE;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,MAAwB,CAAC;IACzC,MAAM,MAAM,GAAG,+BAA+B,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,mBAAmB,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,+BAA+B,EACrD,wFAAwF,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/workflowResultSignature.d.ts

@@ -0,0 +1,8 @@
+/** LF endings; trim outer whitespace; ensure trailing newline after PEM block. */
+export declare function normalizeSpkiPemForSidecar(pemUtf8: string): string;
+/**
+ * PKCS#8 PEM Ed25519 private key → sign workflow-result bytes → deterministic sidecar UTF-8 buffer
+ * (JSON key order: algorithm, schemaVersion, signatureBase64, signedContentSha256Hex, signingPublicKeySpkiPem; trailing \\n).
+ */
+export declare function buildWorkflowResultSigSidecarBytes(workflowResultBytes: Buffer, privateKeyPemUtf8: string): Buffer;
+//# sourceMappingURL=workflowResultSignature.d.ts.map

package/dist/workflowResultSignature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowResultSignature.d.ts","sourceRoot":"","sources":["../src/workflowResultSignature.ts"],"names":[],"mappings":"AAWA,kFAAkF;AAClF,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAIlE;AAWD;;;GAGG;AACH,wBAAgB,kCAAkC,CAChD,mBAAmB,EAAE,MAAM,EAC3B,iBAAiB,EAAE,MAAM,GACxB,MAAM,CAqBR"}

package/dist/workflowResultSignature.js

@@ -0,0 +1,44 @@
+import { createPrivateKey, createPublicKey, sign, } from "node:crypto";
+import { BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID } from "./bundleSignatureCodes.js";
+import { sha256Hex } from "./agentRunRecord.js";
+import { TruthLayerError } from "./truthLayerError.js";
+/** LF endings; trim outer whitespace; ensure trailing newline after PEM block. */
+export function normalizeSpkiPemForSidecar(pemUtf8) {
+    let s = pemUtf8.replace(/\r\n/g, "\n").trim();
+    if (!s.endsWith("\n"))
+        s += "\n";
+    return s;
+}
+function loadEd25519PrivateKeyFromPkcs8Pem(pemUtf8) {
+    try {
+        return createPrivateKey({ key: pemUtf8, format: "pem", type: "pkcs8" });
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, msg, { cause: e });
+    }
+}
+/**
+ * PKCS#8 PEM Ed25519 private key → sign workflow-result bytes → deterministic sidecar UTF-8 buffer
+ * (JSON key order: algorithm, schemaVersion, signatureBase64, signedContentSha256Hex, signingPublicKeySpkiPem; trailing \\n).
+ */
+export function buildWorkflowResultSigSidecarBytes(workflowResultBytes, privateKeyPemUtf8) {
+    const privateKey = loadEd25519PrivateKeyFromPkcs8Pem(privateKeyPemUtf8);
+    const publicKey = createPublicKey(privateKey);
+    const spkiPemRaw = publicKey.export({ type: "spki", format: "pem" });
+    if (typeof spkiPemRaw !== "string") {
+        throw new TruthLayerError(BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, "Expected PEM string export");
+    }
+    const signingPublicKeySpkiPem = normalizeSpkiPemForSidecar(spkiPemRaw);
+    const sigBuf = sign(null, workflowResultBytes, privateKey);
+    const signedContentSha256Hex = sha256Hex(workflowResultBytes);
+    const payload = {
+        algorithm: "ed25519",
+        schemaVersion: 1,
+        signatureBase64: sigBuf.toString("base64"),
+        signedContentSha256Hex,
+        signingPublicKeySpkiPem,
+    };
+    return Buffer.from(`${JSON.stringify(payload)}\n`, "utf8");
+}
+//# sourceMappingURL=workflowResultSignature.js.map

package/dist/workflowResultSignature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowResultSignature.js","sourceRoot":"","sources":["../src/workflowResultSignature.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,gBAAgB,EAChB,eAAe,EACf,IAAI,GAEL,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oCAAoC,EAAE,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,kFAAkF;AAClF,MAAM,UAAU,0BAA0B,CAAC,OAAe;IACxD,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,CAAC,IAAI,IAAI,CAAC;IACjC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,iCAAiC,CAAC,OAAe;IACxD,IAAI,CAAC;QACH,OAAO,gBAAgB,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1E,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,oCAAoC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kCAAkC,CAChD,mBAA2B,EAC3B,iBAAyB;IAEzB,MAAM,UAAU,GAAG,iCAAiC,CAAC,iBAAiB,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACrE,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CAAC,oCAAoC,EAAE,4BAA4B,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,uBAAuB,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAEvE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,sBAAsB,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAE9D,MAAM,OAAO,GAAG;QACd,SAAS,EAAE,SAAS;QACpB,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC1C,sBAAsB;QACtB,uBAAuB;KACxB,CAAC;IAEF,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7D,CAAC"}

package/dist/workflowRunLevelConsistency.d.ts

@@ -0,0 +1,5 @@
+/**
+ * v9-only: `runLevelCodes[i]` must equal `runLevelReasons[i].code` (compare ingress + legacy corpus).
+ */
+export declare function isV9RunLevelCodesInconsistent(obj: unknown): boolean;
+//# sourceMappingURL=workflowRunLevelConsistency.d.ts.map

package/dist/workflowRunLevelConsistency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowRunLevelConsistency.d.ts","sourceRoot":"","sources":["../src/workflowRunLevelConsistency.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,wBAAgB,6BAA6B,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAiBnE"}

package/dist/workflowRunLevelConsistency.js

@@ -0,0 +1,30 @@
+/**
+ * v9-only: `runLevelCodes[i]` must equal `runLevelReasons[i].code` (compare ingress + legacy corpus).
+ */
+export function isV9RunLevelCodesInconsistent(obj) {
+    if (typeof obj !== "object" || obj === null)
+        return false;
+    const o = obj;
+    if (o.schemaVersion !== 9)
+        return false;
+    const rc = o.runLevelCodes;
+    const rr = o.runLevelReasons;
+    if (!Array.isArray(rc) || !Array.isArray(rr))
+        return true;
+    if (rc.length !== rr.length)
+        return true;
+    for (let i = 0; i < rc.length; i++) {
+        if (typeof rc[i] !== "string")
+            return true;
+        const item = rr[i];
+        if (typeof item !== "object" || item === null)
+            return true;
+        const code = item.code;
+        if (typeof code !== "string")
+            return true;
+        if (rc[i] !== code)
+            return true;
+    }
+    return false;
+}
+//# sourceMappingURL=workflowRunLevelConsistency.js.map

package/dist/workflowRunLevelConsistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowRunLevelConsistency.js","sourceRoot":"","sources":["../src/workflowRunLevelConsistency.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,UAAU,6BAA6B,CAAC,GAAY;IACxD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1D,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC;IAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC3D,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAC;QAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/workflowTruthReport.d.ts

@@ -0,0 +1,24 @@
+import type { StepStatus, WorkflowEngineResult, WorkflowResult, WorkflowStatus, WorkflowTruthReport, WorkflowTruthStep } from "./types.js";
+/** Plain-language `result=` line in the human report only. JSON `outcomeLabel` stays machine-stable (see STEP_STATUS_TRUTH_LABELS). */
+export declare const HUMAN_REPORT_RESULT_PHRASE: Record<WorkflowTruthStep["outcomeLabel"], string>;
+/** Human `result=` lines when `workflowId` is plan-transition (git + Plan.md rules, not SQL). */
+export declare const HUMAN_REPORT_PLAN_TRANSITION_PHRASE: Record<WorkflowTruthStep["outcomeLabel"], string>;
+export declare const STEP_STATUS_TRUTH_LABELS: Record<StepStatus, string>;
+/** Per-effect rows use reconciler statuses only (never `partially_verified` or `uncertain`). */
+export declare const EFFECT_STATUS_TRUTH_LABELS: Record<Exclude<StepStatus, "partially_verified" | "uncertain">, string>;
+/** Human report trust line when the only failures are `uncertain` (eventual window exhausted). */
+export declare const TRUST_LINE_UNCERTAIN_WITHIN_WINDOW = "NOT TRUSTED: At least one step could not be confirmed within the verification window (row not observed; replication or processing delay is possible).";
+/** Appended to `trust:` when `eventSequenceIntegrity.kind === "irregular"` (normative; see docs). */
+export declare const TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX = "Event capture or timestamps were irregular; verification used seq-sorted order. See event_sequence below.";
+export declare function buildWorkflowTruthReport(engine: WorkflowEngineResult): WorkflowTruthReport;
+export declare function finalizeEmittedWorkflowResult(engine: WorkflowEngineResult): WorkflowResult;
+/** Derived review surface for APIs/UI; authoritative detail remains `steps` / truth `steps`. */
+export type WorkflowVerdictSurface = {
+    status: WorkflowStatus;
+    trustSummary: string;
+    stepStatusCounts: Record<StepStatus, number>;
+};
+export declare function buildWorkflowVerdictSurface(workflowResult: WorkflowResult): WorkflowVerdictSurface;
+export declare function formatWorkflowTruthReportStruct(truth: WorkflowTruthReport): string;
+export declare function formatWorkflowTruthReport(engine: WorkflowEngineResult): string;
+//# sourceMappingURL=workflowTruthReport.d.ts.map

package/dist/workflowTruthReport.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowTruthReport.d.ts","sourceRoot":"","sources":["../src/workflowTruthReport.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAIV,UAAU,EACV,oBAAoB,EACpB,cAAc,EACd,cAAc,EAEd,mBAAmB,EACnB,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAGpB,uIAAuI;AACvI,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,iBAAiB,CAAC,cAAc,CAAC,EAAE,MAAM,CAUxF,CAAC;AAEF,iGAAiG;AACjG,eAAO,MAAM,mCAAmC,EAAE,MAAM,CAAC,iBAAiB,CAAC,cAAc,CAAC,EAAE,MAAM,CASjG,CAAC;AASF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAO/D,CAAC;AAEF,gGAAgG;AAChG,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAC7C,OAAO,CAAC,UAAU,EAAE,oBAAoB,GAAG,WAAW,CAAC,EACvD,MAAM,CAMP,CAAC;AAgBF,kGAAkG;AAClG,eAAO,MAAM,kCAAkC,0JAC0G,CAAC;AAE1J,qGAAqG;AACrG,eAAO,MAAM,0CAA0C,8GACsD,CAAC;AAqI9G,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,oBAAoB,GAAG,mBAAmB,CA+D1F;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,oBAAoB,GAAG,cAAc,CAM1F;AAWD,gGAAgG;AAChG,MAAM,MAAM,sBAAsB,GAAG;IACnC,MAAM,EAAE,cAAc,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;CAC9C,CAAC;AAEF,wBAAgB,2BAA2B,CAAC,cAAc,EAAE,cAAc,GAAG,sBAAsB,CAalG;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAuJlF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAE9E"}

package/dist/workflowTruthReport.js

@@ -0,0 +1,395 @@
+import { deriveActionableFailureWorkflow } from "./actionableFailure.js";
+import { buildWorkflowCorrectnessDefinition } from "./correctnessDefinition.js";
+import { buildFailureExplanation } from "./failureExplanation.js";
+import { buildExecutionPathFindings, buildExecutionPathSummary, } from "./executionPathFindings.js";
+import { buildFailureAnalysis } from "./failureAnalysis.js";
+import { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
+import { formatBatchDeclaredStderrValue, formatBatchExpectedStderrValue, formatBatchObservedStateSummary, formatBatchVerificationVerdictStderrValue, LINE_PREFIX_DECLARED, LINE_PREFIX_EXPECTED, LINE_PREFIX_OBSERVED_DATABASE, LINE_PREFIX_VERIFICATION_VERDICT, } from "./reconciliationPresentation.js";
+import { failureDiagnosticForEventSequenceCode, failureDiagnosticForRunLevelCode, failureDiagnosticForStep, formatVerificationTargetSummary, } from "./verificationDiagnostics.js";
+import { userPhraseForReasonCode } from "./verificationUserPhrases.js";
+/** Plain-language `result=` line in the human report only. JSON `outcomeLabel` stays machine-stable (see STEP_STATUS_TRUTH_LABELS). */
+export const HUMAN_REPORT_RESULT_PHRASE = {
+    VERIFIED: "Matched the database.",
+    FAILED_ROW_MISSING: "Expected row is missing from the database (the log implies a write that is not present).",
+    FAILED_VALUE_MISMATCH: "A row was found, but required values do not match.",
+    INCOMPLETE_CANNOT_VERIFY: "This step could not be fully verified (registry, connector, or data shape issue).",
+    PARTIALLY_VERIFIED: "Some intended database effects matched; others did not.",
+    UNCERTAIN_NOT_OBSERVED_WITHIN_WINDOW: "The expected row did not appear within the verification window.",
+};
+/** Human `result=` lines when `workflowId` is plan-transition (git + Plan.md rules, not SQL). */
+export const HUMAN_REPORT_PLAN_TRANSITION_PHRASE = {
+    VERIFIED: "Matched declared plan rules for the git transition.",
+    FAILED_ROW_MISSING: "Expected git change implied by the plan rule was not observed in the diff.",
+    FAILED_VALUE_MISMATCH: "A plan-validation rule failed against the git diff.",
+    INCOMPLETE_CANNOT_VERIFY: "This step could not be fully verified (plan or git diff processing issue).",
+    PARTIALLY_VERIFIED: "Some plan rules matched; others did not.",
+    UNCERTAIN_NOT_OBSERVED_WITHIN_WINDOW: "The git transition could not be fully confirmed within the configured window.",
+};
+const HUMAN_REPORT_EFFECT_RESULT_PHRASE = {
+    VERIFIED: HUMAN_REPORT_RESULT_PHRASE.VERIFIED,
+    FAILED_ROW_MISSING: HUMAN_REPORT_RESULT_PHRASE.FAILED_ROW_MISSING,
+    FAILED_VALUE_MISMATCH: HUMAN_REPORT_RESULT_PHRASE.FAILED_VALUE_MISMATCH,
+    INCOMPLETE_CANNOT_VERIFY: HUMAN_REPORT_RESULT_PHRASE.INCOMPLETE_CANNOT_VERIFY,
+};
+export const STEP_STATUS_TRUTH_LABELS = {
+    verified: "VERIFIED",
+    missing: "FAILED_ROW_MISSING",
+    inconsistent: "FAILED_VALUE_MISMATCH",
+    incomplete_verification: "INCOMPLETE_CANNOT_VERIFY",
+    partially_verified: "PARTIALLY_VERIFIED",
+    uncertain: "UNCERTAIN_NOT_OBSERVED_WITHIN_WINDOW",
+};
+/** Per-effect rows use reconciler statuses only (never `partially_verified` or `uncertain`). */
+export const EFFECT_STATUS_TRUTH_LABELS = {
+    verified: "VERIFIED",
+    missing: "FAILED_ROW_MISSING",
+    inconsistent: "FAILED_VALUE_MISMATCH",
+    incomplete_verification: "INCOMPLETE_CANNOT_VERIFY",
+};
+const TRUST_LINE_BY_STATUS = {
+    complete: "TRUSTED: Every step matched the database under the configured verification rules.",
+    incomplete: "NOT TRUSTED: Verification is incomplete; the workflow cannot be fully confirmed.",
+    inconsistent: "NOT TRUSTED: At least one step failed verification against the database (determinate failure).",
+};
+const TRUST_LINE_BY_STATUS_PLAN_TRANSITION = {
+    complete: "TRUSTED: Every plan-validation rule passed against the git diff.",
+    incomplete: "NOT TRUSTED: Plan validation is incomplete; the transition cannot be fully confirmed.",
+    inconsistent: "NOT TRUSTED: At least one plan-validation rule failed against the git diff (determinate failure).",
+};
+/** Human report trust line when the only failures are `uncertain` (eventual window exhausted). */
+export const TRUST_LINE_UNCERTAIN_WITHIN_WINDOW = "NOT TRUSTED: At least one step could not be confirmed within the verification window (row not observed; replication or processing delay is possible).";
+/** Appended to `trust:` when `eventSequenceIntegrity.kind === "irregular"` (normative; see docs). */
+export const TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX = "Event capture or timestamps were irregular; verification used seq-sorted order. See event_sequence below.";
+function trustLineBaseForEngine(engine) {
+    if (engine.workflowId === PLAN_TRANSITION_WORKFLOW_ID) {
+        if (engine.status === "incomplete" &&
+            engine.runLevelReasons.length === 0 &&
+            engine.steps.some((s) => s.status === "uncertain") &&
+            !engine.steps.some((s) => ["missing", "inconsistent", "partially_verified", "incomplete_verification"].includes(s.status))) {
+            return TRUST_LINE_UNCERTAIN_WITHIN_WINDOW;
+        }
+        return TRUST_LINE_BY_STATUS_PLAN_TRANSITION[engine.status];
+    }
+    if (engine.status === "incomplete" &&
+        engine.runLevelReasons.length === 0 &&
+        engine.steps.some((s) => s.status === "uncertain") &&
+        !engine.steps.some((s) => ["missing", "inconsistent", "partially_verified", "incomplete_verification"].includes(s.status))) {
+        return TRUST_LINE_UNCERTAIN_WITHIN_WINDOW;
+    }
+    return TRUST_LINE_BY_STATUS[engine.status];
+}
+function trustSummaryForEngine(engine) {
+    const base = trustLineBaseForEngine(engine);
+    if (engine.eventSequenceIntegrity.kind === "irregular") {
+        return `${base} ${TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX}`;
+    }
+    return base;
+}
+function sanitizeOneLineId(value) {
+    return value.replace(/\r\n|\r|\n/g, "_");
+}
+function singleLineIntended(effect) {
+    const withSpaces = effect.replace(/\r\n|\r|\n/g, " ");
+    return withSpaces.replace(/ +/g, " ").trim();
+}
+const RECONCILER_STEP_STATUSES = new Set([
+    "verified",
+    "missing",
+    "inconsistent",
+    "incomplete_verification",
+]);
+function parseEffectEvidenceRow(v) {
+    if (typeof v !== "object" || v === null)
+        return null;
+    const o = v;
+    if (typeof o.id !== "string" || !Array.isArray(o.reasons) || typeof o.status !== "string") {
+        return null;
+    }
+    if (!RECONCILER_STEP_STATUSES.has(o.status))
+        return null;
+    return {
+        id: o.id,
+        status: o.status,
+        reasons: o.reasons,
+    };
+}
+function copyReason(r) {
+    const out = { code: r.code, message: r.message };
+    if (r.field !== undefined && r.field.length > 0)
+        out.field = r.field;
+    return out;
+}
+function pushHumanReasonLines(lines, r, indent) {
+    const msg = r.message.trim();
+    const human = msg.length > 0 ? msg : "(no message)";
+    let detailLine = `${indent}detail: ${human}`;
+    if (r.field !== undefined && r.field.length > 0) {
+        detailLine += ` field=${r.field}`;
+    }
+    lines.push(detailLine);
+    lines.push(`${indent}reference_code: ${r.code}`);
+    lines.push(`${indent}user_meaning: ${userPhraseForReasonCode(r.code)}`);
+}
+function buildTruthStep(s) {
+    const label = STEP_STATUS_TRUTH_LABELS[s.status];
+    const vt = formatVerificationTargetSummary(s.verificationRequest);
+    const narrative = singleLineIntended(s.intendedEffect.narrative);
+    const paramsCanonical = singleLineIntended(s.observedExecution.paramsCanonical);
+    const base = {
+        seq: s.seq,
+        toolId: s.toolId,
+        outcomeLabel: label,
+        observations: {
+            evaluatedOrdinal: s.evaluatedObservationOrdinal,
+            repeatCount: s.repeatObservationCount,
+        },
+        reasons: s.reasons.map(copyReason),
+        intendedEffect: { narrative },
+        observedExecution: { paramsCanonical },
+        verifyTarget: vt === null ? null : vt,
+        observedStateSummary: formatBatchObservedStateSummary(s),
+    };
+    if (s.status !== "verified") {
+        const cat = (s.failureDiagnostic ?? failureDiagnosticForStep(s));
+        base.failureCategory = cat;
+    }
+    const rawEffects = s.evidenceSummary.effects;
+    const effects = [];
+    if (Array.isArray(rawEffects)) {
+        for (const row of rawEffects) {
+            const eff = parseEffectEvidenceRow(row);
+            if (eff === null)
+                continue;
+            effects.push({
+                id: sanitizeOneLineId(eff.id),
+                outcomeLabel: EFFECT_STATUS_TRUTH_LABELS[eff.status],
+                reasons: eff.reasons.map(copyReason),
+            });
+        }
+    }
+    if (effects.length > 0) {
+        base.effects = effects;
+    }
+    return base;
+}
+export function buildWorkflowTruthReport(engine) {
+    const runLevelIssues = engine.runLevelReasons.length === 0
+        ? []
+        : engine.runLevelReasons.map((r) => ({
+            code: r.code,
+            message: r.message,
+            category: failureDiagnosticForRunLevelCode(r.code),
+        }));
+    const eventSequence = engine.eventSequenceIntegrity.kind === "normal"
+        ? { kind: "normal" }
+        : {
+            kind: "irregular",
+            issues: engine.eventSequenceIntegrity.reasons.map((r) => ({
+                code: r.code,
+                message: r.message,
+                category: failureDiagnosticForEventSequenceCode(r.code),
+            })),
+        };
+    const failureAnalysisBase = buildFailureAnalysis(engine);
+    const failureAnalysis = failureAnalysisBase === null
+        ? null
+        : {
+            ...failureAnalysisBase,
+            actionableFailure: deriveActionableFailureWorkflow(engine, failureAnalysisBase),
+        };
+    const ctx = engine.verificationRunContext;
+    const executionPathFindings = buildExecutionPathFindings(engine);
+    const executionPathSummary = buildExecutionPathSummary(executionPathFindings, ctx.maxWireSchemaVersion);
+    const steps = engine.steps.map(buildTruthStep);
+    const withoutExplanation = {
+        workflowId: engine.workflowId,
+        workflowStatus: engine.status,
+        trustSummary: trustSummaryForEngine(engine),
+        runLevelIssues,
+        eventSequence,
+        steps,
+        failureAnalysis,
+        executionPathFindings,
+        executionPathSummary,
+    };
+    const failureExplanation = buildFailureExplanation(engine, withoutExplanation);
+    const correctnessDefinition = failureExplanation === null || failureAnalysis === null
+        ? null
+        : buildWorkflowCorrectnessDefinition(engine, failureExplanation, failureAnalysis, steps);
+    return {
+        schemaVersion: 9,
+        ...withoutExplanation,
+        failureExplanation,
+        correctnessDefinition,
+    };
+}
+export function finalizeEmittedWorkflowResult(engine) {
+    return {
+        ...engine,
+        schemaVersion: 15,
+        workflowTruthReport: buildWorkflowTruthReport(engine),
+    };
+}
+const ALL_STEP_STATUSES = [
+    "verified",
+    "missing",
+    "inconsistent",
+    "incomplete_verification",
+    "partially_verified",
+    "uncertain",
+];
+export function buildWorkflowVerdictSurface(workflowResult) {
+    const stepStatusCounts = Object.fromEntries(ALL_STEP_STATUSES.map((k) => [k, 0]));
+    for (const step of workflowResult.steps) {
+        stepStatusCounts[step.status] += 1;
+    }
+    return {
+        status: workflowResult.status,
+        trustSummary: workflowResult.workflowTruthReport.trustSummary,
+        stepStatusCounts,
+    };
+}
+export function formatWorkflowTruthReportStruct(truth) {
+    const lines = [];
+    lines.push(`workflow_id: ${sanitizeOneLineId(truth.workflowId)}`);
+    lines.push(`workflow_status: ${truth.workflowStatus}`);
+    lines.push(`trust: ${truth.trustSummary}`);
+    lines.push(`execution_path: ${truth.executionPathSummary}`);
+    for (const pf of truth.executionPathFindings) {
+        const parts = [
+            `code=${sanitizeOneLineId(pf.code)}`,
+            `severity=${pf.severity}`,
+            `concern=${pf.concernCategory}`,
+        ];
+        parts.push(`scope=${pf.evidence.scope}`);
+        if (pf.evidence.codes !== undefined)
+            parts.push(`codes=${pf.evidence.codes.join(",")}`);
+        if (pf.evidence.ingestIndex !== undefined)
+            parts.push(`ingest_index=${pf.evidence.ingestIndex}`);
+        if (pf.evidence.seq !== undefined)
+            parts.push(`seq=${pf.evidence.seq}`);
+        if (pf.evidence.toolId !== undefined)
+            parts.push(`tool=${sanitizeOneLineId(pf.evidence.toolId)}`);
+        if (pf.evidence.source !== undefined)
+            parts.push(`source=${sanitizeOneLineId(pf.evidence.source)}`);
+        lines.push(`  - path_finding: ${parts.join(" ")}`);
+        lines.push(`    detail: ${pf.message.replace(/\r\n|\r|\n/g, " ").trim()}`);
+    }
+    if (truth.failureAnalysis !== null) {
+        const d = truth.failureAnalysis;
+        lines.push("diagnosis:");
+        lines.push(`  summary: ${d.summary}`);
+        lines.push(`  primary_origin: ${d.primaryOrigin}`);
+        lines.push(`  confidence: ${d.confidence}`);
+        lines.push(`  actionable_failure: category=${d.actionableFailure.category} severity=${d.actionableFailure.severity} recommended_action=${d.actionableFailure.recommendedAction} automation_safe=${d.actionableFailure.automationSafe}`);
+        for (const ev of d.evidence) {
+            const parts = [`scope=${ev.scope}`];
+            if (ev.codes !== undefined)
+                parts.push(`codes=${ev.codes.join(",")}`);
+            if (ev.ingestIndex !== undefined)
+                parts.push(`ingest_index=${ev.ingestIndex}`);
+            if (ev.seq !== undefined)
+                parts.push(`seq=${ev.seq}`);
+            if (ev.toolId !== undefined)
+                parts.push(`tool=${sanitizeOneLineId(ev.toolId)}`);
+            if (ev.effectId !== undefined)
+                parts.push(`effect_id=${sanitizeOneLineId(ev.effectId)}`);
+            if (ev.source !== undefined)
+                parts.push(`source=${sanitizeOneLineId(ev.source)}`);
+            lines.push(`  - evidence: ${parts.join(" ")}`);
+        }
+        if (d.alternativeHypotheses !== undefined) {
+            for (const alt of d.alternativeHypotheses) {
+                lines.push(`  alternative_origin: ${alt.primaryOrigin}`);
+                lines.push(`    rationale: ${alt.rationale}`);
+            }
+        }
+    }
+    if (truth.failureExplanation !== null) {
+        const fe = truth.failureExplanation;
+        lines.push("failure_explanation:");
+        lines.push(`expected: ${fe.expected}`);
+        lines.push(`observed: ${fe.observed}`);
+        lines.push(`divergence: ${fe.divergence}`);
+        lines.push("known_facts:");
+        for (const kf of fe.knownFacts) {
+            lines.push(`  - id=${kf.id} value=${kf.value}`);
+        }
+        lines.push("unknowns:");
+        for (const u of fe.unknowns) {
+            lines.push(`  - id=${u.id} value=${u.value}`);
+        }
+    }
+    if (truth.correctnessDefinition !== null) {
+        const cd = truth.correctnessDefinition;
+        lines.push("correctness_definition:");
+        lines.push(`  enforcement_kind: ${cd.enforcementKind}`);
+        lines.push(`  must_always_hold: ${cd.mustAlwaysHold}`);
+        lines.push("  enforce_as:");
+        for (const line of cd.enforceAs) {
+            lines.push(`    - ${line}`);
+        }
+        lines.push(`  enforceable_projection: ${JSON.stringify(cd.enforceableProjection)}`);
+        lines.push(`  remediation_alignment: recommended_action=${cd.remediationAlignment.recommendedAction} automation_safe=${cd.remediationAlignment.automationSafe}`);
+    }
+    if (truth.runLevelIssues.length === 0) {
+        lines.push("run_level: (none)");
+    }
+    else {
+        lines.push("run_level:");
+        for (const r of truth.runLevelIssues) {
+            const msg = r.message.trim();
+            const human = msg.length > 0 ? msg : "(no message)";
+            lines.push(`  - detail: ${human}`);
+            lines.push(`    category: ${r.category}`);
+            lines.push(`    reference_code: ${r.code}`);
+            lines.push(`    user_meaning: ${userPhraseForReasonCode(r.code)}`);
+        }
+    }
+    if (truth.eventSequence.kind === "normal") {
+        lines.push("event_sequence: normal");
+    }
+    else {
+        lines.push("event_sequence: irregular");
+        for (const r of truth.eventSequence.issues) {
+            const msg = r.message.trim();
+            const human = msg.length > 0 ? msg : "(no message)";
+            lines.push(`  - detail: ${human}`);
+            lines.push(`    category: ${r.category}`);
+            lines.push(`    reference_code: ${r.code}`);
+            lines.push(`    user_meaning: ${userPhraseForReasonCode(r.code)}`);
+        }
+    }
+    const stepPhraseMap = truth.workflowId === PLAN_TRANSITION_WORKFLOW_ID
+        ? HUMAN_REPORT_PLAN_TRANSITION_PHRASE
+        : HUMAN_REPORT_RESULT_PHRASE;
+    lines.push("steps:");
+    for (const s of truth.steps) {
+        const toolId = sanitizeOneLineId(s.toolId);
+        const resultPhrase = stepPhraseMap[s.outcomeLabel];
+        lines.push(`  - seq=${s.seq} tool=${toolId}`);
+        lines.push(`    ${LINE_PREFIX_DECLARED}${formatBatchDeclaredStderrValue(toolId, s.intendedEffect.narrative, s.observedExecution.paramsCanonical)}`);
+        lines.push(`    ${LINE_PREFIX_EXPECTED}${formatBatchExpectedStderrValue(s.verifyTarget)}`);
+        lines.push(`    ${LINE_PREFIX_OBSERVED_DATABASE}${s.observedStateSummary}`);
+        lines.push(`    ${LINE_PREFIX_VERIFICATION_VERDICT}${formatBatchVerificationVerdictStderrValue(s.outcomeLabel, resultPhrase, s.outcomeLabel !== "VERIFIED" ? s.failureCategory : undefined)}`);
+        lines.push(`    observations: evaluated=${s.observations.evaluatedOrdinal} of ${s.observations.repeatCount} in_capture_order`);
+        for (const r of s.reasons) {
+            pushHumanReasonLines(lines, r, "    ");
+        }
+        if (s.effects !== undefined) {
+            for (const eff of s.effects) {
+                const eid = sanitizeOneLineId(eff.id);
+                const effPhrase = HUMAN_REPORT_EFFECT_RESULT_PHRASE[eff.outcomeLabel];
+                lines.push(`    effect: id=${eid} result=${effPhrase}`);
+                for (const r of eff.reasons) {
+                    pushHumanReasonLines(lines, r, "      ");
+                }
+            }
+        }
+    }
+    return lines.join("\n");
+}
+export function formatWorkflowTruthReport(engine) {
+    return formatWorkflowTruthReportStruct(buildWorkflowTruthReport(engine));
+}
+//# sourceMappingURL=workflowTruthReport.js.map

package/dist/workflowTruthReport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowTruthReport.js","sourceRoot":"","sources":["../src/workflowTruthReport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EACL,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,+BAA+B,EAC/B,yCAAyC,EACzC,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,qCAAqC,EACrC,gCAAgC,EAChC,wBAAwB,EACxB,+BAA+B,GAChC,MAAM,8BAA8B,CAAC;AAatC,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,uIAAuI;AACvI,MAAM,CAAC,MAAM,0BAA0B,GAAsD;IAC3F,QAAQ,EAAE,uBAAuB;IACjC,kBAAkB,EAChB,0FAA0F;IAC5F,qBAAqB,EAAE,oDAAoD;IAC3E,wBAAwB,EACtB,mFAAmF;IACrF,kBAAkB,EAAE,yDAAyD;IAC7E,oCAAoC,EAClC,iEAAiE;CACpE,CAAC;AAEF,iGAAiG;AACjG,MAAM,CAAC,MAAM,mCAAmC,GAAsD;IACpG,QAAQ,EAAE,qDAAqD;IAC/D,kBAAkB,EAAE,4EAA4E;IAChG,qBAAqB,EAAE,qDAAqD;IAC5E,wBAAwB,EACtB,4EAA4E;IAC9E,kBAAkB,EAAE,0CAA0C;IAC9D,oCAAoC,EAClC,+EAA+E;CAClF,CAAC;AAEF,MAAM,iCAAiC,GAAwD;IAC7F,QAAQ,EAAE,0BAA0B,CAAC,QAAQ;IAC7C,kBAAkB,EAAE,0BAA0B,CAAC,kBAAkB;IACjE,qBAAqB,EAAE,0BAA0B,CAAC,qBAAqB;IACvE,wBAAwB,EAAE,0BAA0B,CAAC,wBAAwB;CAC9E,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAA+B;IAClE,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,oBAAoB;IAC7B,YAAY,EAAE,uBAAuB;IACrC,uBAAuB,EAAE,0BAA0B;IACnD,kBAAkB,EAAE,oBAAoB;IACxC,SAAS,EAAE,sCAAsC;CAClD,CAAC;AAEF,gGAAgG;AAChG,MAAM,CAAC,MAAM,0BAA0B,GAGnC;IACF,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,oBAAoB;IAC7B,YAAY,EAAE,uBAAuB;IACrC,uBAAuB,EAAE,0BAA0B;CACpD,CAAC;AAEF,MAAM,oBAAoB,GAAmC;IAC3D,QAAQ,EAAE,mFAAmF;IAC7F,UAAU,EAAE,kFAAkF;IAC9F,YAAY,EACV,gGAAgG;CACnG,CAAC;AAEF,MAAM,oCAAoC,GAAmC;IAC3E,QAAQ,EAAE,kEAAkE;IAC5E,UAAU,EAAE,uFAAuF;IACnG,YAAY,EACV,mGAAmG;CACtG,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,kCAAkC,GAC7C,uJAAuJ,CAAC;AAE1J,qGAAqG;AACrG,MAAM,CAAC,MAAM,0CAA0C,GACrD,2GAA2G,CAAC;AAE9G,SAAS,sBAAsB,CAAC,MAA4B;IAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,2BAA2B,EAAE,CAAC;QACtD,IACE,MAAM,CAAC,MAAM,KAAK,YAAY;YAC9B,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;YAClD,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,CAAC,SAAS,EAAE,cAAc,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAChG,EACD,CAAC;YACD,OAAO,kCAAkC,CAAC;QAC5C,CAAC;QACD,OAAO,oCAAoC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IACD,IACE,MAAM,CAAC,MAAM,KAAK,YAAY;QAC9B,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;QAClD,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,CAAC,SAAS,EAAE,cAAc,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAChG,EACD,CAAC;QACD,OAAO,kCAAkC,CAAC;IAC5C,CAAC;IACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,qBAAqB,CAAC,MAA4B;IACzD,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,GAAG,IAAI,IAAI,0CAA0C,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/C,CAAC;AAQD,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAS;IAC/C,UAAU;IACV,SAAS;IACT,cAAc;IACd,yBAAyB;CAC1B,CAAC,CAAC;AAEH,SAAS,sBAAsB,CAAC,CAAU;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAqC;QAC/C,OAAO,EAAE,CAAC,CAAC,OAAmB;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACzD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACrE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAe,EAAE,CAAS,EAAE,MAAc;IACtE,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;IACpD,IAAI,UAAU,GAAG,GAAG,MAAM,WAAW,KAAK,EAAE,CAAC;IAC7C,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,UAAU,IAAI,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iBAAiB,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CAAC,CAAc;IACpC,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAsC,CAAC;IACtF,MAAM,EAAE,GAAG,+BAA+B,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,kBAAkB,CAAC,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC;IAChF,MAAM,IAAI,GAAsB;QAC9B,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE;YACZ,gBAAgB,EAAE,CAAC,CAAC,2BAA2B;YAC/C,WAAW,EAAE,CAAC,CAAC,sBAAsB;SACtC;QACD,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,cAAc,EAAE,EAAE,SAAS,EAAE;QAC7B,iBAAiB,EAAE,EAAE,eAAe,EAAE;QACtC,YAAY,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QACrC,oBAAoB,EAAE,+BAA+B,CAAC,CAAC,CAAC;KACzD,CAAC;IACF,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,iBAAiB,IAAI,wBAAwB,CAAC,CAAC,CAAC,CAAsB,CAAC;QACtF,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC;IAC7B,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC;IAC7C,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YAC3B,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,YAAY,EAAE,0BAA0B,CAAC,GAAG,CAAC,MAAM,CAAwC;gBAC3F,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAA4B;IACnE,MAAM,cAAc,GAClB,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,gCAAgC,CAAC,CAAC,CAAC,IAAI,CAAsB;SACxE,CAAC,CAAC,CAAC;IAEV,MAAM,aAAa,GACjB,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,QAAQ;QAC7C,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAY;QAC/B,CAAC,CAAE;YACC,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxD,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,QAAQ,EAAE,qCAAqC,CAAC,CAAC,CAAC,IAAI,CAAsB;aAC7E,CAAC,CAAC;SACM,CAAC;IAElB,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,eAAe,GACnB,mBAAmB,KAAK,IAAI;QAC1B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,GAAG,mBAAmB;YACtB,iBAAiB,EAAE,+BAA+B,CAAC,MAAM,EAAE,mBAAmB,CAAC;SAChF,CAAC;IAER,MAAM,GAAG,GAAG,MAAM,CAAC,sBAAsB,CAAC;IAC1C,MAAM,qBAAqB,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,oBAAoB,GAAG,yBAAyB,CACpD,qBAAqB,EACrB,GAAG,CAAC,oBAAoB,CACzB,CAAC;IAEF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,kBAAkB,GACtB;QACE,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,MAAM;QAC7B,YAAY,EAAE,qBAAqB,CAAC,MAAM,CAAC;QAC3C,cAAc;QACd,aAAa;QACb,KAAK;QACL,eAAe;QACf,qBAAqB;QACrB,oBAAoB;KACrB,CAAC;IACJ,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC/E,MAAM,qBAAqB,GACzB,kBAAkB,KAAK,IAAI,IAAI,eAAe,KAAK,IAAI;QACrD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,kCAAkC,CAAC,MAAM,EAAE,kBAAkB,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;IAE7F,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,GAAG,kBAAkB;QACrB,kBAAkB;QAClB,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA4B;IACxE,OAAO;QACL,GAAG,MAAM;QACT,aAAa,EAAE,EAAE;QACjB,mBAAmB,EAAE,wBAAwB,CAAC,MAAM,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,iBAAiB,GAAiB;IACtC,UAAU;IACV,SAAS;IACT,cAAc;IACd,yBAAyB;IACzB,oBAAoB;IACpB,WAAW;CACZ,CAAC;AASF,MAAM,UAAU,2BAA2B,CAAC,cAA8B;IACxE,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAG/E,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,EAAE,CAAC;QACxC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO;QACL,MAAM,EAAE,cAAc,CAAC,MAAM;QAC7B,YAAY,EAAE,cAAc,CAAC,mBAAmB,CAAC,YAAY;QAC7D,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAA0B;IACxE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC5D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG;YACZ,QAAQ,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;YACpC,YAAY,EAAE,CAAC,QAAQ,EAAE;YACzB,WAAW,EAAE,CAAC,eAAe,EAAE;SAChC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QACjG,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QACxE,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAClG,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpG,KAAK,CAAC,IAAI,CAAC,qBAAqB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CACR,kCAAkC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,aAAa,CAAC,CAAC,iBAAiB,CAAC,QAAQ,uBAAuB,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,oBAAoB,CAAC,CAAC,iBAAiB,CAAC,cAAc,EAAE,CAC5N,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;YACpC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtE,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/E,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,iBAAiB,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAChF,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,aAAa,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACzF,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,iBAAiB,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAClF,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,qBAAqB,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC,yBAAyB,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,KAAK,CAAC,qBAAqB,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACpF,KAAK,CAAC,IAAI,CACR,+CAA+C,EAAE,CAAC,oBAAoB,CAAC,iBAAiB,oBAAoB,EAAE,CAAC,oBAAoB,CAAC,cAAc,EAAE,CACrJ,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,qBAAqB,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,qBAAqB,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GACjB,KAAK,CAAC,UAAU,KAAK,2BAA2B;QAC9C,CAAC,CAAC,mCAAmC;QACrC,CAAC,CAAC,0BAA0B,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,OAAO,oBAAoB,GAAG,8BAA8B,CAAC,MAAM,EAAE,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,EAAE,CACxI,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,OAAO,oBAAoB,GAAG,8BAA8B,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC3F,KAAK,CAAC,IAAI,CAAC,OAAO,6BAA6B,GAAG,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CACR,OAAO,gCAAgC,GAAG,yCAAyC,CACjF,CAAC,CAAC,YAAY,EACd,YAAY,EACZ,CAAC,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAC9D,EAAE,CACJ,CAAC;QACF,KAAK,CAAC,IAAI,CACR,+BAA+B,CAAC,CAAC,YAAY,CAAC,gBAAgB,OAAO,CAAC,CAAC,YAAY,CAAC,WAAW,mBAAmB,CACnH,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtC,MAAM,SAAS,GAAG,iCAAiC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACtE,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,WAAW,SAAS,EAAE,CAAC,CAAC;gBACxD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;oBAC5B,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAA4B;IACpE,OAAO,+BAA+B,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3E,CAAC"}