agentskeptic 0.1.1

package/dist/executionPathFindings.requirements.test.js

@@ -0,0 +1,332 @@
+import { describe, expect, it } from "vitest";
+import { ACTION_INPUT_REASON_CODES, buildExecutionPathFindings, buildExecutionPathSummary, EXECUTION_PATH_FINDING_CODES, RECONCILER_STEP_REASON_CODES, } from "./executionPathFindings.js";
+import { createEmptyVerificationRunContext, mergeVerificationRunContext } from "./verificationRunContext.js";
+const strongPolicy = {
+    consistencyMode: "strong",
+    verificationWindowMs: 0,
+    pollIntervalMs: 0,
+};
+function baseEngine(overrides) {
+    return {
+        schemaVersion: 8,
+        runLevelReasons: [],
+        verificationPolicy: strongPolicy,
+        eventSequenceIntegrity: { kind: "normal" },
+        verificationRunContext: createEmptyVerificationRunContext(),
+        ...overrides,
+    };
+}
+function verifiedStep(seq, toolId) {
+    return {
+        seq,
+        toolId,
+        intendedEffect: { narrative: "x" },
+        observedExecution: { paramsCanonical: "{}" },
+        verificationRequest: {
+            kind: "sql_row",
+            table: "t",
+            identityEq: [{ column: "id", value: "1" }],
+            requiredFields: {},
+        },
+        status: "verified",
+        reasons: [],
+        evidenceSummary: {},
+        repeatObservationCount: 1,
+        evaluatedObservationOrdinal: 1,
+    };
+}
+describe("buildExecutionPathFindings (product requirements)", () => {
+    it("ACTION_INPUT_RESOLUTION_FAILED for STRING_SPEC_POINTER_MISSING", () => {
+        const step = {
+            seq: 0,
+            toolId: "bad.tool",
+            intendedEffect: { narrative: "" },
+            observedExecution: { paramsCanonical: "{}" },
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: "STRING_SPEC_POINTER_MISSING", message: "m" }],
+            evidenceSummary: {},
+            repeatObservationCount: 1,
+            evaluatedObservationOrdinal: 1,
+            failureDiagnostic: "verification_setup",
+        };
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "incomplete",
+            steps: [step],
+        }));
+        const f = findings.find((x) => x.code === "ACTION_INPUT_RESOLUTION_FAILED");
+        expect(f).toBeDefined();
+        expect(f.concernCategory).toBe("action_inputs_invalid");
+        expect(f.evidence.codes).toContain("STRING_SPEC_POINTER_MISSING");
+        expect(f.evidence.seq).toBe(0);
+        expect(f.evidence.toolId).toBe("bad.tool");
+    });
+    it("ACTION_INPUT_RESOLUTION_FAILED for UNKNOWN_TOOL", () => {
+        const step = {
+            seq: 0,
+            toolId: "nope",
+            intendedEffect: { narrative: "Unknown tool: nope" },
+            observedExecution: { paramsCanonical: "{}" },
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: "UNKNOWN_TOOL", message: "u" }],
+            evidenceSummary: {},
+            repeatObservationCount: 1,
+            evaluatedObservationOrdinal: 1,
+            failureDiagnostic: "verification_setup",
+        };
+        const findings = buildExecutionPathFindings(baseEngine({ workflowId: "w", status: "incomplete", steps: [step] }));
+        expect(findings.some((x) => x.code === "ACTION_INPUT_RESOLUTION_FAILED")).toBe(true);
+    });
+    it("RETRIEVAL_EMPTY vs RETRIEVAL_THIN_HITS are distinct context_quality codes", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            retrievalEvents: [
+                { ingestIndex: 0, runEventId: "a", source: "s1", status: "empty" },
+                { ingestIndex: 1, runEventId: "b", source: "s2", status: "ok", hitCount: 0 },
+            ],
+            firstToolObservedIngestIndex: 2,
+            hasRunCompletedControl: true,
+            lastRunEvent: { ingestIndex: 2, type: "tool_observed" },
+        });
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "complete",
+            steps: [verifiedStep(0, "t")],
+            verificationRunContext: ctx,
+        }));
+        const codes = findings.map((f) => f.code).sort();
+        expect(codes).toContain("RETRIEVAL_EMPTY");
+        expect(codes).toContain("RETRIEVAL_THIN_HITS");
+        expect(findings.find((f) => f.code === "RETRIEVAL_EMPTY").concernCategory).toBe("context_quality");
+        expect(findings.find((f) => f.code === "RETRIEVAL_THIN_HITS").concernCategory).toBe("context_quality");
+    });
+    it("NO_RETRIEVAL_EVENTS when v2, tools observed, zero retrieval digest rows", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            firstToolObservedIngestIndex: 0,
+            hasRunCompletedControl: true,
+            lastRunEvent: { ingestIndex: 0, type: "tool_observed" },
+        });
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "complete",
+            steps: [verifiedStep(0, "t")],
+            verificationRunContext: ctx,
+        }));
+        const f = findings.find((x) => x.code === "NO_RETRIEVAL_EVENTS");
+        expect(f).toBeDefined();
+        expect(f.severity).toBe("low");
+    });
+    it("TOOL_SKIPPED maps to tool_selection_execution", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            toolSkippedEvents: [{ ingestIndex: 0, toolId: "x", reason: "guard" }],
+            firstToolObservedIngestIndex: 1,
+            hasRunCompletedControl: true,
+            lastRunEvent: { ingestIndex: 1, type: "tool_observed" },
+        });
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "complete",
+            steps: [verifiedStep(0, "t")],
+            verificationRunContext: ctx,
+        }));
+        const f = findings.find((x) => x.code === "TOOL_SKIPPED");
+        expect(f?.concernCategory).toBe("tool_selection_execution");
+    });
+    it("MISSING_RUN_COMPLETED and LAST_EVENT_MODEL_ABNORMAL", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            firstToolObservedIngestIndex: 0,
+            hasRunCompletedControl: false,
+            lastRunEvent: { ingestIndex: 1, type: "model_turn", modelTurnStatus: "error" },
+            modelTurnEvents: [{ ingestIndex: 1, runEventId: "m1", status: "error" }],
+        });
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "complete",
+            steps: [verifiedStep(0, "t")],
+            verificationRunContext: ctx,
+        }));
+        expect(findings.some((f) => f.code === "MISSING_RUN_COMPLETED")).toBe(true);
+        expect(findings.some((f) => f.code === "LAST_EVENT_MODEL_ABNORMAL")).toBe(true);
+        expect(findings.find((f) => f.code === "LAST_EVENT_MODEL_ABNORMAL").concernCategory).toBe("workflow_completeness");
+    });
+    it("trusted DB (complete) but path concerns: failureAnalysis null, findings non-empty", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            retrievalEvents: [{ ingestIndex: 0, runEventId: "r1", source: "kb", status: "empty" }],
+            firstToolObservedIngestIndex: 1,
+            hasRunCompletedControl: true,
+            lastRunEvent: { ingestIndex: 1, type: "tool_observed" },
+        });
+        const engine = baseEngine({
+            workflowId: "w",
+            status: "complete",
+            steps: [verifiedStep(0, "t")],
+            verificationRunContext: ctx,
+        });
+        const findings = buildExecutionPathFindings(engine);
+        expect(findings.length).toBeGreaterThan(0);
+        expect(findings.some((f) => f.code === "RETRIEVAL_EMPTY")).toBe(true);
+    });
+    it("inconsistent ROW_ABSENT: no path finding uses reconciler codes as top-level code", () => {
+        const ctx = mergeVerificationRunContext({
+            maxWireSchemaVersion: 2,
+            firstToolObservedIngestIndex: 0,
+            hasRunCompletedControl: false,
+            lastRunEvent: { ingestIndex: 0, type: "tool_observed" },
+        });
+        const step = {
+            seq: 0,
+            toolId: "t",
+            intendedEffect: { narrative: "" },
+            observedExecution: { paramsCanonical: "{}" },
+            verificationRequest: {
+                kind: "sql_row",
+                table: "t",
+                identityEq: [{ column: "id", value: "1" }],
+                requiredFields: {},
+            },
+            status: "missing",
+            reasons: [{ code: "ROW_ABSENT", message: "m" }],
+            evidenceSummary: {},
+            repeatObservationCount: 1,
+            evaluatedObservationOrdinal: 1,
+            failureDiagnostic: "workflow_execution",
+        };
+        const findings = buildExecutionPathFindings(baseEngine({
+            workflowId: "w",
+            status: "inconsistent",
+            steps: [step],
+            verificationRunContext: ctx,
+        }));
+        for (const f of findings) {
+            expect(RECONCILER_STEP_REASON_CODES.has(f.code)).toBe(false);
+            expect(EXECUTION_PATH_FINDING_CODES.has(f.code)).toBe(true);
+        }
+    });
+    it("root-cause matrix: primary concernCategory per signal", () => {
+        const cases = [
+            {
+                label: "context",
+                engine: baseEngine({
+                    workflowId: "w",
+                    status: "complete",
+                    steps: [verifiedStep(0, "t")],
+                    verificationRunContext: mergeVerificationRunContext({
+                        maxWireSchemaVersion: 2,
+                        retrievalEvents: [{ ingestIndex: 0, runEventId: "r", source: "s", status: "error" }],
+                        firstToolObservedIngestIndex: 1,
+                        hasRunCompletedControl: true,
+                        lastRunEvent: { ingestIndex: 1, type: "tool_observed" },
+                    }),
+                }),
+                expectCode: "RETRIEVAL_ERROR",
+                expectCategory: "context_quality",
+            },
+            {
+                label: "decision",
+                engine: baseEngine({
+                    workflowId: "w",
+                    status: "complete",
+                    steps: [verifiedStep(0, "t")],
+                    verificationRunContext: mergeVerificationRunContext({
+                        maxWireSchemaVersion: 2,
+                        modelTurnEvents: [{ ingestIndex: 0, runEventId: "m", status: "incomplete" }],
+                        firstToolObservedIngestIndex: 1,
+                        hasRunCompletedControl: true,
+                        lastRunEvent: { ingestIndex: 1, type: "tool_observed" },
+                    }),
+                }),
+                expectCode: "MODEL_TURN_ABNORMAL",
+                expectCategory: "decision_execution",
+            },
+            {
+                label: "tool_selection",
+                engine: baseEngine({
+                    workflowId: "w",
+                    status: "complete",
+                    steps: [verifiedStep(0, "t")],
+                    verificationRunContext: mergeVerificationRunContext({
+                        maxWireSchemaVersion: 2,
+                        toolSkippedEvents: [{ ingestIndex: 0, toolId: "z", reason: "r" }],
+                        firstToolObservedIngestIndex: 1,
+                        hasRunCompletedControl: true,
+                        lastRunEvent: { ingestIndex: 1, type: "tool_observed" },
+                    }),
+                }),
+                expectCode: "TOOL_SKIPPED",
+                expectCategory: "tool_selection_execution",
+            },
+            {
+                label: "action_inputs",
+                engine: baseEngine({
+                    workflowId: "w",
+                    status: "incomplete",
+                    steps: [
+                        {
+                            seq: 0,
+                            toolId: "t",
+                            intendedEffect: { narrative: "" },
+                            observedExecution: { paramsCanonical: "{}" },
+                            verificationRequest: null,
+                            status: "incomplete_verification",
+                            reasons: [{ code: "TABLE_POINTER_INVALID", message: "m" }],
+                            evidenceSummary: {},
+                            repeatObservationCount: 1,
+                            evaluatedObservationOrdinal: 1,
+                            failureDiagnostic: "verification_setup",
+                        },
+                    ],
+                }),
+                expectCode: "ACTION_INPUT_RESOLUTION_FAILED",
+                expectCategory: "action_inputs_invalid",
+            },
+            {
+                label: "workflow_completeness_retries",
+                engine: baseEngine({
+                    workflowId: "w",
+                    status: "complete",
+                    steps: [
+                        {
+                            ...verifiedStep(0, "t"),
+                            repeatObservationCount: 2,
+                        },
+                    ],
+                    verificationRunContext: mergeVerificationRunContext({
+                        maxWireSchemaVersion: 2,
+                        firstToolObservedIngestIndex: 0,
+                        hasRunCompletedControl: true,
+                        lastRunEvent: { ingestIndex: 0, type: "tool_observed" },
+                    }),
+                }),
+                expectCode: "LOGICAL_STEP_RETRIES",
+                expectCategory: "workflow_completeness",
+            },
+        ];
+        for (const c of cases) {
+            const f = buildExecutionPathFindings(c.engine).find((x) => x.code === c.expectCode);
+            expect(f, c.label).toBeDefined();
+            expect(f.concernCategory, c.label).toBe(c.expectCategory);
+        }
+    });
+    it("v1 clear summary text when no findings", () => {
+        const s = buildExecutionPathSummary([], 1);
+        expect(s).toContain("schemaVersion 2");
+    });
+    it("v2 clear summary when no findings", () => {
+        const s = buildExecutionPathSummary([], 2);
+        expect(s).toBe("No execution-path concerns detected under current rules.");
+    });
+});
+describe("ACTION_INPUT_REASON_CODES parity (resolveExpectation surface)", () => {
+    it("includes every code the resolver can emit for failed resolution", () => {
+        expect(ACTION_INPUT_REASON_CODES.has("DUPLICATE_EFFECT_ID")).toBe(true);
+        expect(ACTION_INPUT_REASON_CODES.has("TABLE_SPEC_INVALID")).toBe(true);
+        expect(ACTION_INPUT_REASON_CODES.size).toBeGreaterThanOrEqual(16);
+    });
+});
+//# sourceMappingURL=executionPathFindings.requirements.test.js.map

