agentskeptic 0.1.1

package/dist/eventSequenceIntegrity.test.js

@@ -0,0 +1,65 @@
+import { describe, expect, it } from "vitest";
+import { analyzeEventSequenceIntegrity } from "./eventSequenceIntegrity.js";
+import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
+import { eventSequenceIssue, eventSequenceTimestampNotMonotonicReason } from "./failureCatalog.js";
+function ev(overrides) {
+    return {
+        schemaVersion: 1,
+        workflowId: "w",
+        type: "tool_observed",
+        params: {},
+        ...overrides,
+    };
+}
+describe("analyzeEventSequenceIntegrity", () => {
+    it("empty capture is normal", () => {
+        expect(analyzeEventSequenceIntegrity([])).toEqual({ kind: "normal" });
+    });
+    it("detects non-monotonic seq in capture order", () => {
+        const r = analyzeEventSequenceIntegrity([ev({ seq: 1, toolId: "a" }), ev({ seq: 0, toolId: "b" })]);
+        expect(r).toEqual({
+            kind: "irregular",
+            reasons: [eventSequenceIssue("CAPTURE_ORDER_NOT_MONOTONIC_IN_SEQ")],
+        });
+    });
+    it("monotonic seq including duplicates is normal without timestamp issues", () => {
+        expect(analyzeEventSequenceIntegrity([ev({ seq: 0, toolId: "a" }), ev({ seq: 0, toolId: "a" }), ev({ seq: 1, toolId: "b" })])).toEqual({ kind: "normal" });
+    });
+    it("detects first decreasing timestamp pair in seq-sorted order", () => {
+        const r = analyzeEventSequenceIntegrity([
+            ev({ seq: 0, toolId: "a", timestamp: "2020-01-02T00:00:00.000Z" }),
+            ev({ seq: 1, toolId: "b", timestamp: "2020-01-01T00:00:00.000Z" }),
+        ]);
+        expect(r).toEqual({
+            kind: "irregular",
+            reasons: [eventSequenceTimestampNotMonotonicReason(0, 1)],
+        });
+    });
+    it("skips timestamp pair when parse is not finite", () => {
+        expect(analyzeEventSequenceIntegrity([
+            ev({ seq: 0, toolId: "a", timestamp: "not-a-date" }),
+            ev({ seq: 1, toolId: "b", timestamp: "2020-01-01T00:00:00.000Z" }),
+        ])).toEqual({ kind: "normal" });
+    });
+    it("capture irregular then timestamp: two reasons in order", () => {
+        const r = analyzeEventSequenceIntegrity([
+            ev({ seq: 1, toolId: "a", timestamp: "2020-01-02T00:00:00.000Z" }),
+            ev({ seq: 0, toolId: "b", timestamp: "2020-01-03T00:00:00.000Z" }),
+        ]);
+        expect(r.kind).toBe("irregular");
+        if (r.kind === "irregular") {
+            expect(r.reasons).toHaveLength(2);
+            expect(r.reasons[0]).toEqual(eventSequenceIssue("CAPTURE_ORDER_NOT_MONOTONIC_IN_SEQ"));
+            expect(r.reasons[1]).toEqual(eventSequenceTimestampNotMonotonicReason(0, 1));
+        }
+    });
+});
+describe("prepareWorkflowEvents", () => {
+    it("sorts by seq stable and preserves analyzer output", () => {
+        const capture = [ev({ seq: 2, toolId: "x" }), ev({ seq: 0, toolId: "y" }), ev({ seq: 1, toolId: "z" })];
+        const { eventsSorted, eventSequenceIntegrity } = prepareWorkflowEvents(capture);
+        expect(eventsSorted.map((e) => e.seq)).toEqual([0, 1, 2]);
+        expect(eventSequenceIntegrity.kind).toBe("irregular");
+    });
+});
+//# sourceMappingURL=eventSequenceIntegrity.test.js.map

