agentskeptic 0.1.1

package/dist/pipeline.js

@@ -0,0 +1,457 @@
+import { DatabaseSync } from "node:sqlite";
+import { aggregateWorkflow } from "./aggregate.js";
+import { isToolObservedRunEvent } from "./executionTrace.js";
+import { loadEventsForWorkflow } from "./loadEvents.js";
+import { enrichNoStepsRunLevelReasons } from "./noStepsMessage.js";
+import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
+import { canonicalJsonForParams } from "./canonicalParams.js";
+import { planLogicalSteps } from "./planLogicalSteps.js";
+import { reconcileRelationalPostgres } from "./relationalInvariant.js";
+import { reconcileSqlRowAsync } from "./reconciler.js";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { buildRegistryMap, renderIntendedEffect, resolveVerificationRequest, } from "./resolveExpectation.js";
+import { loadRegistryEntriesAfterSchema } from "./toolsRegistryLoad.js";
+import { connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
+import { CLI_OPERATIONAL_CODES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, runLevelIssue, } from "./failureCatalog.js";
+import { TruthLayerError } from "./truthLayerError.js";
+import { writeAgentRunBundle } from "./agentRunBundle.js";
+import { finalizeEmittedWorkflowResult, formatWorkflowTruthReport, } from "./workflowTruthReport.js";
+import { createSqlitePolicyContext, executeVerificationWithPolicyAsync, executeVerificationWithPolicySync, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
+import { withFailureDiagnostic } from "./verificationDiagnostics.js";
+import { buildVerificationRunContext } from "./verificationRunContext.js";
+import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+function defaultTruthReportToStderr(report) {
+    process.stderr.write(`${report}\n`);
+}
+const validateEvent = loadSchemaValidator("event");
+export function loadToolsRegistry(registryPath) {
+    return buildRegistryMap(loadRegistryEntriesAfterSchema(registryPath));
+}
+function observedExecutionFromParams(params) {
+    return { paramsCanonical: canonicalJsonForParams(params) };
+}
+function intendedEffectNarrative(entry, toolId, params) {
+    const narrative = entry
+        ? renderIntendedEffect(entry.effectDescriptionTemplate, params)
+        : `Unknown tool: ${toolId}`;
+    return { narrative };
+}
+function buildDivergentStepOutcome(plan, registry) {
+    const last = plan.last;
+    const n = plan.repeatObservationCount;
+    const entry = registry.get(last.toolId);
+    return {
+        seq: plan.seq,
+        toolId: last.toolId,
+        intendedEffect: intendedEffectNarrative(entry, last.toolId, last.params),
+        observedExecution: observedExecutionFromParams(last.params),
+        verificationRequest: null,
+        status: "incomplete_verification",
+        reasons: [
+            {
+                code: SQL_VERIFICATION_OUTCOME_CODE.RETRY_OBSERVATIONS_DIVERGE,
+                message: RETRY_OBSERVATIONS_DIVERGE_MESSAGE,
+            },
+        ],
+        evidenceSummary: {},
+        repeatObservationCount: n,
+        evaluatedObservationOrdinal: n,
+    };
+}
+function logStepOutcome(logStep, workflowId, outcome) {
+    logStep({
+        workflowId,
+        seq: outcome.seq,
+        toolId: outcome.toolId,
+        intendedEffect: outcome.intendedEffect,
+        observedExecution: outcome.observedExecution,
+        verificationRequest: outcome.verificationRequest,
+        status: outcome.status,
+        reasons: outcome.reasons,
+        evidenceSummary: outcome.evidenceSummary,
+        repeatObservationCount: outcome.repeatObservationCount,
+        evaluatedObservationOrdinal: outcome.evaluatedObservationOrdinal,
+        ...(outcome.failureDiagnostic !== undefined ? { failureDiagnostic: outcome.failureDiagnostic } : {}),
+    });
+}
+export function verifyToolObservedStep(options) {
+    const { workflowId, ev, registry, db, logStep, verificationPolicy } = options;
+    const repeatObservationCount = options.repeatObservationCount ?? 1;
+    const evaluatedObservationOrdinal = repeatObservationCount;
+    const entry = registry.get(ev.toolId);
+    if (!entry) {
+        const outcome = {
+            seq: ev.seq,
+            toolId: ev.toolId,
+            intendedEffect: intendedEffectNarrative(undefined, ev.toolId, ev.params),
+            observedExecution: observedExecutionFromParams(ev.params),
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.UNKNOWN_TOOL, message: `Unknown toolId: ${ev.toolId}` }],
+            evidenceSummary: {},
+            repeatObservationCount,
+            evaluatedObservationOrdinal,
+        };
+        const finalized = withFailureDiagnostic(outcome);
+        logStepOutcome(logStep, workflowId, finalized);
+        return finalized;
+    }
+    const intendedEffect = intendedEffectNarrative(entry, ev.toolId, ev.params);
+    const observedExecution = observedExecutionFromParams(ev.params);
+    const resolved = resolveVerificationRequest(entry, ev.params);
+    if (!resolved.ok) {
+        const outcome = {
+            seq: ev.seq,
+            toolId: ev.toolId,
+            intendedEffect,
+            observedExecution,
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: resolved.code, message: resolved.message }],
+            evidenceSummary: {},
+            repeatObservationCount,
+            evaluatedObservationOrdinal,
+        };
+        const finalized = withFailureDiagnostic(outcome);
+        logStepOutcome(logStep, workflowId, finalized);
+        return finalized;
+    }
+    const exec = executeVerificationWithPolicySync(db, resolved, verificationPolicy);
+    const outcome = {
+        seq: ev.seq,
+        toolId: ev.toolId,
+        intendedEffect,
+        observedExecution,
+        verificationRequest: exec.verificationRequest,
+        status: exec.status,
+        reasons: exec.reasons,
+        evidenceSummary: exec.evidenceSummary,
+        repeatObservationCount,
+        evaluatedObservationOrdinal,
+    };
+    const finalized = withFailureDiagnostic(outcome);
+    logStepOutcome(logStep, workflowId, finalized);
+    return finalized;
+}
+async function verifyToolObservedStepAsync(options) {
+    const { workflowId, ev, registry, ctx, logStep, verificationPolicy } = options;
+    const repeatObservationCount = options.repeatObservationCount ?? 1;
+    const evaluatedObservationOrdinal = repeatObservationCount;
+    const entry = registry.get(ev.toolId);
+    if (!entry) {
+        const outcome = {
+            seq: ev.seq,
+            toolId: ev.toolId,
+            intendedEffect: intendedEffectNarrative(undefined, ev.toolId, ev.params),
+            observedExecution: observedExecutionFromParams(ev.params),
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.UNKNOWN_TOOL, message: `Unknown toolId: ${ev.toolId}` }],
+            evidenceSummary: {},
+            repeatObservationCount,
+            evaluatedObservationOrdinal,
+        };
+        const finalized = withFailureDiagnostic(outcome);
+        logStepOutcome(logStep, workflowId, finalized);
+        return finalized;
+    }
+    const intendedEffect = intendedEffectNarrative(entry, ev.toolId, ev.params);
+    const observedExecution = observedExecutionFromParams(ev.params);
+    const resolved = resolveVerificationRequest(entry, ev.params);
+    if (!resolved.ok) {
+        const outcome = {
+            seq: ev.seq,
+            toolId: ev.toolId,
+            intendedEffect,
+            observedExecution,
+            verificationRequest: null,
+            status: "incomplete_verification",
+            reasons: [{ code: resolved.code, message: resolved.message }],
+            evidenceSummary: {},
+            repeatObservationCount,
+            evaluatedObservationOrdinal,
+        };
+        const finalized = withFailureDiagnostic(outcome);
+        logStepOutcome(logStep, workflowId, finalized);
+        return finalized;
+    }
+    const exec = await executeVerificationWithPolicyAsync(resolved, verificationPolicy, ctx);
+    const outcome = {
+        seq: ev.seq,
+        toolId: ev.toolId,
+        intendedEffect,
+        observedExecution,
+        verificationRequest: exec.verificationRequest,
+        status: exec.status,
+        reasons: exec.reasons,
+        evidenceSummary: exec.evidenceSummary,
+        repeatObservationCount,
+        evaluatedObservationOrdinal,
+    };
+    const finalized = withFailureDiagnostic(outcome);
+    logStepOutcome(logStep, workflowId, finalized);
+    return finalized;
+}
+function runLogicalStepsVerificationSync(options) {
+    const plans = planLogicalSteps(options.events);
+    const out = [];
+    for (const plan of plans) {
+        const n = plan.repeatObservationCount;
+        if (plan.divergent) {
+            const outcome = buildDivergentStepOutcome(plan, options.registry);
+            const finalized = withFailureDiagnostic(outcome);
+            logStepOutcome(options.logStep, options.workflowId, finalized);
+            out.push(finalized);
+            continue;
+        }
+        out.push(verifyToolObservedStep({
+            workflowId: options.workflowId,
+            ev: plan.last,
+            registry: options.registry,
+            db: options.db,
+            logStep: options.logStep,
+            verificationPolicy: options.verificationPolicy,
+            repeatObservationCount: n,
+        }));
+    }
+    return out;
+}
+async function runLogicalStepsVerificationAsync(options) {
+    const plans = planLogicalSteps(options.events);
+    const out = [];
+    for (const plan of plans) {
+        const n = plan.repeatObservationCount;
+        if (plan.divergent) {
+            const outcome = buildDivergentStepOutcome(plan, options.registry);
+            const finalized = withFailureDiagnostic(outcome);
+            logStepOutcome(options.logStep, options.workflowId, finalized);
+            out.push(finalized);
+            continue;
+        }
+        out.push(await verifyToolObservedStepAsync({
+            workflowId: options.workflowId,
+            ev: plan.last,
+            registry: options.registry,
+            ctx: options.ctx,
+            logStep: options.logStep,
+            verificationPolicy: options.verificationPolicy,
+            repeatObservationCount: n,
+        }));
+    }
+    return out;
+}
+export async function verifyWorkflow(options) {
+    const { eventsPath, registryPath, workflowId, database } = options;
+    const log = options.logStep ?? (() => { });
+    const truthReport = options.truthReport ?? defaultTruthReportToStderr;
+    const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
+    const load = loadEventsForWorkflow(eventsPath, workflowId);
+    const { events, runEvents, runLevelReasons, eventSequenceIntegrity } = load;
+    const verificationRunContext = buildVerificationRunContext(runEvents);
+    const registry = loadToolsRegistry(registryPath);
+    let steps;
+    if (database.kind === "sqlite") {
+        let db;
+        try {
+            db = new DatabaseSync(database.path, { readOnly: true });
+        }
+        catch (e) {
+            const msg = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.SQLITE_DATABASE_OPEN_FAILED, msg, { cause: e });
+        }
+        try {
+            if (verificationPolicy.consistencyMode === "strong") {
+                steps = runLogicalStepsVerificationSync({
+                    workflowId,
+                    events,
+                    registry,
+                    db,
+                    logStep: log,
+                    verificationPolicy,
+                });
+            }
+            else {
+                const ctx = createSqlitePolicyContext(db);
+                steps = await runLogicalStepsVerificationAsync({
+                    workflowId,
+                    events,
+                    registry,
+                    ctx,
+                    logStep: log,
+                    verificationPolicy,
+                });
+            }
+        }
+        finally {
+            db.close();
+        }
+    }
+    else {
+        let client;
+        try {
+            client = await connectPostgresVerificationClient(database.connectionString);
+        }
+        catch (e) {
+            const msg = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.POSTGRES_CLIENT_SETUP_FAILED, msg, { cause: e });
+        }
+        const backend = createPostgresSqlReadBackend(client);
+        const ctx = {
+            reconcileRow: (req) => reconcileSqlRowAsync(backend, req),
+            reconcileRowAbsent: (req) => backend.reconcileRowAbsent(req),
+            reconcileRelationalCheck: (check) => reconcileRelationalPostgres(client, check),
+        };
+        try {
+            steps = await runLogicalStepsVerificationAsync({
+                workflowId,
+                events,
+                registry,
+                ctx,
+                logStep: log,
+                verificationPolicy,
+            });
+        }
+        finally {
+            try {
+                await client.end();
+            }
+            catch {
+                /* cleanup only */
+            }
+        }
+    }
+    const engineBase = aggregateWorkflow(workflowId, steps, runLevelReasons, verificationPolicy, eventSequenceIntegrity);
+    enrichNoStepsRunLevelReasons(workflowId, engineBase.runLevelReasons, load.eventFileAggregateCounts);
+    const engine = { ...engineBase, verificationRunContext };
+    truthReport(formatWorkflowTruthReport(engine));
+    return finalizeEmittedWorkflowResult(engine);
+}
+const POST_CLOSE_MSG = "Workflow verification observeStep invoked after workflow run completed";
+class WorkflowVerificationSession {
+    workflowId;
+    registry;
+    db;
+    logStep;
+    verificationPolicy;
+    bufferedEvents = [];
+    bufferedRunEvents = [];
+    runLevelReasons = [];
+    observeForbidden = false;
+    dbOpen = true;
+    constructor(workflowId, registry, db, logStep, verificationPolicy) {
+        this.workflowId = workflowId;
+        this.registry = registry;
+        this.db = db;
+        this.logStep = logStep;
+        this.verificationPolicy = verificationPolicy;
+    }
+    observeStep(value) {
+        if (this.observeForbidden) {
+            throw new Error(POST_CLOSE_MSG);
+        }
+        if (typeof value !== "object" || value === null) {
+            this.runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
+            return undefined;
+        }
+        if (!validateEvent(value)) {
+            this.runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
+            return undefined;
+        }
+        const ev = value;
+        if (ev.workflowId !== this.workflowId) {
+            return undefined;
+        }
+        this.bufferedRunEvents.push(ev);
+        if (isToolObservedRunEvent(ev)) {
+            this.bufferedEvents.push(ev);
+        }
+        return undefined;
+    }
+    closeDbIfOpen() {
+        if (this.dbOpen) {
+            this.db.close();
+            this.dbOpen = false;
+        }
+        this.observeForbidden = true;
+    }
+    buildWorkflowResult() {
+        if (!this.dbOpen) {
+            throw new Error("Workflow verification buildWorkflowResult invoked after database closed");
+        }
+        const { eventsSorted, eventSequenceIntegrity } = prepareWorkflowEvents(this.bufferedEvents);
+        const steps = runLogicalStepsVerificationSync({
+            workflowId: this.workflowId,
+            events: eventsSorted,
+            registry: this.registry,
+            db: this.db,
+            logStep: this.logStep,
+            verificationPolicy: this.verificationPolicy,
+        });
+        const base = aggregateWorkflow(this.workflowId, steps, [...this.runLevelReasons], this.verificationPolicy, eventSequenceIntegrity);
+        enrichNoStepsRunLevelReasons(this.workflowId, base.runLevelReasons, {
+            eventFileNonEmptyLines: 0,
+            schemaValidEvents: 0,
+            toolObservedForRequestedWorkflowId: 0,
+            toolObservedForOtherWorkflowIds: 0,
+        });
+        return { ...base, verificationRunContext: buildVerificationRunContext(this.bufferedRunEvents) };
+    }
+    /** NDJSON bytes: one `JSON.stringify(event)` plus newline per `observeStep` enqueue, in buffer order. */
+    captureNdjsonUtf8() {
+        const parts = [];
+        for (const ev of this.bufferedRunEvents) {
+            parts.push(`${JSON.stringify(ev)}\n`);
+        }
+        return Buffer.from(parts.join(""), "utf8");
+    }
+}
+export async function withWorkflowVerification(options, run) {
+    const log = options.logStep ?? (() => { });
+    const truthReport = options.truthReport ?? defaultTruthReportToStderr;
+    const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
+    if (verificationPolicy.consistencyMode === "eventual") {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.EVENTUAL_MODE_NOT_SUPPORTED_IN_PROCESS_HOOK, "withWorkflowVerification does not support eventual consistency mode; use verifyWorkflow with batch replay instead.");
+    }
+    let session;
+    let runFailure;
+    let engine;
+    let eventsNdjsonBytes;
+    try {
+        const registry = loadToolsRegistry(options.registryPath);
+        let db;
+        try {
+            db = new DatabaseSync(options.dbPath, { readOnly: true });
+        }
+        catch (e) {
+            const msg = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.SQLITE_DATABASE_OPEN_FAILED, msg, { cause: e });
+        }
+        session = new WorkflowVerificationSession(options.workflowId, registry, db, log, verificationPolicy);
+        await Promise.resolve(run((v) => session.observeStep(v)));
+        engine = session.buildWorkflowResult();
+        eventsNdjsonBytes = session.captureNdjsonUtf8();
+    }
+    catch (e) {
+        runFailure = e;
+    }
+    finally {
+        session?.closeDbIfOpen();
+    }
+    if (runFailure !== undefined) {
+        throw runFailure;
+    }
+    truthReport(formatWorkflowTruthReport(engine));
+    const result = finalizeEmittedWorkflowResult(engine);
+    if (options.persistBundle !== undefined) {
+        writeAgentRunBundle({
+            outDir: options.persistBundle.outDir,
+            eventsNdjson: eventsNdjsonBytes ?? Buffer.alloc(0),
+            workflowResult: result,
+            ...(options.persistBundle.ed25519PrivateKeyPemPath !== undefined
+                ? { ed25519PrivateKeyPemPath: options.persistBundle.ed25519PrivateKeyPemPath }
+                : {}),
+        });
+    }
+    return result;
+}
+//# sourceMappingURL=pipeline.js.map