package/dist/executionPathFindings.requirements.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPathFindings.requirements.test.js","sourceRoot":"","sources":["../src/executionPathFindings.requirements.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,yBAAyB,EACzB,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AAOpC,OAAO,EAAE,iCAAiC,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAE7G,MAAM,YAAY,GAAG;IACnB,eAAe,EAAE,QAAiB;IAClC,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF,SAAS,UAAU,CACjB,SAC+D;IAE/D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,MAAc;IAC/C,OAAO;QACL,GAAG;QACH,MAAM;QACN,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;QAClC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE;YACnB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,GAAG;YACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1C,cAAc,EAAE,EAAE;SACnB;QACD,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAgB;YACxB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,UAAU;YAClB,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;YAC5C,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAChE,eAAe,EAAE,EAAE;YACnB,sBAAsB,EAAE,CAAC;YACzB,2BAA2B,EAAE,CAAC;YAC9B,iBAAiB,EAAE,oBAAoB;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gCAAgC,CAAC,CAAC;QAC5E,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,CAAC,CAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACzD,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACnE,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAgB;YACxB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,MAAM;YACd,cAAc,EAAE,EAAE,SAAS,EAAE,oBAAoB,EAAE;YACnD,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;YAC5C,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACjD,eAAe,EAAE,EAAE;YACnB,sBAAsB,EAAE,CAAC;YACzB,2BAA2B,EAAE,CAAC;YAC9B,iBAAiB,EAAE,oBAAoB;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CACrE,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gCAAgC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,eAAe,EAAE;gBACf,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE;gBAClE,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;aAC7E;YACD,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,IAAI;YAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CACH,CAAC;QACF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACpG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC1G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,IAAI;YAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC;QACjE,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,iBAAiB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YACrE,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,IAAI;YAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CACH,CAAC;QACF,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,KAAK;YAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,eAAe,EAAE,OAAO,EAAE;YAC9E,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CACH,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CACxF,uBAAuB,CACxB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YACtF,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,IAAI;YAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,GAAG,GAA2B,2BAA2B,CAAC;YAC9D,oBAAoB,EAAE,CAAC;YACvB,4BAA4B,EAAE,CAAC;YAC/B,sBAAsB,EAAE,KAAK;YAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,IAAI,GAAgB;YACxB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;YAC5C,mBAAmB,EAAE;gBACnB,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,GAAG;gBACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBAC1C,cAAc,EAAE,EAAE;aACnB;YACD,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC/C,eAAe,EAAE,EAAE;YACnB,sBAAsB,EAAE,CAAC;YACzB,2BAA2B,EAAE,CAAC;YAC9B,iBAAiB,EAAE,oBAAoB;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,0BAA0B,CACzC,UAAU,CAAC;YACT,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,cAAc;YACtB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,sBAAsB,EAAE,GAAG;SAC5B,CAAC,CACH,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7D,MAAM,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAKN;YACH;gBACE,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,UAAU,CAAC;oBACjB,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC7B,sBAAsB,EAAE,2BAA2B,CAAC;wBAClD,oBAAoB,EAAE,CAAC;wBACvB,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;wBACpF,4BAA4B,EAAE,CAAC;wBAC/B,sBAAsB,EAAE,IAAI;wBAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;qBACxD,CAAC;iBACH,CAAC;gBACF,UAAU,EAAE,iBAAiB;gBAC7B,cAAc,EAAE,iBAAiB;aAClC;YACD;gBACE,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,UAAU,CAAC;oBACjB,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC7B,sBAAsB,EAAE,2BAA2B,CAAC;wBAClD,oBAAoB,EAAE,CAAC;wBACvB,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;wBAC5E,4BAA4B,EAAE,CAAC;wBAC/B,sBAAsB,EAAE,IAAI;wBAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;qBACxD,CAAC;iBACH,CAAC;gBACF,UAAU,EAAE,qBAAqB;gBACjC,cAAc,EAAE,oBAAoB;aACrC;YACD;gBACE,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,UAAU,CAAC;oBACjB,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC7B,sBAAsB,EAAE,2BAA2B,CAAC;wBAClD,oBAAoB,EAAE,CAAC;wBACvB,iBAAiB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACjE,4BAA4B,EAAE,CAAC;wBAC/B,sBAAsB,EAAE,IAAI;wBAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;qBACxD,CAAC;iBACH,CAAC;gBACF,UAAU,EAAE,cAAc;gBAC1B,cAAc,EAAE,0BAA0B;aAC3C;YACD;gBACE,KAAK,EAAE,eAAe;gBACtB,MAAM,EAAE,UAAU,CAAC;oBACjB,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,YAAY;oBACpB,KAAK,EAAE;wBACL;4BACE,GAAG,EAAE,CAAC;4BACN,MAAM,EAAE,GAAG;4BACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;4BACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;4BAC5C,mBAAmB,EAAE,IAAI;4BACzB,MAAM,EAAE,yBAAyB;4BACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;4BAC1D,eAAe,EAAE,EAAE;4BACnB,sBAAsB,EAAE,CAAC;4BACzB,2BAA2B,EAAE,CAAC;4BAC9B,iBAAiB,EAAE,oBAAoB;yBACxC;qBACF;iBACF,CAAC;gBACF,UAAU,EAAE,gCAAgC;gBAC5C,cAAc,EAAE,uBAAuB;aACxC;YACD;gBACE,KAAK,EAAE,+BAA+B;gBACtC,MAAM,EAAE,UAAU,CAAC;oBACjB,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE;wBACL;4BACE,GAAG,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC;4BACvB,sBAAsB,EAAE,CAAC;yBAC1B;qBACF;oBACD,sBAAsB,EAAE,2BAA2B,CAAC;wBAClD,oBAAoB,EAAE,CAAC;wBACvB,4BAA4B,EAAE,CAAC;wBAC/B,sBAAsB,EAAE,IAAI;wBAC5B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;qBACxD,CAAC;iBACH,CAAC;gBACF,UAAU,EAAE,sBAAsB;gBAClC,cAAc,EAAE,uBAAuB;aACxC;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,0BAA0B,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;YACpF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,CAAC,CAAE,CAAC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,yBAAyB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,yBAAyB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/executionTrace.d.ts