package/dist/eventSequenceIntegrity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eventSequenceIntegrity.test.js","sourceRoot":"","sources":["../src/eventSequenceIntegrity.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,wCAAwC,EAAE,MAAM,qBAAqB,CAAC;AAGnG,SAAS,EAAE,CAAC,SAAiF;IAC3F,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,EAAE;QACV,GAAG,SAAS;KACQ,CAAC;AACzB,CAAC;AAED,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,6BAA6B,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACpG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,CAAC,kBAAkB,CAAC,oCAAoC,CAAC,CAAC;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CACJ,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CACvH,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,6BAA6B,CAAC;YACtC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;YAClE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;SACnE,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,CAAC,wCAAwC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CACJ,6BAA6B,CAAC;YAC5B,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;YACpD,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;SACnE,CAAC,CACH,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,6BAA6B,CAAC;YACtC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;YAClE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA0B,EAAE,CAAC;SACnE,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,oCAAoC,CAAC,CAAC,CAAC;YACvF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxG,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAChF,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/executionPathFindings.d.ts

@@ -0,0 +1,15 @@
+import type { ExecutionPathFinding, WorkflowEngineResult } from "./types.js";
+/** Reason codes from `resolveExpectation` / registry resolution + pipeline `UNKNOWN_TOOL`. */
+export declare const ACTION_INPUT_REASON_CODES: ReadonlySet<string>;
+/**
+ * Step-level reason codes produced only after SQL reconciliation / rollup.
+ * Execution-path findings must never use these as top-level `finding.code`
+ * and must not emit path rows driven solely by these (remain on SQL axis).
+ */
+export declare const RECONCILER_STEP_REASON_CODES: ReadonlySet<string>;
+/** Every allowed top-level execution-path finding `code` (for tests / validation). */
+export declare const EXECUTION_PATH_FINDING_CODES: ReadonlySet<string>;
+/** Deterministic execution-path findings (orthogonal to SQL end-state verdicts). */
+export declare function buildExecutionPathFindings(engine: WorkflowEngineResult): ExecutionPathFinding[];
+export declare function buildExecutionPathSummary(findings: ExecutionPathFinding[], maxWireSchemaVersion: 1 | 2): string;
+//# sourceMappingURL=executionPathFindings.d.ts.map

package/dist/executionPathFindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPathFindings.d.ts","sourceRoot":"","sources":["../src/executionPathFindings.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAA6B,oBAAoB,EAAe,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGrH,8FAA8F;AAC9F,eAAO,MAAM,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAGxD,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAAyD,CAAC;AAEvH,sFAAsF;AACtF,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAgB3D,CAAC;AAmCH,oFAAoF;AACpF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB,EAAE,CAyP/F;AAMD,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,oBAAoB,EAAE,EAChC,oBAAoB,EAAE,CAAC,GAAG,CAAC,GAC1B,MAAM,CAMR"}

package/dist/executionPathFindings.js