package/dist/pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAwB,MAAM,uBAAuB,CAAC;AAC/E,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EACL,iCAAiC,EACjC,4BAA4B,GAE7B,MAAM,qBAAqB,CAAC;AAc7B,OAAO,EACL,qBAAqB,EACrB,kCAAkC,EAClC,aAAa,GACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,yBAAyB,EACzB,kCAAkC,EAClC,iCAAiC,EACjC,8BAA8B,GAE/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,SAAS,0BAA0B,CAAC,MAAc;IAChD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;AACtC,CAAC;AACD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,MAAM,UAAU,iBAAiB,CAAC,YAAoB;IACpD,OAAO,gBAAgB,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA+B;IAClE,OAAO,EAAE,eAAe,EAAE,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAoC,EACpC,MAAc,EACd,MAA+B;IAE/B,MAAM,SAAS,GAAG,KAAK;QACrB,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,yBAAyB,EAAE,MAAM,CAAC;QAC/D,CAAC,CAAC,iBAAiB,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAqB,EACrB,QAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC;IACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,cAAc,EAAE,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QACxE,iBAAiB,EAAE,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3D,mBAAmB,EAAE,IAAI;QACzB,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B;gBAC9D,OAAO,EAAE,kCAAkC;aAC5C;SACF;QACD,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,OAA+B,EAC/B,UAAkB,EAClB,OAAoB;IAEpB,OAAO,CAAC;QACN,UAAU;QACV,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;QACtD,2BAA2B,EAAE,OAAO,CAAC,2BAA2B;QAChE,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrG,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAQtC;IACC,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC;IAC9E,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,CAAC;IACnE,MAAM,2BAA2B,GAAG,sBAAsB,CAAC;IAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,OAAO,GAAgB;YAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,cAAc,EAAE,uBAAuB,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;YACxE,iBAAiB,EAAE,2BAA2B,CAAC,EAAE,CAAC,MAAM,CAAC;YACzD,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,YAAY,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACxG,eAAe,EAAE,EAAE;YACnB,sBAAsB;YACtB,2BAA2B;SAC5B,CAAC;QACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,uBAAuB,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,OAAO,GAAgB;YAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,cAAc;YACd,iBAAiB;YACjB,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC7D,eAAe,EAAE,EAAE;YACnB,sBAAsB;YACtB,2BAA2B;SAC5B,CAAC;QACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GAAG,iCAAiC,CAAC,EAAE,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IACjF,MAAM,OAAO,GAAgB;QAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,cAAc;QACd,iBAAiB;QACjB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,sBAAsB;QACtB,2BAA2B;KAC5B,CAAC;IACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,OAQ1C;IACC,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC;IAC/E,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,CAAC;IACnE,MAAM,2BAA2B,GAAG,sBAAsB,CAAC;IAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,OAAO,GAAgB;YAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,cAAc,EAAE,uBAAuB,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;YACxE,iBAAiB,EAAE,2BAA2B,CAAC,EAAE,CAAC,MAAM,CAAC;YACzD,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,YAAY,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;YACxG,eAAe,EAAE,EAAE;YACnB,sBAAsB;YACtB,2BAA2B;SAC5B,CAAC;QACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,uBAAuB,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,OAAO,GAAgB;YAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,cAAc;YACd,iBAAiB;YACjB,mBAAmB,EAAE,IAAI;YACzB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC7D,eAAe,EAAE,EAAE;YACnB,sBAAsB;YACtB,2BAA2B;SAC5B,CAAC;QACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,kCAAkC,CAAC,QAAQ,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACzF,MAAM,OAAO,GAAgB;QAC3B,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,cAAc;QACd,iBAAiB;QACjB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,sBAAsB;QACtB,2BAA2B;KAC5B,CAAC;IACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACjD,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,+BAA+B,CAAC,OAOxC;IACC,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC;QACtC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;YACjD,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC/D,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CACN,sBAAsB,CAAC;YACrB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,EAAE,EAAE,IAAI,CAAC,IAAI;YACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,sBAAsB,EAAE,CAAC;SAC1B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,KAAK,UAAU,gCAAgC,CAAC,OAO/C;IACC,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC;QACtC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;YACjD,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC/D,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CACN,MAAM,2BAA2B,CAAC;YAChC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,EAAE,EAAE,IAAI,CAAC,IAAI;YACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,sBAAsB,EAAE,CAAC;SAC1B,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAQpC;IACC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnE,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,0BAA0B,CAAC;IACtE,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEtF,MAAM,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,sBAAsB,EAAE,GAAG,IAAI,CAAC;IAC5E,MAAM,sBAAsB,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAEjD,IAAI,KAAoB,CAAC;IAEzB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,EAAgB,CAAC;QACrB,IAAI,CAAC;YACH,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,2BAA2B,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,CAAC;YACH,IAAI,kBAAkB,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;gBACpD,KAAK,GAAG,+BAA+B,CAAC;oBACtC,UAAU;oBACV,MAAM;oBACN,QAAQ;oBACR,EAAE;oBACF,OAAO,EAAE,GAAG;oBACZ,kBAAkB;iBACnB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;gBAC1C,KAAK,GAAG,MAAM,gCAAgC,CAAC;oBAC7C,UAAU;oBACV,MAAM;oBACN,QAAQ;oBACR,GAAG;oBACH,OAAO,EAAE,GAAG;oBACZ,kBAAkB;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,KAAK,EAAE,CAAC;QACb,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,MAAqE,CAAC;QAC1E,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,iCAAiC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC9E,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,4BAA4B,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;QACD,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,GAAG,GAA2B;YAClC,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,GAAG,CAAC;YACzD,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAC5D,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC;SAChF,CAAC;QACF,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,gCAAgC,CAAC;gBAC7C,UAAU;gBACV,MAAM;gBACN,QAAQ;gBACR,GAAG;gBACH,OAAO,EAAE,GAAG;gBACZ,kBAAkB;aACnB,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC;YAAC,MAAM,CAAC;gBACP,kBAAkB;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAClC,UAAU,EACV,KAAK,EACL,eAAe,EACf,kBAAkB,EAClB,sBAAsB,CACvB,CAAC;IACF,4BAA4B,CAAC,UAAU,EAAE,UAAU,CAAC,eAAe,EAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,EAAE,GAAG,UAAU,EAAE,sBAAsB,EAAE,CAAC;IACzD,WAAW,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,cAAc,GAAG,wEAAwE,CAAC;AAEhG,MAAM,2BAA2B;IACd,UAAU,CAAS;IACnB,QAAQ,CAAiC;IACzC,EAAE,CAAe;IACjB,OAAO,CAAyB;IAChC,kBAAkB,CAAqB;IACvC,cAAc,GAAwB,EAAE,CAAC;IACzC,iBAAiB,GAAe,EAAE,CAAC;IACnC,eAAe,GAAa,EAAE,CAAC;IACxC,gBAAgB,GAAG,KAAK,CAAC;IACzB,MAAM,GAAG,IAAI,CAAC;IAEtB,YACE,UAAkB,EAClB,QAAwC,EACxC,EAAgB,EAChB,OAA+B,EAC/B,kBAAsC;QAEtC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;IAC/C,CAAC;IAED,WAAW,CAAC,KAAc;QACxB,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACjE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACjE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,EAAE,GAAG,KAAiB,CAAC;QAC7B,IAAI,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,sBAAsB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,aAAa;QACX,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAC/B,CAAC;IAED,mBAAmB;QACjB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5F,MAAM,KAAK,GAAG,+BAA+B,CAAC;YAC5C,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;SAC5C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,iBAAiB,CAC5B,IAAI,CAAC,UAAU,EACf,KAAK,EACL,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,EACzB,IAAI,CAAC,kBAAkB,EACvB,sBAAsB,CACvB,CAAC;QACF,4BAA4B,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,EAAE;YAClE,sBAAsB,EAAE,CAAC;YACzB,iBAAiB,EAAE,CAAC;YACpB,kCAAkC,EAAE,CAAC;YACrC,+BAA+B,EAAE,CAAC;SACnC,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,IAAI,EAAE,sBAAsB,EAAE,2BAA2B,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;IAClG,CAAC;IAED,yGAAyG;IACzG,iBAAiB;QACf,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAYC,EACD,GAAoE;IAEpE,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,0BAA0B,CAAC;IACtE,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,IAAI,kBAAkB,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2CAA2C,EACjE,oHAAoH,CACrH,CAAC;IACJ,CAAC;IAED,IAAI,OAAgD,CAAC;IACrD,IAAI,UAAmB,CAAC;IACxB,IAAI,MAAwC,CAAC;IAC7C,IAAI,iBAAqC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACzD,IAAI,EAAgB,CAAC;QACrB,IAAI,CAAC;YACH,EAAE,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,2BAA2B,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAClG,CAAC;QACD,OAAO,GAAG,IAAI,2BAA2B,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACrG,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACvC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,UAAU,GAAG,CAAC,CAAC;IACjB,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,aAAa,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,UAAU,CAAC;IACnB,CAAC;IACD,WAAW,CAAC,yBAAyB,CAAC,MAAO,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAO,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,mBAAmB,CAAC;YAClB,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;YACpC,YAAY,EAAE,iBAAiB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAClD,cAAc,EAAE,MAAM;YACtB,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,wBAAwB,KAAK,SAAS;gBAC9D,CAAC,CAAC,EAAE,wBAAwB,EAAE,OAAO,CAAC,aAAa,CAAC,wBAAwB,EAAE;gBAC9E,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/planLogicalSteps.d.ts