@@ -0,0 +1,13 @@
+import type { ExecutionTraceView, RunEvent, ToolObservedEvent, WorkflowResult } from "./types.js";
+export declare function isToolObservedRunEvent(ev: RunEvent): ev is ToolObservedEvent;
+/** Validates v2 `runEventId` uniqueness and `parentRunEventId` referential + ordering rules. */
+export declare function assertValidRunEventParentGraph(runEvents: RunEvent[]): void;
+export type BuildExecutionTraceViewInput = {
+    workflowId: string;
+    runEvents: RunEvent[];
+    malformedEventLineCount: number;
+    workflowResult?: WorkflowResult | null;
+};
+export declare function buildExecutionTraceView(input: BuildExecutionTraceViewInput): ExecutionTraceView;
+export declare function formatExecutionTraceText(view: ExecutionTraceView): string;
+//# sourceMappingURL=executionTrace.d.ts.map

package/dist/executionTrace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionTrace.d.ts","sourceRoot":"","sources":["../src/executionTrace.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAIV,kBAAkB,EAIlB,QAAQ,EACR,iBAAiB,EAGjB,cAAc,EACf,MAAM,YAAY,CAAC;AAEpB,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,QAAQ,GAAG,EAAE,IAAI,iBAAiB,CAE5E;AAED,gGAAgG;AAChG,wBAAgB,8BAA8B,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,CAiC1E;AAED,MAAM,MAAM,4BAA4B,GAAG;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,uBAAuB,EAAE,MAAM,CAAC;IAChC,cAAc,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;CACxC,CAAC;AA2GF,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,4BAA4B,GAAG,kBAAkB,CAiI/F;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAyBzE"}

