agentskeptic 1.0.4 → 1.1.1

package/dist/discovery-payload-v1.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "identityOneLiner": "State verification engine: read-only SQL checks that database state matches expectations from structured tool activity (not arbitrary logs)—not proof of execution",
+  "identityOneLiner": "Read-only checks at verify time—not color.",
   "llmBranch": "main",
   "links": {
     "site": "https://agentskeptic.com/",
@@ -12,33 +12,29 @@
     "npm": "https://www.npmjs.com/package/agentskeptic",
     "llmsRaw": "https://raw.githubusercontent.com/jwekavanagh/agentskeptic/refs/heads/main/llms.txt",
     "llmsBlob": "https://github.com/jwekavanagh/agentskeptic/blob/main/llms.txt",
-    "integratorVerificationSsotRaw": "https://raw.githubusercontent.com/jwekavanagh/agentskeptic/refs/heads/main/docs/integrator-verification-ssot.md"
+    "integratorVerificationSsotRaw": "https://raw.githubusercontent.com/jwekavanagh/agentskeptic/refs/heads/main/docs/integrator-verification.md"
   },
   "appendix": {
     "slug": "/database-truth-vs-traces",
-    "visitorProblemAnswer": "Teams ship agent and automation workflows where traces, tool responses, and success flags look green while the database row is missing, stale, or wrong. AgentSkeptic compares structured tool activity to read-only SQL against your SQLite or Postgres at verification time and reports whether observed state matched expectations derived from what the workflow claimed—not whether the step narrative read as successful.\n\nUse it when you need persisted rows checked against declared tool parameters before customer-facing actions, compliance evidence, or CI gates.",
+    "visitorProblemAnswer": "Traces say success. Your data often disagrees. Read-only checks at verify time compare tool claims to stored state—before you ship or bill.",
     "intentPhrases": [
-      "green trace wrong database row agent workflow",
-      "trace says success but CRM row missing",
-      "read-only SQL check after LangGraph or automation run",
-      "structured tool activity NDJSON verification",
-      "ROW_ABSENT inconsistent workflow result"
+      "trace v data",
+      "read-only verify",
+      "ROW_ABSENT"
     ],
     "notFor": [
-      "unstructured log search as verification",
-      "proof that a specific HTTP request caused a write",
-      "non-SQL systems without a queryable mirror"
+      "logs",
+      "HTTP proof",
+      "no store"
     ],
     "relatedQueries": [
-      "green LangGraph trace postgres row missing",
-      "how to verify AI agent wrote to postgres",
-      "CI passed but database inconsistent side effect",
-      "compare tool parameters to sql row verification",
-      "agent run record workflow result json"
+      "langgraph",
+      "agent verify",
+      "trace data"
     ],
     "problemIndex": [
       {
-        "moment": "Green LangGraph or agent trace but wrong or missing Postgres row",
+        "moment": "Green trace, bad data",
         "primaryRoute": "/guides/trace-green-postgres-row-missing",
         "relatedRoutes": [
           "/integrate",
@@ -46,7 +42,7 @@
         ]
       },
       {
-        "moment": "OpenAI-style tool loop reported success; CRM or SQLite state does not match",
+        "moment": "Tool ok, CRM wrong",
         "primaryRoute": "/guides/tool-loop-success-crm-state-wrong",
         "relatedRoutes": [
           "/integrate",
@@ -54,7 +50,7 @@
         ]
       },
       {
-        "moment": "CI passed on workflow logs; database side effect never showed up",
+        "moment": "CI green, no write",
         "primaryRoute": "/guides/ci-green-logs-row-absent",
         "relatedRoutes": [
           "/guides/ci-green-missing-database-side-effect",
@@ -62,7 +58,7 @@
         ]
       },
       {
-        "moment": "Need a gate before production: read-only verification, not more log volume",
+        "moment": "Pre-prod read-only gate",
         "primaryRoute": "/guides/pre-production-read-only-sql-gate",
         "relatedRoutes": [
           "/integrate",
@@ -70,21 +66,21 @@
         ]
       },
       {
-        "moment": "Green dashboards still happen when an AI agent writes wrong CRM data and you need read-only SQL before you trust the row.",
+        "moment": "AI CRM data wrong",
         "primaryRoute": "/guides/ai-agent-wrong-crm-data",
         "relatedRoutes": [
           "/database-truth-vs-traces"
         ]
       },
       {
-        "moment": "When automation reports success while database records disagree with declared tool parameters until read-only verification, treat trace color as non-authoritative.",
+        "moment": "Params vs store",
         "primaryRoute": "/guides/automation-success-database-mismatch",
         "relatedRoutes": [
           "/integrate"
         ]
       },
       {
-        "moment": "Debugging Postgres after a LangGraph run requires row-level truth at verification time beyond trace completion flags alone for customer-facing data.",
+        "moment": "LangGraph data check",
         "primaryRoute": "/guides/debug-postgres-after-langgraph",
         "relatedRoutes": [
           "/guides/verify-langgraph-workflows",
@@ -92,14 +88,14 @@
         ]
       },
       {
-        "moment": "When a Stripe webhook returns OK you still need the ledger database row to match before finance treats settlement as final and read-only SQL verifies persisted state.",
+        "moment": "Webhook vs ledger",
         "primaryRoute": "/guides/stripe-webhook-database-alignment",
         "relatedRoutes": [
           "/pricing"
         ]
       },
       {
-        "moment": "CI can stay green on workflow logs while the database side effect is missing until a read-only gate surfaces ROW_ABSENT before production.",
+        "moment": "CI green, no effect",
         "primaryRoute": "/guides/scenario-ci-green-side-effect-missing",
         "relatedRoutes": [
           "/guides/ci-green-missing-database-side-effect",
@@ -225,8 +221,8 @@
       }
     ],
     "shareableTerminalDemo": {
-      "title": "Pasteable terminal proof (bundled demo)",
-      "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched the database under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched the database.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Expected row is missing from the database (the log implies a write that is not present).\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
+      "title": "Bundled terminal proof",
+      "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched the database under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched the database.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result:Expected row is missing from the database (the log implies a write that is not present).\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
     }
   }
 }