@@ -0,0 +1,16 @@
+import type { ToolObservedEvent } from "./types.js";
+/** Stable sort by seq; ties preserve input order. */
+export declare function stableSortEventsBySeq(events: ToolObservedEvent[]): ToolObservedEvent[];
+export type LogicalStepPlan = {
+    seq: number;
+    observations: ToolObservedEvent[];
+    last: ToolObservedEvent;
+    repeatObservationCount: number;
+    divergent: boolean;
+};
+/**
+ * One row per distinct seq, ascending seq order.
+ * Last observation in capture order wins when non-divergent.
+ */
+export declare function planLogicalSteps(events: ToolObservedEvent[]): LogicalStepPlan[];
+//# sourceMappingURL=planLogicalSteps.d.ts.map

package/dist/planLogicalSteps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planLogicalSteps.d.ts","sourceRoot":"","sources":["../src/planLogicalSteps.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAMpD,qDAAqD;AACrD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAKtF;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,IAAI,EAAE,iBAAiB,CAAC;IACxB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,EAAE,GAAG,eAAe,EAAE,CA+B/E"}

package/dist/planLogicalSteps.js

@@ -0,0 +1,51 @@
+import { canonicalJsonForParams } from "./canonicalParams.js";
+function observationsMatchForDivergence(a, b) {
+    return a.toolId === b.toolId && canonicalJsonForParams(a.params) === canonicalJsonForParams(b.params);
+}
+/** Stable sort by seq; ties preserve input order. */
+export function stableSortEventsBySeq(events) {
+    return [...events].sort((a, b) => {
+        if (a.seq !== b.seq)
+            return a.seq - b.seq;
+        return 0;
+    });
+}
+/**
+ * One row per distinct seq, ascending seq order.
+ * Last observation in capture order wins when non-divergent.
+ */
+export function planLogicalSteps(events) {
+    const sorted = stableSortEventsBySeq(events);
+    const bySeq = new Map();
+    for (const ev of sorted) {
+        const list = bySeq.get(ev.seq);
+        if (list)
+            list.push(ev);
+        else
+            bySeq.set(ev.seq, [ev]);
+    }
+    const seqs = [...bySeq.keys()].sort((a, b) => a - b);
+    const out = [];
+    for (const seq of seqs) {
+        const observations = bySeq.get(seq);
+        const last = observations[observations.length - 1];
+        let divergent = false;
+        if (observations.length >= 2) {
+            for (let i = 0; i < observations.length - 1; i++) {
+                if (!observationsMatchForDivergence(observations[i], last)) {
+                    divergent = true;
+                    break;
+                }
+            }
+        }
+        out.push({
+            seq,
+            observations,
+            last,
+            repeatObservationCount: observations.length,
+            divergent,
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=planLogicalSteps.js.map

package/dist/planLogicalSteps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planLogicalSteps.js","sourceRoot":"","sources":["../src/planLogicalSteps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAG9D,SAAS,8BAA8B,CAAC,CAAoB,EAAE,CAAoB;IAChF,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACxG,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,qBAAqB,CAAC,MAA2B;IAC/D,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/B,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;YAAE,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QAC1C,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAUD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA2B;IAC1D,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YACnB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACrC,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACpD,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjD,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC5D,SAAS,GAAG,IAAI,CAAC;oBACjB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC;YACP,GAAG;YACH,YAAY;YACZ,IAAI;YACJ,sBAAsB,EAAE,YAAY,CAAC,MAAM;YAC3C,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/planLogicalSteps.test.d.ts

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

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

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

package/dist/planLogicalSteps.test.js

@@ -0,0 +1,88 @@
+import { describe, expect, it } from "vitest";
+import { canonicalJsonForParams } from "./canonicalParams.js";
+import { planLogicalSteps, stableSortEventsBySeq } from "./planLogicalSteps.js";
+function ev(over) {
+    return {
+        schemaVersion: 1,
+        workflowId: "w",
+        type: "tool_observed",
+        params: {},
+        ...over,
+    };
+}
+describe("canonicalJsonForParams", () => {
+    it("matches JSON scalars", () => {
+        expect(canonicalJsonForParams(null)).toBe("null");
+        expect(canonicalJsonForParams(true)).toBe("true");
+        expect(canonicalJsonForParams(1)).toBe("1");
+        expect(canonicalJsonForParams("a")).toBe('"a"');
+    });
+    it("sorts object keys by UTF-16 code unit order", () => {
+        expect(canonicalJsonForParams({ b: 1, a: 2 })).toBe('{"a":2,"b":1}');
+    });
+    it("nested objects and arrays", () => {
+        expect(canonicalJsonForParams({ x: [{ z: 1, y: 2 }] })).toBe('{"x":[{"y":2,"z":1}]}');
+    });
+    it("non-JSON kinds use sentinel", () => {
+        expect(canonicalJsonForParams(undefined)).toBe("__non_json_params:undefined__");
+    });
+});
+describe("stableSortEventsBySeq", () => {
+    it("stable for equal seq", () => {
+        const a = ev({ seq: 1, toolId: "t", params: { i: 0 } });
+        const b = ev({ seq: 0, toolId: "t", params: { i: 1 } });
+        const c = ev({ seq: 0, toolId: "t", params: { i: 2 } });
+        const sorted = stableSortEventsBySeq([a, b, c]);
+        expect(sorted.map((e) => e.params.i)).toEqual([1, 2, 0]);
+    });
+});
+describe("planLogicalSteps", () => {
+    it("single observation", () => {
+        const e = ev({ seq: 0, toolId: "t", params: { a: 1 } });
+        const plans = planLogicalSteps([e]);
+        expect(plans).toHaveLength(1);
+        expect(plans[0].repeatObservationCount).toBe(1);
+        expect(plans[0].divergent).toBe(false);
+        expect(plans[0].last).toBe(e);
+    });
+    it("two identical retries — not divergent", () => {
+        const a = ev({ seq: 0, toolId: "t", params: { x: 1 } });
+        const b = ev({ seq: 0, toolId: "t", params: { x: 1 } });
+        const plans = planLogicalSteps([a, b]);
+        expect(plans[0].repeatObservationCount).toBe(2);
+        expect(plans[0].divergent).toBe(false);
+        expect(plans[0].last).toBe(b);
+    });
+    it("two different params — divergent", () => {
+        const a = ev({ seq: 0, toolId: "t", params: { x: 1 } });
+        const b = ev({ seq: 0, toolId: "t", params: { x: 2 } });
+        const plans = planLogicalSteps([a, b]);
+        expect(plans[0].divergent).toBe(true);
+        expect(plans[0].last).toBe(b);
+    });
+    it("toolId mismatch vs last — divergent", () => {
+        const a = ev({ seq: 0, toolId: "t1", params: {} });
+        const b = ev({ seq: 0, toolId: "t2", params: {} });
+        const plans = planLogicalSteps([a, b]);
+        expect(plans[0].divergent).toBe(true);
+    });
+    it("multiple seq groups ascending", () => {
+        const p0 = ev({ seq: 0, toolId: "t", params: {} });
+        const p1 = ev({ seq: 1, toolId: "t", params: {} });
+        const plans = planLogicalSteps([p1, p0]);
+        expect(plans.map((p) => p.seq)).toEqual([0, 1]);
+    });
+    it("three same seq: first two match last — not divergent", () => {
+        const a = ev({ seq: 0, toolId: "t", params: { n: 1 } });
+        const b = ev({ seq: 0, toolId: "t", params: { n: 1 } });
+        const c = ev({ seq: 0, toolId: "t", params: { n: 1 } });
+        expect(planLogicalSteps([a, b, c])[0].divergent).toBe(false);
+    });
+    it("three same seq: middle differs from last — divergent", () => {
+        const a = ev({ seq: 0, toolId: "t", params: { n: 1 } });
+        const b = ev({ seq: 0, toolId: "t", params: { n: 2 } });
+        const c = ev({ seq: 0, toolId: "t", params: { n: 1 } });
+        expect(planLogicalSteps([a, b, c])[0].divergent).toBe(true);
+    });
+});
+//# sourceMappingURL=planLogicalSteps.test.js.map