package/dist/executionTrace.js

@@ -0,0 +1,272 @@
+import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
+import { planLogicalSteps } from "./planLogicalSteps.js";
+import { TruthLayerError } from "./truthLayerError.js";
+export function isToolObservedRunEvent(ev) {
+    return ev.type === "tool_observed";
+}
+/** Validates v2 `runEventId` uniqueness and `parentRunEventId` referential + ordering rules. */
+export function assertValidRunEventParentGraph(runEvents) {
+    const idToIndex = new Map();
+    for (let i = 0; i < runEvents.length; i++) {
+        const ev = runEvents[i];
+        if (ev.schemaVersion !== 2)
+            continue;
+        const id = ev.runEventId;
+        if (idToIndex.has(id)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.TRACE_DUPLICATE_RUN_EVENT_ID, `Duplicate runEventId: ${id}`);
+        }
+        idToIndex.set(id, i);
+    }
+    for (let i = 0; i < runEvents.length; i++) {
+        const ev = runEvents[i];
+        if (ev.schemaVersion !== 2)
+            continue;
+        const p = ev.parentRunEventId;
+        if (p === undefined)
+            continue;
+        const pi = idToIndex.get(p);
+        if (pi === undefined) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.TRACE_UNKNOWN_PARENT_RUN_EVENT_ID, `Unknown parentRunEventId: ${p}`);
+        }
+        if (pi >= i) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.TRACE_PARENT_FORWARD_REFERENCE, `parentRunEventId must reference a strictly earlier event; offending child index ${i}, parent index ${pi}.`);
+        }
+    }
+}
+function toolIngestIndicesBySeq(runEvents) {
+    const m = new Map();
+    for (let ingestIndex = 0; ingestIndex < runEvents.length; ingestIndex++) {
+        const ev = runEvents[ingestIndex];
+        if (!isToolObservedRunEvent(ev))
+            continue;
+        const list = m.get(ev.seq) ?? [];
+        list.push(ingestIndex);
+        m.set(ev.seq, list);
+    }
+    return m;
+}
+function deriveTraceStepKind(ev, ingestIndex, seqToLastToolIngest, planBySeq, verificationLink, hasWorkflowResult) {
+    if (ev.type === "tool_skipped") {
+        return "skipped";
+    }
+    if (ev.type === "control") {
+        const c = ev;
+        if ((c.controlKind === "branch" || c.controlKind === "gate") && c.decision === "taken") {
+            return "branch_taken";
+        }
+        if ((c.controlKind === "branch" || c.controlKind === "gate") && c.decision === "skipped") {
+            return "branch_skipped";
+        }
+        if (c.controlKind === "interrupt")
+            return "failed";
+        if (c.controlKind === "run_completed")
+            return "success";
+        if (c.controlKind === "loop")
+            return "neutral";
+        return "neutral";
+    }
+    if (ev.type === "model_turn") {
+        const m = ev;
+        if (m.status === "error")
+            return "failed";
+        if (m.status === "completed")
+            return "success";
+        if (m.status === "aborted" || m.status === "incomplete")
+            return "failed";
+        return "neutral";
+    }
+    if (ev.type === "retrieval") {
+        const r = ev;
+        if (r.status === "error")
+            return "failed";
+        if (r.status === "ok")
+            return "success";
+        if (r.status === "empty")
+            return "neutral";
+        return "neutral";
+    }
+    if (ev.type === "tool_observed") {
+        const seq = ev.seq;
+        const lastIngest = seqToLastToolIngest.get(seq);
+        const isLastForSeq = lastIngest === ingestIndex;
+        const plan = planBySeq.get(seq);
+        if (plan?.divergent && isLastForSeq) {
+            return "divergent_observations";
+        }
+        if (plan && plan.repeatObservationCount > 1 && !isLastForSeq) {
+            return "repeated_observation";
+        }
+        if (isLastForSeq && verificationLink?.engineStepStatus === "verified") {
+            return "success";
+        }
+        if (isLastForSeq && verificationLink !== null && verificationLink.engineStepStatus !== "verified") {
+            return "failed";
+        }
+        if (isLastForSeq && !hasWorkflowResult) {
+            return "neutral";
+        }
+        return "neutral";
+    }
+    return "neutral";
+}
+function nodeRunEventId(ev, ingestIndex) {
+    if (ev.schemaVersion === 2) {
+        return ev.runEventId;
+    }
+    return `syn:${ingestIndex}`;
+}
+function resolvedParentRunEventId(ev, ingestIndex) {
+    if (ev.schemaVersion !== 2)
+        return null;
+    if (ev.parentRunEventId === undefined)
+        return null;
+    return ev.parentRunEventId;
+}
+function buildAncestorChain(seedId, idToNode) {
+    const chain = [];
+    let cur = seedId;
+    const visited = new Set();
+    while (cur !== null) {
+        if (visited.has(cur))
+            break;
+        visited.add(cur);
+        chain.push(cur);
+        const n = idToNode.get(cur);
+        cur = n?.parentRunEventId ?? null;
+    }
+    return chain;
+}
+export function buildExecutionTraceView(input) {
+    const { workflowId, runEvents, malformedEventLineCount, workflowResult } = input;
+    assertValidRunEventParentGraph(runEvents);
+    const tools = runEvents.filter(isToolObservedRunEvent);
+    const plans = planLogicalSteps(tools);
+    const planBySeq = new Map(plans.map((p) => [p.seq, { divergent: p.divergent, repeatObservationCount: p.repeatObservationCount }]));
+    const seqToLastToolIngest = new Map();
+    const bySeq = toolIngestIndicesBySeq(runEvents);
+    for (const [seq, indices] of bySeq) {
+        const last = indices[indices.length - 1];
+        if (last !== undefined)
+            seqToLastToolIngest.set(seq, last);
+    }
+    const hasWr = workflowResult !== undefined && workflowResult !== null;
+    const verificationLinkByIngest = new Map();
+    if (hasWr && workflowResult) {
+        if (workflowResult.workflowId !== workflowId) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, `WorkflowResult.workflowId (${workflowResult.workflowId}) does not match trace workflowId (${workflowId}).`);
+        }
+        const wr = workflowResult;
+        for (let stepIndex = 0; stepIndex < wr.steps.length; stepIndex++) {
+            const step = wr.steps[stepIndex];
+            const seq = step.seq;
+            const lastIngest = seqToLastToolIngest.get(seq);
+            if (lastIngest === undefined)
+                continue;
+            const truthStep = wr.workflowTruthReport.steps[stepIndex];
+            const truthOutcomeLabel = truthStep?.outcomeLabel ?? "UNKNOWN";
+            verificationLinkByIngest.set(lastIngest, {
+                stepIndex,
+                seq,
+                engineStepStatus: step.status,
+                truthOutcomeLabel,
+            });
+        }
+    }
+    const nodes = [];
+    for (let ingestIndex = 0; ingestIndex < runEvents.length; ingestIndex++) {
+        const ev = runEvents[ingestIndex];
+        const vLink = verificationLinkByIngest.get(ingestIndex) ?? null;
+        const traceStepKind = deriveTraceStepKind(ev, ingestIndex, seqToLastToolIngest, planBySeq, vLink, hasWr);
+        const wireType = ev.type;
+        const wireSchemaVersion = ev.schemaVersion;
+        let toolSeq = null;
+        let toolId = null;
+        if (wireType === "tool_observed") {
+            toolSeq = ev.seq;
+            toolId = ev.toolId;
+        }
+        else if (wireType === "tool_skipped") {
+            toolId = ev.toolId;
+        }
+        const verificationLink = wireType === "tool_observed" && seqToLastToolIngest.get(ev.seq) === ingestIndex ? vLink : null;
+        nodes.push({
+            ingestIndex,
+            runEventId: nodeRunEventId(ev, ingestIndex),
+            wireSchemaVersion,
+            wireType,
+            parentRunEventId: resolvedParentRunEventId(ev, ingestIndex),
+            traceStepKind,
+            toolSeq,
+            toolId,
+            verificationLink,
+        });
+    }
+    let runCompletion = "unknown_or_interrupted";
+    if (nodes.length > 0) {
+        const last = nodes[nodes.length - 1];
+        const ev = runEvents[last.ingestIndex];
+        if (ev.type === "control" &&
+            ev.controlKind === "run_completed") {
+            runCompletion = "completed";
+        }
+    }
+    const idToNode = new Map(nodes.map((n) => [n.runEventId, n]));
+    const backwardPaths = [];
+    if (nodes.length > 0) {
+        const lastNode = nodes[nodes.length - 1];
+        backwardPaths.push({
+            pathKind: "workflow_terminal",
+            seedRunEventId: lastNode.runEventId,
+            ancestorRunEventIds: buildAncestorChain(lastNode.runEventId, idToNode),
+        });
+    }
+    if (hasWr && workflowResult) {
+        for (let stepIndex = 0; stepIndex < workflowResult.steps.length; stepIndex++) {
+            const step = workflowResult.steps[stepIndex];
+            const seq = step.seq;
+            const lastIngest = seqToLastToolIngest.get(seq);
+            if (lastIngest === undefined)
+                continue;
+            const seedNode = nodes[lastIngest];
+            backwardPaths.push({
+                pathKind: "verification_step",
+                seedRunEventId: seedNode.runEventId,
+                ancestorRunEventIds: buildAncestorChain(seedNode.runEventId, idToNode),
+                stepIndex,
+                seq,
+            });
+        }
+    }
+    return {
+        schemaVersion: 1,
+        workflowId,
+        runCompletion,
+        malformedEventLineCount,
+        nodes,
+        backwardPaths,
+    };
+}
+export function formatExecutionTraceText(view) {
+    const lines = [];
+    lines.push(`workflowId=${view.workflowId}`);
+    lines.push(`runCompletion=${view.runCompletion}`);
+    lines.push(`malformedEventLineCount=${view.malformedEventLineCount}`);
+    lines.push("nodes:");
+    for (const n of view.nodes) {
+        const v = n.verificationLink
+            ? ` step=${n.verificationLink.stepIndex} engineStatus=${n.verificationLink.engineStepStatus} truth=${n.verificationLink.truthOutcomeLabel}`
+            : "";
+        lines.push(`  [${n.ingestIndex}] id=${n.runEventId} type=${n.wireType} kind=${n.traceStepKind} parent=${n.parentRunEventId ?? "null"} seq=${n.toolSeq ?? "-"}${v}`);
+    }
+    lines.push("backwardPaths:");
+    for (const p of view.backwardPaths) {
+        if (p.pathKind === "workflow_terminal") {
+            lines.push(`  workflow_terminal seed=${p.seedRunEventId} chain=${p.ancestorRunEventIds.join(" -> ")}`);
+        }
+        else {
+            lines.push(`  verification_step stepIndex=${p.stepIndex} seq=${p.seq} seed=${p.seedRunEventId} chain=${p.ancestorRunEventIds.join(" -> ")}`);
+        }
+    }
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=executionTrace.js.map

package/dist/executionTrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionTrace.js","sourceRoot":"","sources":["../src/executionTrace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAgBvD,MAAM,UAAU,sBAAsB,CAAC,EAAY;IACjD,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,8BAA8B,CAAC,SAAqB;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC;QACzB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,4BAA4B,EAClD,yBAAyB,EAAE,EAAE,CAC9B,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC;QAC9B,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,iCAAiC,EACvD,6BAA6B,CAAC,EAAE,CACjC,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACZ,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,mFAAmF,CAAC,kBAAkB,EAAE,GAAG,CAC5G,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AASD,SAAS,sBAAsB,CAAC,SAAqB;IACnD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAoB,CAAC;IACtC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;QACxE,MAAM,EAAE,GAAG,SAAS,CAAC,WAAW,CAAE,CAAC;QACnC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC;YAAE,SAAS;QAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,EAAY,EACZ,WAAmB,EACnB,mBAAwC,EACxC,SAGC,EACD,gBAAuD,EACvD,iBAA0B;IAE1B,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,EAAqB,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACvF,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzF,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW;YAAE,OAAO,QAAQ,CAAC;QACnD,IAAI,CAAC,CAAC,WAAW,KAAK,eAAe;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,EAAuB,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,QAAQ,CAAC;QAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QAC/C,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;YAAE,OAAO,QAAQ,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAuB,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,QAAQ,CAAC;QAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;QACnB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,YAAY,GAAG,UAAU,KAAK,WAAW,CAAC;QAChD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,IAAI,EAAE,SAAS,IAAI,YAAY,EAAE,CAAC;YACpC,OAAO,wBAAwB,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,IAAI,IAAI,CAAC,sBAAsB,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YAC7D,OAAO,sBAAsB,CAAC;QAChC,CAAC;QACD,IAAI,YAAY,IAAI,gBAAgB,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAC;YACtE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,YAAY,IAAI,gBAAgB,KAAK,IAAI,IAAI,gBAAgB,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;YAClG,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,YAAY,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,EAAY,EAAE,WAAmB;IACvD,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,OAAO,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,wBAAwB,CAAC,EAAY,EAAE,WAAmB;IACjE,IAAI,EAAE,CAAC,aAAa,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,EAAE,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,EAAE,CAAC,gBAAgB,CAAC;AAC7B,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc,EAAE,QAAyC;IACnF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAkB,MAAM,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,GAAG,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM;QAC5B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,GAAG,CAAC,EAAE,gBAAgB,IAAI,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAmC;IACzE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,uBAAuB,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACjF,8BAA8B,CAAC,SAAS,CAAC,CAAC;IAE1C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnI,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtD,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,SAAS;YAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,IAAI,CAAC;IACtE,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAiD,CAAC;IAE1F,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;QAC5B,IAAI,cAAc,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,8BAA8B,cAAc,CAAC,UAAU,sCAAsC,UAAU,IAAI,CAC5G,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,cAAc,CAAC;QAC1B,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;YACjE,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAE,CAAC;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;YACrB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,UAAU,KAAK,SAAS;gBAAE,SAAS;YACvC,MAAM,SAAS,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1D,MAAM,iBAAiB,GAAG,SAAS,EAAE,YAAY,IAAI,SAAS,CAAC;YAC/D,wBAAwB,CAAC,GAAG,CAAC,UAAU,EAAE;gBACvC,SAAS;gBACT,GAAG;gBACH,gBAAgB,EAAE,IAAI,CAAC,MAAM;gBAC7B,iBAAiB;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAyB,EAAE,CAAC;IACvC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;QACxE,MAAM,EAAE,GAAG,SAAS,CAAC,WAAW,CAAE,CAAC;QACnC,MAAM,KAAK,GAAG,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;QAChE,MAAM,aAAa,GAAG,mBAAmB,CACvC,EAAE,EACF,WAAW,EACX,mBAAmB,EACnB,SAAS,EACT,KAAK,EACL,KAAK,CACN,CAAC;QACF,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC;QACzB,MAAM,iBAAiB,GAAG,EAAE,CAAC,aAAsB,CAAC;QACpD,IAAI,OAAO,GAAkB,IAAI,CAAC;QAClC,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,QAAQ,KAAK,eAAe,EAAE,CAAC;YACjC,OAAO,GAAG,EAAE,CAAC,GAAG,CAAC;YACjB,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QACrB,CAAC;aAAM,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;YACvC,MAAM,GAAI,EAA0B,CAAC,MAAM,CAAC;QAC9C,CAAC;QACD,MAAM,gBAAgB,GACpB,QAAQ,KAAK,eAAe,IAAI,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAEjG,KAAK,CAAC,IAAI,CAAC;YACT,WAAW;YACX,UAAU,EAAE,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC;YAC3C,iBAAiB;YACjB,QAAQ;YACR,gBAAgB,EAAE,wBAAwB,CAAC,EAAE,EAAE,WAAW,CAAC;YAC3D,aAAa;YACb,OAAO;YACP,MAAM;YACN,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,aAAa,GAA2C,wBAAwB,CAAC;IACrF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAE,CAAC;QACxC,IACE,EAAE,CAAC,IAAI,KAAK,SAAS;YACpB,EAAsB,CAAC,WAAW,KAAK,eAAe,EACvD,CAAC;YACD,aAAa,GAAG,WAAW,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,aAAa,GAAiC,EAAE,CAAC;IAEvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QAC1C,aAAa,CAAC,IAAI,CAAC;YACjB,QAAQ,EAAE,mBAAmB;YAC7B,cAAc,EAAE,QAAQ,CAAC,UAAU;YACnC,mBAAmB,EAAE,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;SACvE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;QAC5B,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;YAC7E,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;YACrB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,UAAU,KAAK,SAAS;gBAAE,SAAS;YACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAE,CAAC;YACpC,aAAa,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,mBAAmB;gBAC7B,cAAc,EAAE,QAAQ,CAAC,UAAU;gBACnC,mBAAmB,EAAE,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;gBACtE,SAAS;gBACT,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,aAAa;QACb,uBAAuB;QACvB,KAAK;QACL,aAAa;KACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAwB;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,2BAA2B,IAAI,CAAC,uBAAuB,EAAE,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB;YAC1B,CAAC,CAAC,SAAS,CAAC,CAAC,gBAAgB,CAAC,SAAS,iBAAiB,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,UAAU,CAAC,CAAC,gBAAgB,CAAC,iBAAiB,EAAE;YAC3I,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,CAAC,WAAW,QAAQ,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,aAAa,WAAW,CAAC,CAAC,gBAAgB,IAAI,MAAM,QAAQ,CAAC,CAAC,OAAO,IAAI,GAAG,GAAG,CAAC,EAAE,CACxJ,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,mBAAmB,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC,cAAc,UAAU,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzG,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,iCAAiC,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,cAAc,UAAU,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACjI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}