package/dist/enforceCli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"enforceCli.d.ts","sourceRoot":"","sources":["../src/enforceCli.ts"],"names":[],"mappings":"AASA,wFAAwF;AACxF,eAAO,MAAM,wBAAwB,wXACkV,CAAC;AAiDxX,wBAAsB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAuB9D"}
+{"version":3,"file":"enforceCli.d.ts","sourceRoot":"","sources":["../src/enforceCli.ts"],"names":[],"mappings":"AASA,wFAAwF;AACxF,eAAO,MAAM,wBAAwB,wXACkV,CAAC;AAuBxX,wBAAsB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAoB9D"}

package/dist/enforceCli.js

@@ -1,7 +1,7 @@
 import { CLI_OPERATIONAL_CODES, cliErrorEnvelope, formatOperationalMessage, } from "./failureCatalog.js";
 import { TruthLayerError } from "./truthLayerError.js";
 import { LICENSE_PREFLIGHT_ENABLED } from "./generated/commercialBuildFlags.js";
-import { orchestrateEnforceBatchLockRun, orchestrateEnforceQuickLockRun } from "./cli/lockOrchestration.js";
+import { runStatefulEnforce } from "./enforceStateful.js";
 /** User-facing message for OSS builds when `enforce` is invoked; exported for tests. */
 export const ENFORCE_OSS_GATE_MESSAGE = "The OSS build cannot run agentskeptic enforce (CI lock gating). Install the published npm package agentskeptic, set AGENTSKEPTIC_API_KEY (legacy WORKFLOW_VERIFIER_API_KEY accepted), and point COMMERCIAL_LICENSE_API_BASE_URL at your license server; or run npm run build:commercial with COMMERCIAL_LICENSE_API_BASE_URL set. Policy: docs/commercial-enforce-gate-normative.md";
 function writeCliError(code, message) {
@@ -9,35 +9,31 @@ function writeCliError(code, message) {
 }
 function usageEnforce() {
     return `Usage:
-  agentskeptic enforce batch --expect-lock <path> <same flags as batch verify>
-  agentskeptic enforce quick --expect-lock <path> <same flags as quick>
+  agentskeptic enforce --workflow-id <id> --events <path> --registry <path> (--db <sqlitePath> | --postgres-url <url>)
+    [--create-baseline | --accept-drift] [other batch verify flags]
 
-Compare-only: --expect-lock is required. Generate locks with batch or quick verify using --output-lock.
+Stateful model:
+  default: compare current run to accepted baseline (paid, over-time).
+  --create-baseline: initialize or replace accepted baseline.
+  --accept-drift: accept current drift as new baseline.
 
-Exit codes (batch): same as batch verify for 0–2; 3 operational; 4 lock mismatch.
-Exit codes (quick): same as quick for 0–2; 3 operational; 4 lock mismatch.
+Exit codes: same as batch verify for 0–2; 3 operational; 4 drift.
 
 See docs/ci-enforcement.md and docs/agentskeptic.md.
 
   --help, -h  print this message and exit 0`;
 }
-async function runEnforceBatch(restArgs) {
-    try {
-        await orchestrateEnforceBatchLockRun(restArgs);
+export async function runEnforce(args) {
+    if (args.includes("--help") || args.includes("-h")) {
+        console.log(usageEnforce());
+        process.exit(0);
     }
-    catch (e) {
-        if (e instanceof TruthLayerError) {
-            writeCliError(e.code, e.message);
-            process.exit(3);
-        }
-        const msg = e instanceof Error ? e.message : String(e);
-        writeCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
+    if (!LICENSE_PREFLIGHT_ENABLED) {
+        writeCliError(CLI_OPERATIONAL_CODES.ENFORCE_REQUIRES_COMMERCIAL_BUILD, ENFORCE_OSS_GATE_MESSAGE);
         process.exit(3);
     }
-}
-async function runEnforceQuick(restArgs) {
     try {
-        await orchestrateEnforceQuickLockRun(restArgs);
+        await runStatefulEnforce(args);
     }
     catch (e) {
         if (e instanceof TruthLayerError) {
@@ -49,25 +45,4 @@ async function runEnforceQuick(restArgs) {
         process.exit(3);
     }
 }
-export async function runEnforce(args) {
-    if (args.includes("--help") || args.includes("-h")) {
-        console.log(usageEnforce());
-        process.exit(0);
-    }
-    if (!LICENSE_PREFLIGHT_ENABLED) {
-        writeCliError(CLI_OPERATIONAL_CODES.ENFORCE_REQUIRES_COMMERCIAL_BUILD, ENFORCE_OSS_GATE_MESSAGE);
-        process.exit(3);
-    }
-    const mode = args[0];
-    if (mode === "batch") {
-        await runEnforceBatch(args.slice(1));
-        return;
-    }
-    if (mode === "quick") {
-        await runEnforceQuick(args.slice(1));
-        return;
-    }
-    writeCliError(CLI_OPERATIONAL_CODES.ENFORCE_USAGE, 'enforce requires "batch" or "quick" immediately after enforce.');
-    process.exit(3);
-}
 //# sourceMappingURL=enforceCli.js.map

package/dist/enforceCli.js.map

@@ -1 +1 @@
-{"version":3,"file":"enforceCli.js","sourceRoot":"","sources":["../src/enforceCli.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,8BAA8B,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAE5G,wFAAwF;AACxF,MAAM,CAAC,MAAM,wBAAwB,GACnC,qXAAqX,CAAC;AAExX,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,YAAY;IACnB,OAAO;;;;;;;;;;;4CAWmC,CAAC;AAC7C,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,QAAkB;IAC/C,IAAI,CAAC;QACH,MAAM,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,aAAa,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,QAAkB;IAC/C,IAAI,CAAC;QACH,MAAM,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,aAAa,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAc;IAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAC/B,aAAa,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,wBAAwB,CAAC,CAAC;QACjG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,aAAa,CACX,qBAAqB,CAAC,aAAa,EACnC,gEAAgE,CACjE,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}
+{"version":3,"file":"enforceCli.js","sourceRoot":"","sources":["../src/enforceCli.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,wFAAwF;AACxF,MAAM,CAAC,MAAM,wBAAwB,GACnC,qXAAqX,CAAC;AAExX,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,YAAY;IACnB,OAAO;;;;;;;;;;;;;4CAamC,CAAC;AAC7C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAc;IAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAC/B,aAAa,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,wBAAwB,CAAC,CAAC;QACjG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,aAAa,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QACnF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/enforceStateful.d.ts

@@ -0,0 +1,2 @@
+export declare function runStatefulEnforce(args: string[]): Promise<void>;
+//# sourceMappingURL=enforceStateful.d.ts.map

package/dist/enforceStateful.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforceStateful.d.ts","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAyEA,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA0DtE"}

package/dist/enforceStateful.js

@@ -0,0 +1,106 @@
+import { createHash, randomUUID } from "node:crypto";
+import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
+import { parseBatchVerifyCliArgs } from "./cliArgv.js";
+import { verifyWorkflow } from "./pipeline.js";
+import { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { LICENSE_API_BASE_URL } from "./generated/commercialBuildFlags.js";
+import { workflowResultToEnforcementProjectionV1, stableStringify } from "./enforcementProjection.js";
+import { runLicensePreflightIfNeeded } from "./commercial/licensePreflight.js";
+import { cliErrorEnvelope } from "./failureCatalog.js";
+function parseEnforceMode(args) {
+    const hasCreate = args.includes("--create-baseline");
+    const hasAccept = args.includes("--accept-drift");
+    if (hasCreate && hasAccept) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.ENFORCE_USAGE, "Use at most one of --create-baseline or --accept-drift.");
+    }
+    if (hasCreate)
+        return "create-baseline";
+    if (hasAccept)
+        return "accept-drift";
+    return "check";
+}
+function stripEnforceModeArgs(args) {
+    return args.filter((a) => a !== "--create-baseline" && a !== "--accept-drift");
+}
+function apiKeyOrThrow() {
+    const apiKey = process.env.AGENTSKEPTIC_API_KEY?.trim() ||
+        process.env.WORKFLOW_VERIFIER_API_KEY?.trim();
+    if (!apiKey) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.LICENSE_KEY_MISSING, "Commercial agentskeptic enforce requires AGENTSKEPTIC_API_KEY.");
+    }
+    return apiKey;
+}
+async function postEnforcementState(path, payload) {
+    const apiKey = apiKeyOrThrow();
+    const xRequestId = randomUUID();
+    const res = await fetch(`${LICENSE_API_BASE_URL.replace(/\/$/, "")}${path}`, {
+        method: "POST",
+        headers: {
+            Authorization: `Bearer ${apiKey}`,
+            "Content-Type": "application/json",
+            "x-request-id": xRequestId,
+        },
+        body: JSON.stringify(payload),
+    });
+    const text = await res.text();
+    let body = null;
+    try {
+        body = JSON.parse(text);
+    }
+    catch {
+        body = { raw: text };
+    }
+    return { ok: res.ok, status: res.status, body, requestId: res.headers.get("x-request-id") };
+}
+function projectionHash(projectionUtf8) {
+    return createHash("sha256").update(projectionUtf8, "utf8").digest("hex");
+}
+export async function runStatefulEnforce(args) {
+    const mode = parseEnforceMode(args);
+    const parsed = parseBatchVerifyCliArgs(stripEnforceModeArgs(args));
+    const runId = process.env.AGENTSKEPTIC_RUN_ID?.trim() ||
+        process.env.WORKFLOW_VERIFIER_RUN_ID?.trim() ||
+        randomUUID();
+    await runLicensePreflightIfNeeded("enforce", { runId, xRequestId: randomUUID() });
+    const wf = await runBatchVerifyToValidatedResult(() => verifyWorkflow({
+        workflowId: parsed.workflowId,
+        eventsPath: parsed.eventsPath,
+        registryPath: parsed.registryPath,
+        database: parsed.database,
+        verificationPolicy: parsed.verificationPolicy,
+        truthReport: parsed.noHumanReport ? () => { } : (report) => process.stderr.write(`${report}\n`),
+    }));
+    const projection = workflowResultToEnforcementProjectionV1(wf);
+    const projectionUtf8 = stableStringify(projection);
+    const payload = {
+        run_id: runId,
+        workflow_id: parsed.workflowId,
+        projection_hash: projectionHash(projectionUtf8),
+        projection,
+    };
+    const route = mode === "create-baseline" ? "/api/v1/enforcement/baselines"
+        : mode === "accept-drift" ? "/api/v1/enforcement/accept"
+            : "/api/v1/enforcement/check";
+    const stateRes = await postEnforcementState(route, payload);
+    if (!stateRes.ok) {
+        const detail = typeof stateRes.body === "object" && stateRes.body !== null && "detail" in stateRes.body
+            ? String(stateRes.body.detail ?? `HTTP ${stateRes.status}`)
+            : `HTTP ${stateRes.status}`;
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.LICENSE_DENIED, `${detail}${stateRes.requestId ? ` [x-request-id=${stateRes.requestId}]` : ""}`);
+    }
+    const status = typeof stateRes.body === "object" && stateRes.body !== null && "status" in stateRes.body
+        ? String(stateRes.body.status ?? "ok")
+        : "ok";
+    process.stdout.write(`${stableStringify({ schemaVersion: 1, enforce: stateRes.body })}\n`);
+    if (status === "drift") {
+        console.error(cliErrorEnvelope(CLI_OPERATIONAL_CODES.VERIFICATION_OUTPUT_LOCK_MISMATCH, "Drift detected."));
+        process.exit(4);
+    }
+    if (wf.status === "complete")
+        process.exit(0);
+    if (wf.status === "inconsistent")
+        process.exit(1);
+    process.exit(2);
+}
+//# sourceMappingURL=enforceStateful.js.map

package/dist/enforceStateful.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforceStateful.js","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,uCAAuC,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AACtG,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAIvD,SAAS,gBAAgB,CAAC,IAAc;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,aAAa,EACnC,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS;QAAE,OAAO,iBAAiB,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,cAAc,CAAC;IACrC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,aAAa;IACpB,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE;QACxC,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,mBAAmB,EACzC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,IAAY,EACZ,OAAgC;IAEhC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,UAAU,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE;QAC3E,MAAM,EAAE,MAAM;QACd,OAAO,EAAE;YACP,aAAa,EAAE,UAAU,MAAM,EAAE;YACjC,cAAc,EAAE,kBAAkB;YAClC,cAAc,EAAE,UAAU;SAC3B;QACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,IAAI,GAAY,IAAI,CAAC;IACzB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,SAAS,cAAc,CAAC,cAAsB;IAC5C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IAEnE,MAAM,KAAK,GACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;QAC5C,UAAU,EAAE,CAAC;IACf,MAAM,2BAA2B,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IAElF,MAAM,EAAE,GAAG,MAAM,+BAA+B,CAAC,GAAG,EAAE,CACpD,cAAc,CAAC;QACb,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC;KAC/F,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,uCAAuC,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG;QACd,MAAM,EAAE,KAAK;QACb,WAAW,EAAE,MAAM,CAAC,UAAU;QAC9B,eAAe,EAAE,cAAc,CAAC,cAAc,CAAC;QAC/C,UAAU;KACX,CAAC;IAEF,MAAM,KAAK,GACT,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,+BAA+B;QAC5D,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,4BAA4B;YACxD,CAAC,CAAC,2BAA2B,CAAC;IAEhC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,MAAM,GACV,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI;YACtF,CAAC,CAAC,MAAM,CAAE,QAAQ,CAAC,IAA6B,CAAC,MAAM,IAAI,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;YACrF,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,GAAG,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI;QACtF,CAAC,CAAC,MAAM,CAAE,QAAQ,CAAC,IAA6B,CAAC,MAAM,IAAI,IAAI,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3F,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC5G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}

package/dist/enforcementProjection.d.ts

@@ -0,0 +1,17 @@
+import type { WorkflowResult } from "./types.js";
+import { stableStringify } from "./jsonStableStringify.js";
+export type EnforcementProjectionV1 = {
+    schemaVersion: 1;
+    workflowId: string;
+    status: WorkflowResult["status"];
+    verificationPolicy: WorkflowResult["verificationPolicy"];
+    runLevelReasonCodes: string[];
+    stepReasonCodes: Array<{
+        seq: number;
+        toolId: string;
+        reasonCodes: string[];
+    }>;
+};
+export declare function workflowResultToEnforcementProjectionV1(result: WorkflowResult): EnforcementProjectionV1;
+export { stableStringify };
+//# sourceMappingURL=enforcementProjection.d.ts.map

package/dist/enforcementProjection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcementProjection.d.ts","sourceRoot":"","sources":["../src/enforcementProjection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAM3D,MAAM,MAAM,uBAAuB,GAAG;IACpC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IACjC,kBAAkB,EAAE,cAAc,CAAC,oBAAoB,CAAC,CAAC;IACzD,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,eAAe,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAChF,CAAC;AAEF,wBAAgB,uCAAuC,CAAC,MAAM,EAAE,cAAc,GAAG,uBAAuB,CAavG;AAED,OAAO,EAAE,eAAe,EAAE,CAAC"}

package/dist/enforcementProjection.js

@@ -0,0 +1,20 @@
+import { stableStringify } from "./jsonStableStringify.js";
+function sortedUniqueStrings(arr) {
+    return [...new Set(arr)].sort((a, b) => a.localeCompare(b));
+}
+export function workflowResultToEnforcementProjectionV1(result) {
+    return {
+        schemaVersion: 1,
+        workflowId: result.workflowId,
+        status: result.status,
+        verificationPolicy: result.verificationPolicy,
+        runLevelReasonCodes: sortedUniqueStrings(result.runLevelReasons.map((r) => r.code)),
+        stepReasonCodes: result.steps.map((s) => ({
+            seq: s.seq,
+            toolId: s.toolId,
+            reasonCodes: sortedUniqueStrings(s.reasons.map((r) => r.code)),
+        })),
+    };
+}
+export { stableStringify };
+//# sourceMappingURL=enforcementProjection.js.map

package/dist/enforcementProjection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcementProjection.js","sourceRoot":"","sources":["../src/enforcementProjection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,SAAS,mBAAmB,CAAC,GAAa;IACxC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAWD,MAAM,UAAU,uCAAuC,CAAC,MAAsB;IAC5E,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB,EAAE,mBAAmB,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnF,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC/D,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,eAAe,EAAE,CAAC"}

package/dist/executionTrace.test.js

@@ -121,6 +121,41 @@ describe("buildExecutionTraceView", () => {
         expect(view.backwardPaths[0].seedRunEventId).toBe("m1");
         expect(view.backwardPaths[0].ancestorRunEventIds).toEqual(["m1"]);
     });
+    it("v3 tool_observed trace passes execution-trace-view JSON Schema", () => {
+        const runEvents = [
+            {
+                schemaVersion: 3,
+                workflowId: "w",
+                runEventId: "t1",
+                type: "tool_observed",
+                seq: 0,
+                toolId: "t",
+                params: {},
+                langgraphCheckpoint: {
+                    threadId: "th1",
+                    checkpointNs: "ns",
+                    checkpointId: "ck1",
+                },
+            },
+            {
+                schemaVersion: 2,
+                workflowId: "w",
+                runEventId: "c1",
+                type: "control",
+                controlKind: "run_completed",
+            },
+        ];
+        const view = buildExecutionTraceView({
+            workflowId: "w",
+            runEvents,
+            malformedEventLineCount: 0,
+        });
+        const v = loadSchemaValidator("execution-trace-view");
+        expect(v(view)).toBe(true);
+        const toolNode = view.nodes.find((n) => n.wireType === "tool_observed");
+        expect(toolNode).toBeDefined();
+        expect(toolNode.wireSchemaVersion).toBe(3);
+    });
     it("adds verification_step paths when WorkflowResult provided", () => {
         const runEvents = [
             {

package/dist/executionTrace.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"executionTrace.test.js","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAQvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAwB;YAC7B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,eAAe;YACrB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,CAAC,GAAsB;YAC3B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAsB;YAC5B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,CAAC;QACpG,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAsB;YAC/B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,GAAG;YACrB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC;QACjG,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,QAAQ,EAAE,mBAAmB;YAC7B,cAAc,EAAE,IAAI;YACpB,mBAAmB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QACF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,eAAe,EAAE,EAAE;YACnB,kBAAkB,EAAE;gBAClB,eAAe,EAAE,QAAQ;gBACzB,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,CAAC;aAClB;YACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1C,sBAAsB,EAAE;gBACtB,oBAAoB,EAAE,CAAC;gBACvB,eAAe,EAAE,EAAE;gBACnB,aAAa,EAAE,EAAE;gBACjB,eAAe,EAAE,EAAE;gBACnB,iBAAiB,EAAE,EAAE;gBACrB,4BAA4B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;gBACxC,4BAA4B,EAAE,CAAC;gBAC/B,sBAAsB,EAAE,KAAK;gBAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;aACxD;YACD,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,oBAAoB;oBAC5B,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;oBAClC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,UAAU;wBACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;wBAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;qBAClC;oBACD,MAAM,EAAE,UAAU;oBAClB,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC;QACF,MAAM,EAAE,GAAmB,6BAA6B,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;YAC1B,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC;QACtF,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAChC,QAAQ,EAAE,mBAAmB;YAC7B,SAAS,EAAE,CAAC;YACZ,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,aAAa,CAAC;YACpD,SAAS,EAAE,CAAC;YACZ,gBAAgB,EAAE,UAAU;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"executionTrace.test.js","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAQvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAwB;YAC7B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,eAAe;YACrB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,CAAC,GAAsB;YAC3B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAsB;YAC5B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,CAAC;QACpG,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAsB;YAC/B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,GAAG;YACrB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC;QACjG,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,QAAQ,EAAE,mBAAmB;YAC7B,cAAc,EAAE,IAAI;YACpB,mBAAmB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QACF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,EAAE;gBACV,mBAAmB,EAAE;oBACnB,QAAQ,EAAE,KAAK;oBACf,YAAY,EAAE,IAAI;oBAClB,YAAY,EAAE,KAAK;iBACpB;aACF;YACD;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,eAAe;aAC7B;SACF,CAAC;QACF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC;QACxE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,MAAM,CAAC,QAAS,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,eAAe,EAAE,EAAE;YACnB,kBAAkB,EAAE;gBAClB,eAAe,EAAE,QAAQ;gBACzB,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,CAAC;aAClB;YACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1C,sBAAsB,EAAE;gBACtB,oBAAoB,EAAE,CAAC;gBACvB,eAAe,EAAE,EAAE;gBACnB,aAAa,EAAE,EAAE;gBACjB,eAAe,EAAE,EAAE;gBACnB,iBAAiB,EAAE,EAAE;gBACrB,4BAA4B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;gBACxC,4BAA4B,EAAE,CAAC;gBAC/B,sBAAsB,EAAE,KAAK;gBAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;aACxD;YACD,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,oBAAoB;oBAC5B,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;oBAClC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,UAAU;wBACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;wBAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;qBAClC;oBACD,MAAM,EAAE,UAAU;oBAClB,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC;QACF,MAAM,EAAE,GAAmB,6BAA6B,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;YAC1B,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC;QACtF,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAChC,QAAQ,EAAE,mBAAmB;YAC7B,SAAS,EAAE,CAAC;YACZ,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,aAAa,CAAC;YACpD,SAAS,EAAE,CAAC;YACZ,gBAAgB,EAAE,UAAU;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/executionTraceDiff.d.ts

@@ -0,0 +1,36 @@
+import type { ExecutionTraceView, TraceStepKind } from "./types.js";
+export type EvaluatedNodeSummary = {
+    ingestIndex: number;
+    traceStepKind: TraceStepKind;
+    engineStepStatus: string | null;
+    truthOutcomeLabel: string | null;
+    toolId: string | null;
+};
+export type SeqTraceDiffClass = "only_in_prior" | "only_in_current" | "in_both";
+export type SeqTraceDiffRow = {
+    seq: number;
+    class: SeqTraceDiffClass;
+    prior: EvaluatedNodeSummary | null;
+    current: EvaluatedNodeSummary | null;
+};
+export type TracePairwiseNonToolCounts = {
+    prior: Record<string, number>;
+    current: Record<string, number>;
+};
+export declare function buildTracePairwisePayload(options: {
+    priorView: ExecutionTraceView;
+    currentView: ExecutionTraceView;
+    priorRunIndex: number;
+    currentRunIndex: number;
+}): {
+    priorRunIndex: number;
+    currentRunIndex: number;
+    viewBuild: {
+        prior: ExecutionTraceView;
+        current: ExecutionTraceView;
+    };
+    bySeq: SeqTraceDiffRow[];
+    seqTimelineOrderDiverged: boolean;
+    nonToolEventCounts: TracePairwiseNonToolCounts;
+};
+//# sourceMappingURL=executionTraceDiff.d.ts.map

package/dist/executionTraceDiff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionTraceDiff.d.ts","sourceRoot":"","sources":["../src/executionTraceDiff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAExF,MAAM,MAAM,oBAAoB,GAAG;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,aAAa,CAAC;IAC7B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAEhF,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,iBAAiB,CAAC;IACzB,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACnC,OAAO,EAAE,oBAAoB,GAAG,IAAI,CAAC;CACtC,CAAC;AAuDF,MAAM,MAAM,0BAA0B,GAAG;IACvC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC,CAAC;AAEF,wBAAgB,yBAAyB,CAAC,OAAO,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC;IAC9B,WAAW,EAAE,kBAAkB,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;CACzB,GAAG;IACF,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE;QAAE,KAAK,EAAE,kBAAkB,CAAC;QAAC,OAAO,EAAE,kBAAkB,CAAA;KAAE,CAAC;IACtE,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,wBAAwB,EAAE,OAAO,CAAC;IAClC,kBAAkB,EAAE,0BAA0B,CAAC;CAChD,CAiCA"}

package/dist/executionTraceDiff.js

@@ -0,0 +1,86 @@
+function summaryFromNode(n) {
+    const v = n.verificationLink;
+    return {
+        ingestIndex: n.ingestIndex,
+        traceStepKind: n.traceStepKind,
+        engineStepStatus: v ? v.engineStepStatus : null,
+        truthOutcomeLabel: v ? v.truthOutcomeLabel : null,
+        toolId: n.toolId,
+    };
+}
+/**
+ * For each `seq` in `tool_observed` nodes: the node with `verificationLink` if any,
+ * else the `tool_observed` line for that `seq` with maximum `ingestIndex`.
+ */
+function buildSeqToEvaluated(view) {
+    const bySeq = new Map();
+    for (const n of view.nodes) {
+        if (n.wireType !== "tool_observed" || n.toolSeq === null)
+            continue;
+        const list = bySeq.get(n.toolSeq) ?? [];
+        list.push(n);
+        bySeq.set(n.toolSeq, list);
+    }
+    const out = new Map();
+    for (const [seq, nodes] of bySeq) {
+        const withLink = nodes.find((x) => x.verificationLink !== null);
+        const chosen = withLink ?? nodes.reduce((a, b) => (a.ingestIndex >= b.ingestIndex ? a : b));
+        out.set(seq, summaryFromNode(chosen));
+    }
+    return out;
+}
+function nonToolCountsForView(view) {
+    const c = {};
+    for (const n of view.nodes) {
+        if (n.wireType === "tool_observed")
+            continue;
+        const k = n.wireType;
+        c[k] = (c[k] ?? 0) + 1;
+    }
+    return c;
+}
+/** Per plan §4.4: order `seq` by ascending `ingestIndex` of the chosen evaluated node. */
+function seqTimelineList(_view, seqToEval) {
+    const byFirstEvalIngest = [];
+    for (const seq of [...seqToEval.keys()].sort((a, b) => a - b)) {
+        const ev = seqToEval.get(seq);
+        byFirstEvalIngest.push({ seq, ingest: ev.ingestIndex });
+    }
+    byFirstEvalIngest.sort((a, b) => a.ingest - b.ingest);
+    return byFirstEvalIngest.map((x) => x.seq);
+}
+export function buildTracePairwisePayload(options) {
+    const { priorView, currentView, priorRunIndex, currentRunIndex } = options;
+    const priorM = buildSeqToEvaluated(priorView);
+    const currentM = buildSeqToEvaluated(currentView);
+    const allSeqs = new Set([...priorM.keys(), ...currentM.keys()]);
+    const bySeq = [...allSeqs]
+        .sort((a, b) => a - b)
+        .map((seq) => {
+        const p = priorM.get(seq) ?? null;
+        const c = currentM.get(seq) ?? null;
+        let cl;
+        if (p && !c)
+            cl = "only_in_prior";
+        else if (!p && c)
+            cl = "only_in_current";
+        else
+            cl = "in_both";
+        return { seq, class: cl, prior: p, current: c };
+    });
+    const tPrior = seqTimelineList(priorView, priorM);
+    const tCurrent = seqTimelineList(currentView, currentM);
+    const seqTimelineOrderDiverged = tPrior.length !== tCurrent.length || tPrior.some((s, i) => s !== tCurrent[i]);
+    return {
+        priorRunIndex,
+        currentRunIndex,
+        viewBuild: { prior: priorView, current: currentView },
+        bySeq,
+        seqTimelineOrderDiverged,
+        nonToolEventCounts: {
+            prior: nonToolCountsForView(priorView),
+            current: nonToolCountsForView(currentView),
+        },
+    };
+}
+//# sourceMappingURL=executionTraceDiff.js.map

package/dist/executionTraceDiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionTraceDiff.js","sourceRoot":"","sources":["../src/executionTraceDiff.ts"],"names":[],"mappings":"AAmBA,SAAS,eAAe,CAAC,CAAqB;IAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC;IAC7B,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI;QAC/C,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI;QACjD,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,IAAwB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,QAAQ,KAAK,eAAe,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,SAAS;QACnE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgC,CAAC;IACpD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAwB;IACpD,MAAM,CAAC,GAA2B,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,QAAQ,KAAK,eAAe;YAAE,SAAS;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACrB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0FAA0F;AAC1F,SAAS,eAAe,CAAC,KAAyB,EAAE,SAA4C;IAC9F,MAAM,iBAAiB,GAA2C,EAAE,CAAC;IACrE,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC/B,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAOD,MAAM,UAAU,yBAAyB,CAAC,OAKzC;IAQC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC;IAC3E,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAsB,CAAC,GAAG,OAAO,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAClC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QACpC,IAAI,EAAqB,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,EAAE,GAAG,eAAe,CAAC;aAC7B,IAAI,CAAC,CAAC,IAAI,CAAC;YAAE,EAAE,GAAG,iBAAiB,CAAC;;YACpC,EAAE,GAAG,SAAS,CAAC;QACpB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,wBAAwB,GAC5B,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAEjF,OAAO;QACL,aAAa;QACb,eAAe;QACf,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE;QACrD,KAAK;QACL,wBAAwB;QACxB,kBAAkB,EAAE;YAClB,KAAK,EAAE,oBAAoB,CAAC,SAAS,CAAC;YACtC,OAAO,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC3C;KACF,CAAC;AACJ,CAAC"}

package/dist/executionTraceDiff.test.d.ts

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

package/dist/executionTraceDiff.test.d.ts.map

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