@@ -0,0 +1,299 @@
+import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
+import { REGISTRY_RESOLVER_CODE, SQL_VERIFICATION_OUTCOME_CODE, UNKNOWN_TOOL } from "./wireReasonCodes.js";
+/** Reason codes from `resolveExpectation` / registry resolution + pipeline `UNKNOWN_TOOL`. */
+export const ACTION_INPUT_REASON_CODES = new Set([
+    UNKNOWN_TOOL,
+    ...Object.values(REGISTRY_RESOLVER_CODE),
+]);
+/**
+ * Step-level reason codes produced only after SQL reconciliation / rollup.
+ * Execution-path findings must never use these as top-level `finding.code`
+ * and must not emit path rows driven solely by these (remain on SQL axis).
+ */
+export const RECONCILER_STEP_REASON_CODES = new Set(Object.values(SQL_VERIFICATION_OUTCOME_CODE));
+/** Every allowed top-level execution-path finding `code` (for tests / validation). */
+export const EXECUTION_PATH_FINDING_CODES = new Set([
+    "RETRIEVAL_EMPTY",
+    "RETRIEVAL_ERROR",
+    "RETRIEVAL_THIN_HITS",
+    "NO_RETRIEVAL_EVENTS",
+    "MODEL_TURN_ABNORMAL",
+    "CONTROL_INTERRUPT",
+    "BRANCH_OR_GATE_SKIPPED",
+    "TOOL_SKIPPED",
+    "ACTION_INPUT_RESOLUTION_FAILED",
+    "MISSING_RUN_COMPLETED",
+    "LOGICAL_STEP_RETRIES",
+    "RETRY_OBSERVATIONS_DIVERGE",
+    "LAST_EVENT_MODEL_ABNORMAL",
+    "RUN_LEVEL_INGEST_ISSUES",
+    "EVENT_SEQUENCE_IRREGULAR",
+]);
+/** Step reason strings that are also legitimate top-level path `finding.code` values (not SQL-axis leaks). */
+const RECONCILER_CODE_OK_AS_PATH_FINDING_CODE = new Set([
+    SQL_VERIFICATION_OUTCOME_CODE.RETRY_OBSERVATIONS_DIVERGE,
+]);
+function pushFinding(out, f) {
+    out.push({
+        code: f.code,
+        severity: f.severity,
+        concernCategory: f.concernCategory,
+        message: f.message,
+        evidence: f.evidence,
+    });
+}
+function dedupeFindings(findings) {
+    const seen = new Set();
+    const out = [];
+    for (const f of findings) {
+        const ing = f.evidence.ingestIndex ?? -1;
+        const seq = f.evidence.seq ?? -1;
+        const tid = f.evidence.toolId ?? "";
+        const key = `${f.code}\0${ing}\0${seq}\0${tid}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(f);
+    }
+    return out;
+}
+/** Deterministic execution-path findings (orthogonal to SQL end-state verdicts). */
+export function buildExecutionPathFindings(engine) {
+    const ctx = engine.verificationRunContext ?? createEmptyVerificationRunContext();
+    const out = [];
+    if (engine.runLevelReasons.length > 0) {
+        const codes = [...new Set(engine.runLevelReasons.map((r) => r.code))].sort((a, b) => a.localeCompare(b));
+        pushFinding(out, {
+            code: "RUN_LEVEL_INGEST_ISSUES",
+            severity: "high",
+            concernCategory: "capture_integrity",
+            message: `Run-level ingest or parse issues (${codes.join(", ")}).`,
+            evidence: { scope: "run_level", codes },
+        });
+    }
+    if (engine.eventSequenceIntegrity.kind === "irregular") {
+        const codes = [...new Set(engine.eventSequenceIntegrity.reasons.map((r) => r.code))].sort((a, b) => a.localeCompare(b));
+        pushFinding(out, {
+            code: "EVENT_SEQUENCE_IRREGULAR",
+            severity: "medium",
+            concernCategory: "capture_integrity",
+            message: `Event capture order or timestamps were irregular (${codes.join(", ")}).`,
+            evidence: { scope: "event_sequence", codes },
+        });
+    }
+    for (const r of ctx.retrievalEvents) {
+        if (r.status === "empty") {
+            pushFinding(out, {
+                code: "RETRIEVAL_EMPTY",
+                severity: "high",
+                concernCategory: "context_quality",
+                message: `Retrieval from "${r.source}" returned empty.`,
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: r.ingestIndex,
+                    source: r.source,
+                    runEventId: r.runEventId,
+                    codes: ["RETRIEVAL_EMPTY"],
+                },
+            });
+        }
+        else if (r.status === "error") {
+            pushFinding(out, {
+                code: "RETRIEVAL_ERROR",
+                severity: "high",
+                concernCategory: "context_quality",
+                message: `Retrieval from "${r.source}" failed.`,
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: r.ingestIndex,
+                    source: r.source,
+                    runEventId: r.runEventId,
+                    codes: ["RETRIEVAL_ERROR"],
+                },
+            });
+        }
+        else if (r.status === "ok" && r.hitCount !== undefined && r.hitCount === 0) {
+            pushFinding(out, {
+                code: "RETRIEVAL_THIN_HITS",
+                severity: "medium",
+                concernCategory: "context_quality",
+                message: `Retrieval from "${r.source}" reported ok with hitCount 0.`,
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: r.ingestIndex,
+                    source: r.source,
+                    runEventId: r.runEventId,
+                    codes: ["RETRIEVAL_THIN_HITS"],
+                },
+            });
+        }
+    }
+    if (ctx.maxWireSchemaVersion === 2 &&
+        ctx.retrievalEvents.length === 0 &&
+        ctx.firstToolObservedIngestIndex !== null) {
+        pushFinding(out, {
+            code: "NO_RETRIEVAL_EVENTS",
+            severity: "low",
+            concernCategory: "context_quality",
+            message: "No retrieval events recorded before tool observations (coarse missing-context signal).",
+            evidence: { scope: "run_context", codes: ["NO_RETRIEVAL_EVENTS"] },
+        });
+    }
+    for (const m of ctx.modelTurnEvents) {
+        if (m.status === "error" || m.status === "aborted" || m.status === "incomplete") {
+            pushFinding(out, {
+                code: "MODEL_TURN_ABNORMAL",
+                severity: "high",
+                concernCategory: "decision_execution",
+                message: `Model turn ended with status ${m.status}.`,
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: m.ingestIndex,
+                    runEventId: m.runEventId,
+                    codes: [`MODEL_TURN_${m.status.toUpperCase()}`],
+                },
+            });
+        }
+    }
+    for (const c of ctx.controlEvents) {
+        if (c.controlKind === "interrupt") {
+            pushFinding(out, {
+                code: "CONTROL_INTERRUPT",
+                severity: "high",
+                concernCategory: "decision_execution",
+                message: "Control interrupt recorded in run graph.",
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: c.ingestIndex,
+                    runEventId: c.runEventId,
+                    codes: ["CONTROL_INTERRUPT"],
+                },
+            });
+        }
+        else if ((c.controlKind === "branch" || c.controlKind === "gate") &&
+            c.decision === "skipped") {
+            pushFinding(out, {
+                code: "BRANCH_OR_GATE_SKIPPED",
+                severity: "medium",
+                concernCategory: "decision_execution",
+                message: `${c.controlKind} path was skipped.`,
+                evidence: {
+                    scope: "run_context",
+                    ingestIndex: c.ingestIndex,
+                    runEventId: c.runEventId,
+                    codes: [`CONTROL_${c.controlKind.toUpperCase()}_SKIPPED`],
+                },
+            });
+        }
+    }
+    for (const s of ctx.toolSkippedEvents) {
+        pushFinding(out, {
+            code: "TOOL_SKIPPED",
+            severity: "medium",
+            concernCategory: "tool_selection_execution",
+            message: `Tool ${s.toolId} was skipped.`,
+            evidence: {
+                scope: "run_context",
+                ingestIndex: s.ingestIndex,
+                toolId: s.toolId,
+                codes: ["TOOL_SKIPPED"],
+            },
+        });
+    }
+    for (const step of engine.steps) {
+        if (step.status === "incomplete_verification") {
+            const primary = step.reasons[0]?.code;
+            if (primary !== undefined && ACTION_INPUT_REASON_CODES.has(primary)) {
+                pushFinding(out, {
+                    code: "ACTION_INPUT_RESOLUTION_FAILED",
+                    severity: "high",
+                    concernCategory: "action_inputs_invalid",
+                    message: `Tool ${step.toolId} at seq ${step.seq}: parameter/registry resolution failed (${primary}).`,
+                    evidence: {
+                        scope: "step",
+                        seq: step.seq,
+                        toolId: step.toolId,
+                        codes: [primary],
+                    },
+                });
+            }
+            else if (primary === SQL_VERIFICATION_OUTCOME_CODE.RETRY_OBSERVATIONS_DIVERGE) {
+                pushFinding(out, {
+                    code: "RETRY_OBSERVATIONS_DIVERGE",
+                    severity: "medium",
+                    concernCategory: "workflow_completeness",
+                    message: `Seq ${step.seq} tool ${step.toolId}: repeated observations diverged.`,
+                    evidence: {
+                        scope: "step",
+                        seq: step.seq,
+                        toolId: step.toolId,
+                        codes: [primary],
+                    },
+                });
+            }
+        }
+        if (step.repeatObservationCount > 1) {
+            pushFinding(out, {
+                code: "LOGICAL_STEP_RETRIES",
+                severity: "low",
+                concernCategory: "workflow_completeness",
+                message: `Seq ${step.seq} tool ${step.toolId}: ${step.repeatObservationCount} observations for one logical step.`,
+                evidence: {
+                    scope: "step",
+                    seq: step.seq,
+                    toolId: step.toolId,
+                    codes: ["LOGICAL_STEP_RETRIES"],
+                },
+            });
+        }
+    }
+    if (ctx.maxWireSchemaVersion === 2 &&
+        ctx.firstToolObservedIngestIndex !== null &&
+        !ctx.hasRunCompletedControl) {
+        pushFinding(out, {
+            code: "MISSING_RUN_COMPLETED",
+            severity: "medium",
+            concernCategory: "workflow_completeness",
+            message: "No run_completed control event after tool observations (v2 graph).",
+            evidence: { scope: "run_context", codes: ["MISSING_RUN_COMPLETED"] },
+        });
+    }
+    const last = ctx.lastRunEvent;
+    if (last !== null &&
+        last.type === "model_turn" &&
+        last.modelTurnStatus !== undefined &&
+        last.modelTurnStatus !== "completed") {
+        pushFinding(out, {
+            code: "LAST_EVENT_MODEL_ABNORMAL",
+            severity: "high",
+            concernCategory: "workflow_completeness",
+            message: `Last captured event is model_turn with status ${last.modelTurnStatus}.`,
+            evidence: {
+                scope: "run_context",
+                ingestIndex: last.ingestIndex,
+                codes: [`MODEL_TURN_${last.modelTurnStatus.toUpperCase()}`],
+            },
+        });
+    }
+    const deduped = dedupeFindings(out);
+    for (const f of deduped) {
+        if (!EXECUTION_PATH_FINDING_CODES.has(f.code)) {
+            throw new Error(`Internal error: unknown execution path finding code ${f.code}`);
+        }
+        if (RECONCILER_STEP_REASON_CODES.has(f.code) &&
+            !RECONCILER_CODE_OK_AS_PATH_FINDING_CODE.has(f.code)) {
+            throw new Error(`Internal error: reconciler code leaked into path finding: ${f.code}`);
+        }
+    }
+    return deduped;
+}
+const SUMMARY_V1_NO_CONCERNS = "Full upstream execution-path visibility requires schemaVersion 2 run events (retrieval, model_turn, control, tool_skipped) with run graph fields.";
+const SUMMARY_V2_CLEAR = "No execution-path concerns detected under current rules.";
+export function buildExecutionPathSummary(findings, maxWireSchemaVersion) {
+    if (findings.length === 0) {
+        return maxWireSchemaVersion === 1 ? SUMMARY_V1_NO_CONCERNS : SUMMARY_V2_CLEAR;
+    }
+    const codes = [...new Set(findings.map((f) => f.code))].sort((a, b) => a.localeCompare(b));
+    return `execution_path_concerns=${findings.length}; codes=${codes.join(",")}`;
+}
+//# sourceMappingURL=executionPathFindings.js.map

package/dist/executionPathFindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPathFindings.js","sourceRoot":"","sources":["../src/executionPathFindings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAEhF,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE3G,8FAA8F;AAC9F,MAAM,CAAC,MAAM,yBAAyB,GAAwB,IAAI,GAAG,CAAC;IACpE,YAAY;IACZ,GAAG,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC;CACzC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,6BAA6B,CAAC,CAAC,CAAC;AAEvH,sFAAsF;AACtF,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IACvE,iBAAiB;IACjB,iBAAiB;IACjB,qBAAqB;IACrB,qBAAqB;IACrB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,cAAc;IACd,gCAAgC;IAChC,uBAAuB;IACvB,sBAAsB;IACtB,4BAA4B;IAC5B,2BAA2B;IAC3B,yBAAyB;IACzB,0BAA0B;CAC3B,CAAC,CAAC;AAEH,8GAA8G;AAC9G,MAAM,uCAAuC,GAAwB,IAAI,GAAG,CAAC;IAC3E,6BAA6B,CAAC,0BAA0B;CACzD,CAAC,CAAC;AAEH,SAAS,WAAW,CAClB,GAA2B,EAC3B,CAAmF;IAEnF,GAAG,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;KACrB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAAgC;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,EAAE,CAAC;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,0BAA0B,CAAC,MAA4B;IACrE,MAAM,GAAG,GAAG,MAAM,CAAC,sBAAsB,IAAI,iCAAiC,EAAE,CAAC;IACjF,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAClF,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,CAAC;QACF,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,mBAAmB;YACpC,OAAO,EAAE,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAClE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;SACxC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,CAAC;QACF,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,0BAA0B;YAChC,QAAQ,EAAE,QAAQ;YAClB,eAAe,EAAE,mBAAmB;YACpC,OAAO,EAAE,qDAAqD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAClF,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE;SAC7C,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YACzB,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,iBAAiB;gBAClC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,mBAAmB;gBACvD,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,iBAAiB,CAAC;iBAC3B;aACF,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAChC,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,iBAAiB;gBAClC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,WAAW;gBAC/C,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,iBAAiB,CAAC;iBAC3B;aACF,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC7E,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,QAAQ;gBAClB,eAAe,EAAE,iBAAiB;gBAClC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,gCAAgC;gBACpE,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,qBAAqB,CAAC;iBAC/B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IACE,GAAG,CAAC,oBAAoB,KAAK,CAAC;QAC9B,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAChC,GAAG,CAAC,4BAA4B,KAAK,IAAI,EACzC,CAAC;QACD,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,iBAAiB;YAClC,OAAO,EAAE,wFAAwF;YACjG,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,qBAAqB,CAAC,EAAE;SACnE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAChF,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,oBAAoB;gBACrC,OAAO,EAAE,gCAAgC,CAAC,CAAC,MAAM,GAAG;gBACpD,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;iBAChD;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YAClC,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,mBAAmB;gBACzB,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,oBAAoB;gBACrC,OAAO,EAAE,0CAA0C;gBACnD,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;iBAC7B;aACF,CAAC,CAAC;QACL,CAAC;aAAM,IACL,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC;YACxD,CAAC,CAAC,QAAQ,KAAK,SAAS,EACxB,CAAC;YACD,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,QAAQ;gBAClB,eAAe,EAAE,oBAAoB;gBACrC,OAAO,EAAE,GAAG,CAAC,CAAC,WAAW,oBAAoB;gBAC7C,QAAQ,EAAE;oBACR,KAAK,EAAE,aAAa;oBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC;iBAC1D;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;QACtC,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,cAAc;YACpB,QAAQ,EAAE,QAAQ;YAClB,eAAe,EAAE,0BAA0B;YAC3C,OAAO,EAAE,QAAQ,CAAC,CAAC,MAAM,eAAe;YACxC,QAAQ,EAAE;gBACR,KAAK,EAAE,aAAa;gBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,KAAK,EAAE,CAAC,cAAc,CAAC;aACxB;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,yBAAyB,EAAE,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACtC,IAAI,OAAO,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpE,WAAW,CAAC,GAAG,EAAE;oBACf,IAAI,EAAE,gCAAgC;oBACtC,QAAQ,EAAE,MAAM;oBAChB,eAAe,EAAE,uBAAuB;oBACxC,OAAO,EAAE,QAAQ,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,GAAG,2CAA2C,OAAO,IAAI;oBACrG,QAAQ,EAAE;wBACR,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,IAAI,CAAC,GAAG;wBACb,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,KAAK,EAAE,CAAC,OAAO,CAAC;qBACjB;iBACF,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,KAAK,6BAA6B,CAAC,0BAA0B,EAAE,CAAC;gBAChF,WAAW,CAAC,GAAG,EAAE;oBACf,IAAI,EAAE,4BAA4B;oBAClC,QAAQ,EAAE,QAAQ;oBAClB,eAAe,EAAE,uBAAuB;oBACxC,OAAO,EAAE,OAAO,IAAI,CAAC,GAAG,SAAS,IAAI,CAAC,MAAM,mCAAmC;oBAC/E,QAAQ,EAAE;wBACR,KAAK,EAAE,MAAM;wBACb,GAAG,EAAE,IAAI,CAAC,GAAG;wBACb,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,KAAK,EAAE,CAAC,OAAO,CAAC;qBACjB;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;YACpC,WAAW,CAAC,GAAG,EAAE;gBACf,IAAI,EAAE,sBAAsB;gBAC5B,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,uBAAuB;gBACxC,OAAO,EAAE,OAAO,IAAI,CAAC,GAAG,SAAS,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,sBAAsB,qCAAqC;gBACjH,QAAQ,EAAE;oBACR,KAAK,EAAE,MAAM;oBACb,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,KAAK,EAAE,CAAC,sBAAsB,CAAC;iBAChC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IACE,GAAG,CAAC,oBAAoB,KAAK,CAAC;QAC9B,GAAG,CAAC,4BAA4B,KAAK,IAAI;QACzC,CAAC,GAAG,CAAC,sBAAsB,EAC3B,CAAC;QACD,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,QAAQ;YAClB,eAAe,EAAE,uBAAuB;YACxC,OAAO,EAAE,oEAAoE;YAC7E,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,uBAAuB,CAAC,EAAE;SACrE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC;IAC9B,IACE,IAAI,KAAK,IAAI;QACb,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,IAAI,CAAC,eAAe,KAAK,SAAS;QAClC,IAAI,CAAC,eAAe,KAAK,WAAW,EACpC,CAAC;QACD,WAAW,CAAC,GAAG,EAAE;YACf,IAAI,EAAE,2BAA2B;YACjC,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,uBAAuB;YACxC,OAAO,EAAE,iDAAiD,IAAI,CAAC,eAAe,GAAG;YACjF,QAAQ,EAAE;gBACR,KAAK,EAAE,aAAa;gBACpB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,KAAK,EAAE,CAAC,cAAc,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,EAAE,CAAC;aAC5D;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,IACE,4BAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACxC,CAAC,uCAAuC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EACpD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,sBAAsB,GAC1B,mJAAmJ,CAAC;AACtJ,MAAM,gBAAgB,GAAG,0DAA0D,CAAC;AAEpF,MAAM,UAAU,yBAAyB,CACvC,QAAgC,EAChC,oBAA2B;IAE3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,oBAAoB,KAAK,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAChF,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,OAAO,2BAA2B,QAAQ,CAAC,MAAM,WAAW,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChF,CAAC"}

package/dist/executionPathFindings.requirements.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=executionPathFindings.requirements.test.d.ts.map

package/dist/executionPathFindings.requirements.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPathFindings.requirements.test.d.ts","sourceRoot":"","sources":["../src/executionPathFindings.requirements.test.ts"],"names":[],"mappings":""}