@driftfence/core 0.1.0

package/dist/utils/errors.d.ts

@@ -0,0 +1,18 @@
+export declare const EXIT_CODES: {
+    readonly SUCCESS: 0;
+    readonly POLICY_FAILURE: 1;
+    readonly INVALID_USAGE: 2;
+    readonly CONFIG_ERROR: 3;
+    readonly CONTRACT_ERROR: 4;
+    readonly TRACE_ERROR: 5;
+    readonly INTERNAL_ERROR: 6;
+};
+export type ExitCode = (typeof EXIT_CODES)[keyof typeof EXIT_CODES];
+export declare class DriftFenceError extends Error {
+    readonly exitCode: ExitCode;
+    constructor(message: string, exitCode: ExitCode, options?: {
+        cause?: unknown;
+    });
+}
+export declare function asDriftFenceError(error: unknown): DriftFenceError;
+//# sourceMappingURL=errors.d.ts.map

package/dist/utils/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/utils/errors.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,UAAU;;;;;;;;CAQb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAEpE,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAG1B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE;CAMhC;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAYjE"}

package/dist/utils/errors.js

@@ -0,0 +1,34 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DriftFenceError = exports.EXIT_CODES = void 0;
+exports.asDriftFenceError = asDriftFenceError;
+exports.EXIT_CODES = {
+    SUCCESS: 0,
+    POLICY_FAILURE: 1,
+    INVALID_USAGE: 2,
+    CONFIG_ERROR: 3,
+    CONTRACT_ERROR: 4,
+    TRACE_ERROR: 5,
+    INTERNAL_ERROR: 6
+};
+class DriftFenceError extends Error {
+    exitCode;
+    constructor(message, exitCode, options) {
+        super(message, options);
+        this.name = "DriftFenceError";
+        this.exitCode = exitCode;
+    }
+}
+exports.DriftFenceError = DriftFenceError;
+function asDriftFenceError(error) {
+    if (error instanceof DriftFenceError) {
+        return error;
+    }
+    if (error instanceof Error) {
+        return new DriftFenceError(error.message, exports.EXIT_CODES.INTERNAL_ERROR, {
+            cause: error
+        });
+    }
+    return new DriftFenceError(String(error), exports.EXIT_CODES.INTERNAL_ERROR);
+}
+//# sourceMappingURL=errors.js.map

package/dist/utils/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/utils/errors.ts"],"names":[],"mappings":";;;AA0BA,8CAYC;AAtCY,QAAA,UAAU,GAAG;IACxB,OAAO,EAAE,CAAC;IACV,cAAc,EAAE,CAAC;IACjB,aAAa,EAAE,CAAC;IAChB,YAAY,EAAE,CAAC;IACf,cAAc,EAAE,CAAC;IACjB,WAAW,EAAE,CAAC;IACd,cAAc,EAAE,CAAC;CACT,CAAC;AAIX,MAAa,eAAgB,SAAQ,KAAK;IAC/B,QAAQ,CAAW;IAE5B,YACE,OAAe,EACf,QAAkB,EAClB,OAA6B;QAE7B,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAZD,0CAYC;AAED,SAAgB,iBAAiB,CAAC,KAAc;IAC9C,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC3B,OAAO,IAAI,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAU,CAAC,cAAc,EAAE;YACnE,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,kBAAU,CAAC,cAAc,CAAC,CAAC;AACvE,CAAC"}

package/dist/utils/json.d.ts

@@ -0,0 +1,10 @@
+import type { Primitive } from "../types";
+export declare function isPlainObject(value: unknown): value is Record<string, unknown>;
+export declare function deepEqual(left: unknown, right: unknown): boolean;
+export declare function stableStringify(value: unknown): string;
+export declare function sanitizeFilename(input: string, fallback?: string): string;
+export declare function sortUniqueStrings(values: string[] | undefined): string[] | undefined;
+export declare function jsonClone<T>(value: T): T;
+export declare function isNumericString(value: unknown): value is string;
+export declare function isPrimitive(value: unknown): value is Primitive;
+//# sourceMappingURL=json.d.ts.map

package/dist/utils/json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../src/utils/json.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAI1C,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAOlC;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAwChE;AAgCD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEtD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAU,GAAG,MAAM,CAG1E;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,GAC3B,MAAM,EAAE,GAAG,SAAS,CAQtB;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAExC;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAM/D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,SAAS,CAI9D"}

package/dist/utils/json.js

@@ -0,0 +1,98 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isPlainObject = isPlainObject;
+exports.deepEqual = deepEqual;
+exports.stableStringify = stableStringify;
+exports.sanitizeFilename = sanitizeFilename;
+exports.sortUniqueStrings = sortUniqueStrings;
+exports.jsonClone = jsonClone;
+exports.isNumericString = isNumericString;
+exports.isPrimitive = isPrimitive;
+const UNSAFE_FILENAME = /[^A-Za-z0-9._-]/g;
+function isPlainObject(value) {
+    if (value === null || typeof value !== "object") {
+        return false;
+    }
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+function deepEqual(left, right) {
+    if (Object.is(left, right)) {
+        return true;
+    }
+    if (typeof left !== typeof right) {
+        return false;
+    }
+    if (Array.isArray(left)) {
+        if (!Array.isArray(right) || left.length !== right.length) {
+            return false;
+        }
+        return left.every((value, index) => deepEqual(value, right[index]));
+    }
+    if (isPlainObject(left)) {
+        if (!isPlainObject(right)) {
+            return false;
+        }
+        const leftKeys = Object.keys(left);
+        const rightKeys = Object.keys(right);
+        if (leftKeys.length !== rightKeys.length) {
+            return false;
+        }
+        leftKeys.sort();
+        rightKeys.sort();
+        for (let index = 0; index < leftKeys.length; index += 1) {
+            if (leftKeys[index] !== rightKeys[index]) {
+                return false;
+            }
+        }
+        return leftKeys.every((key) => deepEqual(left[key], right[key]));
+    }
+    return false;
+}
+function stableSerialize(value) {
+    if (value === undefined) {
+        return "null";
+    }
+    if (value === null || typeof value !== "object") {
+        return JSON.stringify(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((item) => stableSerialize(item)).join(",")}]`;
+    }
+    const keys = Object.keys(value).sort();
+    return `{${keys
+        .flatMap((key) => {
+        const serialized = stableSerialize(value[key]);
+        if (serialized === "null" &&
+            value[key] === undefined) {
+            return [];
+        }
+        return `${JSON.stringify(key)}:${serialized}`;
+    })
+        .join(",")}}`;
+}
+function stableStringify(value) {
+    return JSON.stringify(JSON.parse(stableSerialize(value)), null, 2);
+}
+function sanitizeFilename(input, fallback = "value") {
+    const sanitized = input.replace(UNSAFE_FILENAME, "_");
+    return sanitized.length > 0 ? sanitized : fallback;
+}
+function sortUniqueStrings(values) {
+    if (values === undefined) {
+        return undefined;
+    }
+    return Array.from(new Set(values)).sort((left, right) => left.localeCompare(right));
+}
+function jsonClone(value) {
+    return structuredClone(value);
+}
+function isNumericString(value) {
+    return (typeof value === "string" &&
+        value.trim() !== "" &&
+        Number.isFinite(Number(value)));
+}
+function isPrimitive(value) {
+    return (value === null || ["string", "number", "boolean"].includes(typeof value));
+}
+//# sourceMappingURL=json.js.map

package/dist/utils/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/utils/json.ts"],"names":[],"mappings":";;AAIA,sCASC;AAED,8BAwCC;AAgCD,0CAEC;AAED,4CAGC;AAED,8CAUC;AAED,8BAEC;AAED,0CAMC;AAED,kCAIC;AA1HD,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAE3C,SAAgB,aAAa,CAC3B,KAAc;IAEd,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED,SAAgB,SAAS,CAAC,IAAa,EAAE,KAAc;IACrD,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,IAAI,KAAK,OAAO,KAAK,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChB,SAAS,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACrE,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,OAAO,IAAI,IAAI;SACZ,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACf,MAAM,UAAU,GAAG,eAAe,CAC/B,KAAiC,CAAC,GAAG,CAAC,CACxC,CAAC;QACF,IACE,UAAU,KAAK,MAAM;YACpB,KAAiC,CAAC,GAAG,CAAC,KAAK,SAAS,EACrD,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;IAChD,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,SAAgB,eAAe,CAAC,KAAc;IAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAgB,gBAAgB,CAAC,KAAa,EAAE,QAAQ,GAAG,OAAO;IAChE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AACrD,CAAC;AAED,SAAgB,iBAAiB,CAC/B,MAA4B;IAE5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAI,KAAQ;IACnC,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAgB,eAAe,CAAC,KAAc;IAC5C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;QACnB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,SAAgB,WAAW,CAAC,KAAc;IACxC,OAAO,CACL,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,CACzE,CAAC;AACJ,CAAC"}

package/dist/utils/order.d.ts

@@ -0,0 +1,8 @@
+import type { ComponentName, ComponentStatus, ScenarioStatus } from "../types";
+export declare const COMPONENT_ORDER: ComponentName[];
+export declare const SCENARIO_STATUS_ORDER: ScenarioStatus[];
+export declare const COMPONENT_STATUS_ORDER: ComponentStatus[];
+export declare function compareComponentName(left: ComponentName, right: ComponentName): number;
+export declare function compareScenarioStatus(left: ScenarioStatus, right: ScenarioStatus): number;
+export declare function compareComponentStatus(left: ComponentStatus, right: ComponentStatus): number;
+//# sourceMappingURL=order.d.ts.map

package/dist/utils/order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.d.ts","sourceRoot":"","sources":["../../src/utils/order.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE/E,eAAO,MAAM,eAAe,EAAE,aAAa,EAQ1C,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,cAAc,EAQjD,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,eAAe,EAOnD,CAAC;AAEF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,aAAa,GACnB,MAAM,CAER;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,GACpB,MAAM,CAIR;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,eAAe,GACrB,MAAM,CAIR"}

package/dist/utils/order.js

@@ -0,0 +1,42 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.COMPONENT_STATUS_ORDER = exports.SCENARIO_STATUS_ORDER = exports.COMPONENT_ORDER = void 0;
+exports.compareComponentName = compareComponentName;
+exports.compareScenarioStatus = compareScenarioStatus;
+exports.compareComponentStatus = compareComponentStatus;
+exports.COMPONENT_ORDER = [
+    "summary.effects",
+    "summary.emits",
+    "sequence",
+    "output",
+    "error",
+    "stateAfter",
+    "invariant"
+];
+exports.SCENARIO_STATUS_ORDER = [
+    "VIOLATING",
+    "WIDENING_REQUEST",
+    "MISSING_TRACE",
+    "NARROWING",
+    "SUPPRESSED",
+    "CONFORMING",
+    "ORPHAN_TRACE"
+];
+exports.COMPONENT_STATUS_ORDER = [
+    "VIOLATING",
+    "WIDENING_REQUEST",
+    "NARROWING",
+    "SUPPRESSED",
+    "WARN",
+    "CONFORMING"
+];
+function compareComponentName(left, right) {
+    return exports.COMPONENT_ORDER.indexOf(left) - exports.COMPONENT_ORDER.indexOf(right);
+}
+function compareScenarioStatus(left, right) {
+    return (exports.SCENARIO_STATUS_ORDER.indexOf(left) - exports.SCENARIO_STATUS_ORDER.indexOf(right));
+}
+function compareComponentStatus(left, right) {
+    return (exports.COMPONENT_STATUS_ORDER.indexOf(left) - exports.COMPONENT_STATUS_ORDER.indexOf(right));
+}
+//# sourceMappingURL=order.js.map

package/dist/utils/order.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.js","sourceRoot":"","sources":["../../src/utils/order.ts"],"names":[],"mappings":";;;AA+BA,oDAKC;AAED,sDAOC;AAED,wDAOC;AApDY,QAAA,eAAe,GAAoB;IAC9C,iBAAiB;IACjB,eAAe;IACf,UAAU;IACV,QAAQ;IACR,OAAO;IACP,YAAY;IACZ,WAAW;CACZ,CAAC;AAEW,QAAA,qBAAqB,GAAqB;IACrD,WAAW;IACX,kBAAkB;IAClB,eAAe;IACf,WAAW;IACX,YAAY;IACZ,YAAY;IACZ,cAAc;CACf,CAAC;AAEW,QAAA,sBAAsB,GAAsB;IACvD,WAAW;IACX,kBAAkB;IAClB,WAAW;IACX,YAAY;IACZ,MAAM;IACN,YAAY;CACb,CAAC;AAEF,SAAgB,oBAAoB,CAClC,IAAmB,EACnB,KAAoB;IAEpB,OAAO,uBAAe,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,uBAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAgB,qBAAqB,CACnC,IAAoB,EACpB,KAAqB;IAErB,OAAO,CACL,6BAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,6BAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,SAAgB,sBAAsB,CACpC,IAAqB,EACrB,KAAsB;IAEtB,OAAO,CACL,8BAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,8BAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,CAC7E,CAAC;AACJ,CAAC"}

package/dist/utils/path.d.ts

@@ -0,0 +1,8 @@
+export type PathToken = string | number;
+export declare function parseDotPath(path: string): PathToken[];
+export declare function resolvePath(root: unknown, path: string): unknown;
+export declare function hasPath(root: unknown, path: string): boolean;
+export declare function setPath(root: unknown, path: string, value: unknown): void;
+export declare function deletePath(root: unknown, path: string): void;
+export declare function collectValuePaths(root: unknown, basePath?: string): string[];
+//# sourceMappingURL=path.d.ts.map

package/dist/utils/path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../src/utils/path.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAIxC,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,CA8BtD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAoBhE;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAqB5D;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAiDzE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CA6C5D;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,SAAK,GAAG,MAAM,EAAE,CAmBxE"}

package/dist/utils/path.js

@@ -0,0 +1,168 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseDotPath = parseDotPath;
+exports.resolvePath = resolvePath;
+exports.hasPath = hasPath;
+exports.setPath = setPath;
+exports.deletePath = deletePath;
+exports.collectValuePaths = collectValuePaths;
+const errors_1 = require("./errors");
+const json_1 = require("./json");
+const PATH_TOKEN = /([^[.\]]+)|\[(\d+)\]/g;
+function parseDotPath(path) {
+    if (path.trim() === "") {
+        throw new errors_1.DriftFenceError("Path must not be empty.", errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    const tokens = [];
+    const matches = path.matchAll(PATH_TOKEN);
+    let consumed = "";
+    for (const match of matches) {
+        consumed += match[0];
+        if (match[1] !== undefined) {
+            tokens.push(match[1]);
+        }
+        else if (match[2] !== undefined) {
+            tokens.push(Number(match[2]));
+        }
+    }
+    const normalized = consumed.replace(/\]\[/g, "][");
+    const inputNormalized = path.replace(/\.\[/g, "[").replace(/\]\./g, "]");
+    if (normalized !== inputNormalized.replace(/\./g, "")) {
+        throw new errors_1.DriftFenceError(`Invalid path syntax: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    return tokens;
+}
+function resolvePath(root, path) {
+    const tokens = parseDotPath(path);
+    let current = root;
+    for (const token of tokens) {
+        if (typeof token === "number") {
+            if (!Array.isArray(current)) {
+                return undefined;
+            }
+            current = current[token];
+            continue;
+        }
+        if (!(0, json_1.isPlainObject)(current) && !Array.isArray(current)) {
+            return undefined;
+        }
+        current = current[token];
+    }
+    return current;
+}
+function hasPath(root, path) {
+    const tokens = parseDotPath(path);
+    let current = root;
+    for (const token of tokens) {
+        if (typeof token === "number") {
+            if (!Array.isArray(current) || !(token in current)) {
+                return false;
+            }
+            current = current[token];
+            continue;
+        }
+        if (!(0, json_1.isPlainObject)(current) && !Array.isArray(current)) {
+            return false;
+        }
+        if (!(token in current)) {
+            return false;
+        }
+        current = current[token];
+    }
+    return true;
+}
+function setPath(root, path, value) {
+    const tokens = parseDotPath(path);
+    if (tokens.length === 0) {
+        throw new errors_1.DriftFenceError(`Invalid path: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    let current = root;
+    for (let index = 0; index < tokens.length - 1; index += 1) {
+        const token = tokens[index];
+        const nextToken = tokens[index + 1];
+        if (token === undefined || nextToken === undefined) {
+            throw new errors_1.DriftFenceError(`Invalid path: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+        }
+        if (typeof token === "number") {
+            if (!Array.isArray(current)) {
+                throw new errors_1.DriftFenceError(`Cannot set numeric path segment on non-array: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+            }
+            current[token] ??= typeof nextToken === "number" ? [] : {};
+            current = current[token];
+            continue;
+        }
+        const target = current;
+        target[token] ??= typeof nextToken === "number" ? [] : {};
+        current = target[token];
+    }
+    const last = tokens[tokens.length - 1];
+    if (last === undefined) {
+        throw new errors_1.DriftFenceError(`Invalid path: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    if (typeof last === "number") {
+        if (!Array.isArray(current)) {
+            throw new errors_1.DriftFenceError(`Cannot set numeric path segment on non-array: ${path}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+        }
+        current[last] = value;
+        return;
+    }
+    current[last] = value;
+}
+function deletePath(root, path) {
+    const tokens = parseDotPath(path);
+    if (tokens.length === 0) {
+        return;
+    }
+    let current = root;
+    for (let index = 0; index < tokens.length - 1; index += 1) {
+        const token = tokens[index];
+        if (token === undefined) {
+            return;
+        }
+        if (typeof token === "number") {
+            if (!Array.isArray(current) || current[token] === undefined) {
+                return;
+            }
+            current = current[token];
+            continue;
+        }
+        if (!(0, json_1.isPlainObject)(current) && !Array.isArray(current)) {
+            return;
+        }
+        const next = current[token];
+        if (next === undefined) {
+            return;
+        }
+        current = next;
+    }
+    const last = tokens[tokens.length - 1];
+    if (last === undefined) {
+        return;
+    }
+    if (typeof last === "number") {
+        if (Array.isArray(current) && last < current.length) {
+            current.splice(last, 1);
+        }
+        return;
+    }
+    if ((0, json_1.isPlainObject)(current) || Array.isArray(current)) {
+        delete current[last];
+    }
+}
+function collectValuePaths(root, basePath = "") {
+    if (!(0, json_1.isPlainObject)(root) && !Array.isArray(root)) {
+        return basePath ? [basePath] : [];
+    }
+    if (Array.isArray(root)) {
+        return root.flatMap((value, index) => collectValuePaths(value, `${basePath}[${index}]`));
+    }
+    return Object.entries(root).flatMap(([key, value]) => {
+        const nextPath = basePath ? `${basePath}.${key}` : key;
+        if ((0, json_1.isPlainObject)(value) || Array.isArray(value)) {
+            const childPaths = collectValuePaths(value, nextPath);
+            return childPaths.length > 0 ? childPaths : [nextPath];
+        }
+        return [nextPath];
+    });
+}
+//# sourceMappingURL=path.js.map

package/dist/utils/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../src/utils/path.ts"],"names":[],"mappings":";;AAOA,oCA8BC;AAED,kCAoBC;AAED,0BAqBC;AAED,0BAiDC;AAED,gCA6CC;AAED,8CAmBC;AAzMD,qCAAuD;AACvD,iCAAuC;AAIvC,MAAM,UAAU,GAAG,uBAAuB,CAAC;AAE3C,SAAgB,YAAY,CAAC,IAAY;IACvC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACvB,MAAM,IAAI,wBAAe,CACvB,yBAAyB,EACzB,mBAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACzE,IAAI,UAAU,KAAK,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,wBAAe,CACvB,wBAAwB,IAAI,EAAE,EAC9B,mBAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,WAAW,CAAC,IAAa,EAAE,IAAY;IACrD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,IAAA,oBAAa,EAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,GAAI,OAAmC,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAgB,OAAO,CAAC,IAAa,EAAE,IAAY;IACjD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,EAAE,CAAC;gBACnD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,IAAA,oBAAa,EAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,IAAK,OAAmC,CAAC,EAAE,CAAC;YACrD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,GAAI,OAAmC,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,OAAO,CAAC,IAAa,EAAE,IAAY,EAAE,KAAc;IACjE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,wBAAe,CAAC,iBAAiB,IAAI,EAAE,EAAE,mBAAU,CAAC,YAAY,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,OAAO,GAAG,IAA2C,CAAC;IAC1D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,wBAAe,CACvB,iBAAiB,IAAI,EAAE,EACvB,mBAAU,CAAC,YAAY,CACxB,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,wBAAe,CACvB,iDAAiD,IAAI,EAAE,EACvD,mBAAU,CAAC,YAAY,CACxB,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,OAAO,GAAG,OAAO,CAAC,KAAK,CAAwC,CAAC;YAChE,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,OAAkC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,OAAO,GAAG,MAAM,CAAC,KAAK,CAAwC,CAAC;IACjE,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,wBAAe,CAAC,iBAAiB,IAAI,EAAE,EAAE,mBAAU,CAAC,YAAY,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,wBAAe,CACvB,iDAAiD,IAAI,EAAE,EACvD,mBAAU,CAAC,YAAY,CACxB,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACtB,OAAO;IACT,CAAC;IAEA,OAAmC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AACrD,CAAC;AAED,SAAgB,UAAU,CAAC,IAAa,EAAE,IAAY;IACpD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;IACT,CAAC;IAED,IAAI,OAAO,GAAG,IAA2C,CAAC;IAC1D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC5D,OAAO;YACT,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAwC,CAAC;YAChE,SAAS;QACX,CAAC;QAED,IAAI,CAAC,IAAA,oBAAa,EAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAI,OAAmC,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO;QACT,CAAC;QACD,OAAO,GAAG,IAA2C,CAAC;IACxD,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;YACpD,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,IAAA,oBAAa,EAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,OAAQ,OAAmC,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAgB,iBAAiB,CAAC,IAAa,EAAE,QAAQ,GAAG,EAAE;IAC5D,IAAI,CAAC,IAAA,oBAAa,EAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpC,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACnC,iBAAiB,CAAC,KAAK,EAAE,GAAG,QAAQ,IAAI,KAAK,GAAG,CAAC,CAClD,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACvD,IAAI,IAAA,oBAAa,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACtD,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/verify/invariants.d.ts

@@ -0,0 +1,3 @@
+import type { ComponentResult, InvariantExpectation, MatchContext } from "../types";
+export declare function evaluateInvariants(invariants: InvariantExpectation[] | undefined, context: MatchContext): ComponentResult[];
+//# sourceMappingURL=invariants.d.ts.map

package/dist/verify/invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/verify/invariants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,oBAAoB,EACpB,YAAY,EACb,MAAM,UAAU,CAAC;AAGlB,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAAE,GAAG,SAAS,EAC9C,OAAO,EAAE,YAAY,GACpB,eAAe,EAAE,CAmCnB"}

package/dist/verify/invariants.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluateInvariants = evaluateInvariants;
+const expr_1 = require("../match/expr");
+function evaluateInvariants(invariants, context) {
+    if (invariants === undefined || invariants.length === 0) {
+        return [];
+    }
+    return invariants.map((invariant) => {
+        const ok = (0, expr_1.evaluateExpr)(invariant.expr, context) === true;
+        if (ok) {
+            return {
+                component: "invariant",
+                status: "CONFORMING",
+                code: "PASS",
+                message: invariant.message,
+                name: invariant.id
+            };
+        }
+        if (invariant.severity === "warn") {
+            return {
+                component: "invariant",
+                status: "WARN",
+                code: "WARN",
+                message: invariant.message,
+                name: invariant.id
+            };
+        }
+        return {
+            component: "invariant",
+            status: "VIOLATING",
+            code: "INVARIANT_FAILURE",
+            message: invariant.message,
+            name: invariant.id
+        };
+    });
+}
+//# sourceMappingURL=invariants.js.map

package/dist/verify/invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../../src/verify/invariants.ts"],"names":[],"mappings":";;AAOA,gDAsCC;AAxCD,wCAA6C;AAE7C,SAAgB,kBAAkB,CAChC,UAA8C,EAC9C,OAAqB;IAErB,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,IAAA,mBAAY,EAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;QAC1D,IAAI,EAAE,EAAE,CAAC;YACP,OAAO;gBACL,SAAS,EAAE,WAAW;gBACtB,MAAM,EAAE,YAAY;gBACpB,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,IAAI,EAAE,SAAS,CAAC,EAAE;aACnB,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAClC,OAAO;gBACL,SAAS,EAAE,WAAW;gBACtB,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,IAAI,EAAE,SAAS,CAAC,EAAE;aACnB,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS,EAAE,WAAW;YACtB,MAAM,EAAE,WAAW;YACnB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,IAAI,EAAE,SAAS,CAAC,EAAE;SACnB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/verify/sequence.d.ts

@@ -0,0 +1,3 @@
+import type { MatchContext, MatchOptions, SequenceExpectation, SequenceVerificationResult, TraceFile } from "../types";
+export declare function verifySequence(sequence: SequenceExpectation, trace: TraceFile, context: MatchContext, options: MatchOptions, allowExtraEffects: string[], allowExtraEmits: string[]): SequenceVerificationResult;
+//# sourceMappingURL=sequence.d.ts.map

package/dist/verify/sequence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sequence.d.ts","sourceRoot":"","sources":["../../src/verify/sequence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,YAAY,EACZ,YAAY,EACZ,mBAAmB,EAEnB,0BAA0B,EAC1B,SAAS,EACV,MAAM,UAAU,CAAC;AAoElB,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,YAAY,EACrB,OAAO,EAAE,YAAY,EACrB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,eAAe,EAAE,MAAM,EAAE,GACxB,0BAA0B,CAmL5B"}

package/dist/verify/sequence.js

@@ -0,0 +1,151 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.verifySequence = verifySequence;
+const expr_1 = require("../match/expr");
+const value_1 = require("../match/value");
+const path_1 = require("../utils/path");
+function isAllowedExtra(trace, index, allowExtraEffects, allowExtraEmits) {
+    const call = trace.calls[index];
+    if (call === undefined) {
+        return false;
+    }
+    return call.kind === "effect"
+        ? allowExtraEffects.includes(call.name)
+        : allowExtraEmits.includes(call.event);
+}
+function mismatchResult(step, code, message, actualCallIndex, details) {
+    return {
+        component: {
+            component: "sequence",
+            status: "VIOLATING",
+            code,
+            message
+        },
+        firstDifference: {
+            component: "sequence",
+            code,
+            expectedStepId: step.stepId,
+            actualCallIndex,
+            ...(details?.path ? { path: details.path } : {}),
+            ...(details && "expected" in details
+                ? { expected: details.expected }
+                : {}),
+            ...(details && "actual" in details ? { actual: details.actual } : {})
+        },
+        vars: {}
+    };
+}
+function applyBindings(step, call, vars) {
+    if (step.bind === undefined) {
+        return;
+    }
+    const root = step.kind === "effect" && call.kind === "effect"
+        ? { args: call.args, result: call.result, error: call.error }
+        : { payload: call.kind === "emit" ? call.payload : undefined };
+    for (const [name, sourcePath] of Object.entries(step.bind)) {
+        vars[name] = (0, path_1.resolvePath)(root, sourcePath);
+    }
+}
+function verifySequence(sequence, trace, context, options, allowExtraEffects, allowExtraEmits) {
+    let cursor = 0;
+    const vars = {};
+    const mutableContext = {
+        ...context,
+        vars
+    };
+    for (const step of sequence.steps) {
+        if (step.when !== undefined && step.when !== null) {
+            const whenResult = Boolean((0, expr_1.evaluateExpr)(step.when, mutableContext));
+            if (!whenResult) {
+                continue;
+            }
+        }
+        while (cursor < trace.calls.length &&
+            isAllowedExtra(trace, cursor, allowExtraEffects, allowExtraEmits)) {
+            cursor += 1;
+        }
+        if (cursor >= trace.calls.length) {
+            if (step.optional) {
+                continue;
+            }
+            return mismatchResult(step, "SEQUENCE_MISSING_STEP", `Expected step ${step.stepId} was not observed.`, cursor);
+        }
+        const actual = trace.calls[cursor];
+        if (actual === undefined) {
+            return mismatchResult(step, "SEQUENCE_MISSING_STEP", `Expected step ${step.stepId} was not observed.`, cursor);
+        }
+        if (step.kind !== actual.kind) {
+            if (step.optional) {
+                continue;
+            }
+            return mismatchResult(step, "SEQUENCE_KIND_MISMATCH", `First divergence at step ${step.stepId}: kind mismatch.`, cursor, {
+                expected: step.kind,
+                actual: actual.kind
+            });
+        }
+        if (step.kind === "effect" && actual.kind === "effect") {
+            if (step.name !== actual.name) {
+                if (step.optional) {
+                    continue;
+                }
+                return mismatchResult(step, "SEQUENCE_NAME_MISMATCH", `First divergence at step ${step.stepId}: effect name mismatch.`, cursor, {
+                    expected: step.name,
+                    actual: actual.name
+                });
+            }
+            if (step.args !== undefined) {
+                const argsMatch = (0, value_1.matchValue)(step.args, actual.args, mutableContext, options, "args");
+                if (!argsMatch.ok) {
+                    return mismatchResult(step, "SEQUENCE_ARG_MISMATCH", `First divergence at step ${step.stepId}.`, cursor, {
+                        path: argsMatch.failure?.path,
+                        expected: argsMatch.failure?.expected,
+                        actual: argsMatch.failure?.actual
+                    });
+                }
+            }
+            if (step.result !== undefined) {
+                const resultMatch = (0, value_1.matchValue)(step.result, actual.result, mutableContext, options, "result");
+                if (!resultMatch.ok) {
+                    return mismatchResult(step, "SEQUENCE_RESULT_MISMATCH", `First divergence at step ${step.stepId}.`, cursor, {
+                        path: resultMatch.failure?.path,
+                        expected: resultMatch.failure?.expected,
+                        actual: resultMatch.failure?.actual
+                    });
+                }
+            }
+        }
+        if (step.kind === "emit" && actual.kind === "emit") {
+            if (step.event !== actual.event) {
+                if (step.optional) {
+                    continue;
+                }
+                return mismatchResult(step, "SEQUENCE_NAME_MISMATCH", `First divergence at step ${step.stepId}: event name mismatch.`, cursor, {
+                    expected: step.event,
+                    actual: actual.event
+                });
+            }
+            if (step.payload !== undefined) {
+                const payloadMatch = (0, value_1.matchValue)(step.payload, actual.payload, mutableContext, options, "payload");
+                if (!payloadMatch.ok) {
+                    return mismatchResult(step, "SEQUENCE_ARG_MISMATCH", `First divergence at step ${step.stepId}.`, cursor, {
+                        path: payloadMatch.failure?.path,
+                        expected: payloadMatch.failure?.expected,
+                        actual: payloadMatch.failure?.actual
+                    });
+                }
+            }
+        }
+        applyBindings(step, actual, vars);
+        cursor += 1;
+    }
+    return {
+        component: {
+            component: "sequence",
+            status: "CONFORMING",
+            code: "PASS",
+            message: "Sequence matches the approved contract."
+        },
+        vars
+    };
+}
+//# sourceMappingURL=sequence.js.map