@driftfence/core 0.1.0

package/dist/normalize/trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.js","sourceRoot":"","sources":["../../src/normalize/trace.ts"],"names":[],"mappings":";;AAmGA,wCAsBC;AAqCD,8CAgHC;AAED,kDAYC;AAED,gDAUC;AAhSD,4CAA8D;AAC9D,wCAA4E;AAC5E,wCAA0E;AAE1E,SAAS,UAAU,CAAC,IAAY,EAAE,OAA+B;IAC/D,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,SAAqD;IAErD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC;QACtB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,IAAA,sBAAe,EAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO,GAAG,CAAC;YACb,CAAC;YACD,OAAO,KAAK,CAAC;QACf,KAAK,WAAW;YACd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,wBAAe,CACvB,4DAA4D,EAC5D,mBAAU,CAAC,YAAY,CACxB,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrC,IAAA,sBAAe,EAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAA,sBAAe,EAAC,KAAK,CAAC,CAAC,CAC5D,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,IAAa,EACb,KAAe,EACf,SAAqD;IAErD,KAAK,MAAM,WAAW,IAAI,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,IAAA,cAAO,EAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAA,iBAAU,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAA,kBAAW,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC1D,IAAA,cAAO,EAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAI,KAAQ,EAAE,MAAgC;IACnE,MAAM,KAAK,GAAG,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC;IAC/B,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACnE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACnE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC/D,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,IAAgB,EAChB,MAAgC;IAEhC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,cAAc,CACnB;YACE,GAAG,IAAI;YACP,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpD,EACD,MAAM,CACP,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CACnB;QACE,GAAG,IAAI;QACP,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;KACpD,EACD,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAgB,cAAc,CAC5B,KAAgB,EAChB,MAAgC;IAEhC,OAAO;QACL,GAAG,KAAK;QACR,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC;QAC1C,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;YACjC,CAAC,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE;YAC5D,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7D,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;YAC5B,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;YAClD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;YAC3B,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;YAChD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAChC,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE;YAC1D,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAA,gBAAS,EAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA+B;IAE/B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAiB,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAC1C,GAAG;QACH,iBAAiB,CAAC,KAAqB,CAAC;KACzC,CAAC,CACa,CAAC;AACpB,CAAC;AAED,SAAgB,iBAAiB,CAC/B,QAA8B,EAC9B,MAAgC;IAEhC,OAAO;QACL,GAAG,QAAQ;QACX,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YAC7C,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAClE,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACpB,CAAC,CAAC;oBACE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;wBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACxC,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;wBAC3B,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;wBAC5C,CAAC,CAAC,EAAE,CAAC;iBACR;gBACH,CAAC,CAAC;oBACE,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;wBAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;wBAC9C,CAAC,CAAC,EAAE,CAAC;iBACR,CACN,CAAC;YACF,MAAM,oBAAoB,GAAG,cAAc,CACzC;gBACE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;oBACtC,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;oBACvD,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;oBACrC,CAAC,CAAC;wBACE,KAAK,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAqB,CAAC;qBAChE;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;oBAC1C,CAAC,CAAC,EAAE,UAAU,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;oBAC/D,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnE,EACD,MAAM,CAUP,CAAC;YAEF,OAAO;gBACL,GAAG,QAAQ;gBACX,MAAM,EAAE;oBACN,GAAG,QAAQ,CAAC,MAAM;oBAClB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;wBACxC,oBAAoB,CAAC,MAAM,KAAK,SAAS;wBACvC,CAAC,CAAC,EAAE,MAAM,EAAE,oBAAoB,CAAC,MAAM,EAAE;wBACzC,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;wBACvC,oBAAoB,CAAC,KAAK,KAAK,SAAS;wBACtC,CAAC,CAAC;4BACE,KAAK,EACH,oBAAoB,CAAC,KAAqC;yBAC7D;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;wBAC5C,oBAAoB,CAAC,UAAU,KAAK,SAAS;wBAC3C,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,CAAC,UAAU,EAAE;wBACjD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;wBACxC,CAAC,CAAC;4BACE,QAAQ,EAAE;gCACR,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ;gCAC3B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACxD,IAAI,CAAC,IAAI,KAAK,QAAQ;oCACpB,CAAC,CAAC;wCACE,GAAG,IAAI;wCACP,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;4CAC3B,oBAAoB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI;gDACvC,SAAS;4CACT,CAAC,CAAC;gDACE,IAAI,EAAE,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI;6CAC9C;4CACH,CAAC,CAAC,EAAE,CAAC;wCACP,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;4CAC7B,oBAAoB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM;gDACzC,SAAS;4CACT,CAAC,CAAC;gDACE,MAAM,EACJ,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM;6CAC5C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR;oCACH,CAAC,CAAC;wCACE,GAAG,IAAI;wCACP,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;4CAC9B,oBAAoB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO;gDAC1C,SAAS;4CACT,CAAC,CAAC;gDACE,OAAO,EACL,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO;6CAC7C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR,CACN;6BACF;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;iBACR;aACF,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAgB,mBAAmB,CACjC,YAA6E,EAC7E,eAEa;IAEb,OAAO;QACL,aAAa,EACX,eAAe,EAAE,aAAa,IAAI,YAAY,EAAE,aAAa,IAAI,IAAI;QACvE,YAAY,EACV,eAAe,EAAE,YAAY,IAAI,YAAY,EAAE,YAAY,IAAI,IAAI;KACtE,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAChC,KAAmB;IAEnB,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GACP,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/query/index.d.ts

@@ -0,0 +1,4 @@
+import type { LoadedContractFile, QueryOptions, QueryResponse } from "../types";
+export declare function queryContracts(contracts: LoadedContractFile[], options: QueryOptions): QueryResponse;
+export declare function renderQueryText(response: QueryResponse): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/query/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/query/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,kBAAkB,EAClB,YAAY,EACZ,aAAa,EAEd,MAAM,UAAU,CAAC;AAoBlB,wBAAgB,cAAc,CAC5B,SAAS,EAAE,kBAAkB,EAAE,EAC/B,OAAO,EAAE,YAAY,GACpB,aAAa,CAmEf;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAuB/D"}

package/dist/query/index.js

@@ -0,0 +1,96 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.queryContracts = queryContracts;
+exports.renderQueryText = renderQueryText;
+const picomatch_1 = __importDefault(require("picomatch"));
+function contractMatchesFiles(contract, files) {
+    if (contract.source?.entrypoint &&
+        files.includes(contract.source.entrypoint)) {
+        return true;
+    }
+    const patterns = contract.source?.files ?? [];
+    return patterns.some((pattern) => {
+        const matches = (0, picomatch_1.default)(pattern, { dot: true });
+        return files.some((file) => matches(file));
+    });
+}
+function queryContracts(contracts, options) {
+    const requestedContracts = options.contractIds
+        ? new Set(options.contractIds)
+        : undefined;
+    const results = [];
+    for (const contract of contracts) {
+        if (requestedContracts && !requestedContracts.has(contract.contractId)) {
+            continue;
+        }
+        if (!contractMatchesFiles(contract, options.files)) {
+            continue;
+        }
+        const scenarios = contract.scenarios
+            .filter((scenario) => scenario.lifecycle.state === "approved" ||
+            (options.includeDeprecated &&
+                scenario.lifecycle.state === "deprecated"))
+            .map((scenario) => ({
+            id: scenario.id,
+            precision: scenario.precision,
+            lifecycle: scenario.lifecycle.state === "deprecated"
+                ? "deprecated"
+                : "approved",
+            summary: scenario.expect.summary,
+            ...(scenario.expect.sequence
+                ? { sequence: scenario.expect.sequence }
+                : {}),
+            ...(scenario.expect.invariants
+                ? { invariants: scenario.expect.invariants }
+                : {})
+        }));
+        if (scenarios.length === 0) {
+            continue;
+        }
+        results.push({
+            contractId: contract.contractId,
+            ...(contract.displayName ? { displayName: contract.displayName } : {}),
+            owners: [...contract.owners],
+            ...(contract.boundaries ? { boundaries: [...contract.boundaries] } : {}),
+            ...(contract.source
+                ? {
+                    source: {
+                        ...(contract.source.entrypoint
+                            ? { entrypoint: contract.source.entrypoint }
+                            : {}),
+                        ...(contract.source.files
+                            ? { files: [...contract.source.files] }
+                            : {})
+                    }
+                }
+                : {}),
+            scenarios
+        });
+    }
+    return {
+        schemaVersion: "driftfence-query/v1",
+        results
+    };
+}
+function renderQueryText(response) {
+    if (response.results.length === 0) {
+        return "No matching approved contracts.";
+    }
+    const lines = [];
+    for (const result of response.results) {
+        lines.push(`${result.contractId}${result.displayName ? ` (${result.displayName})` : ""}`);
+        if (result.source?.entrypoint) {
+            lines.push(`  entrypoint: ${result.source.entrypoint}`);
+        }
+        if (result.source?.files && result.source.files.length > 0) {
+            lines.push(`  files: ${result.source.files.join(", ")}`);
+        }
+        lines.push(`  owners: ${result.owners.join(", ")}`);
+        lines.push(`  scenarios: ${result.scenarios.map((scenario) => `${scenario.id}[${scenario.precision}/${scenario.lifecycle}]`).join(", ")}`);
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=index.js.map

package/dist/query/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/query/index.ts"],"names":[],"mappings":";;;;;AA2BA,wCAsEC;AAED,0CAuBC;AA1HD,0DAAkC;AASlC,SAAS,oBAAoB,CAC3B,QAA4B,EAC5B,KAAe;IAEf,IACE,QAAQ,CAAC,MAAM,EAAE,UAAU;QAC3B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAC1C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC;IAC9C,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/B,MAAM,OAAO,GAAG,IAAA,mBAAS,EAAC,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,cAAc,CAC5B,SAA+B,EAC/B,OAAqB;IAErB,MAAM,kBAAkB,GAAG,OAAO,CAAC,WAAW;QAC5C,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAsB,EAAE,CAAC;IAEtC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,kBAAkB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QAED,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS;aACjC,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,SAAS,CAAC,KAAK,KAAK,UAAU;YACvC,CAAC,OAAO,CAAC,iBAAiB;gBACxB,QAAQ,CAAC,SAAS,CAAC,KAAK,KAAK,YAAY,CAAC,CAC/C;aACA,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAClB,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,SAAS,EACP,QAAQ,CAAC,SAAS,CAAC,KAAK,KAAK,YAAY;gBACvC,CAAC,CAAE,YAAsB;gBACzB,CAAC,CAAE,UAAoB;YAC3B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;YAChC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ;gBAC1B,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE;gBACxC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU;gBAC5B,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE;gBAC5C,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC,CAAC;QAEN,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC5B,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,QAAQ,CAAC,MAAM;gBACjB,CAAC,CAAC;oBACE,MAAM,EAAE;wBACN,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU;4BAC5B,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE;4BAC5C,CAAC,CAAC,EAAE,CAAC;wBACP,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK;4BACvB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;4BACvC,CAAC,CAAC,EAAE,CAAC;qBACR;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,aAAa,EAAE,qBAAqB;QACpC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAAC,QAAuB;IACrD,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9E,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CACR,gBAAgB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/H,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/report/check.d.ts

@@ -0,0 +1,3 @@
+import type { CheckExecution, CheckOptions, ResolvedDriftFenceConfig } from "../types";
+export declare function runCheck(config: ResolvedDriftFenceConfig, options?: CheckOptions): Promise<CheckExecution>;
+//# sourceMappingURL=check.d.ts.map

package/dist/report/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/report/check.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EACV,cAAc,EACd,YAAY,EAMZ,wBAAwB,EAGzB,MAAM,UAAU,CAAC;AA6SlB,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,wBAAwB,EAChC,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC,cAAc,CAAC,CAyNzB"}

package/dist/report/check.js

@@ -0,0 +1,347 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runCheck = runCheck;
+const node_path_1 = __importDefault(require("node:path"));
+const contracts_1 = require("../io/contracts");
+const suppressions_1 = require("../io/suppressions");
+const traces_1 = require("../io/traces");
+const value_1 = require("../match/value");
+const trace_1 = require("../normalize/trace");
+const errors_1 = require("../utils/errors");
+const json_1 = require("../utils/json");
+const order_1 = require("../utils/order");
+const files_1 = require("../io/files");
+const suppressions_2 = require("../io/suppressions");
+const render_1 = require("./render");
+const invariants_1 = require("../verify/invariants");
+const sequence_1 = require("../verify/sequence");
+const summary_1 = require("../verify/summary");
+const DETERMINISTIC_REPORT_GENERATED_AT = "1970-01-01T00:00:00.000Z";
+function componentPriority(status) {
+    switch (status) {
+        case "VIOLATING":
+            return 0;
+        case "WIDENING_REQUEST":
+            return 1;
+        case "NARROWING":
+            return 2;
+        case "SUPPRESSED":
+            return 3;
+        case "WARN":
+            return 4;
+        case "CONFORMING":
+        default:
+            return 5;
+    }
+}
+function buildContext(trace) {
+    return {
+        input: trace.input,
+        stateBefore: trace.stateBefore,
+        output: trace.output,
+        error: trace.error,
+        stateAfter: trace.stateAfter,
+        vars: {},
+        occurredCounts: (0, trace_1.countOccurredCalls)(trace.calls)
+    };
+}
+function createFirstDifferenceFromFailure(component, code, failure) {
+    if (!failure) {
+        return undefined;
+    }
+    return {
+        component,
+        code,
+        path: failure.path,
+        expected: failure.expected,
+        actual: failure.actual
+    };
+}
+function suppressComponents(contractId, scenarioId, components, suppressions) {
+    const suppressionIds = new Set();
+    const updatedComponents = components.map((component) => {
+        if (!["VIOLATING", "WIDENING_REQUEST", "NARROWING"].includes(component.status)) {
+            return component;
+        }
+        const matches = (0, suppressions_2.findMatchingSuppressions)(suppressions, {
+            contractId,
+            scenarioId,
+            component: component.component,
+            classification: component.status,
+            code: component.code,
+            name: component.name
+        });
+        if (matches.length === 0) {
+            return component;
+        }
+        for (const match of matches) {
+            suppressionIds.add(match.id);
+        }
+        return {
+            ...component,
+            status: "SUPPRESSED",
+            underlyingStatus: component.status,
+            code: "SUPPRESSED",
+            message: `${component.message} Suppressed by ${matches.map((match) => match.id).join(", ")}.`,
+            suppressionIds: matches.map((match) => match.id)
+        };
+    });
+    return {
+        components: updatedComponents.sort((left, right) => (0, order_1.compareComponentName)(left.component, right.component)),
+        suppressionIds: [...suppressionIds].sort((left, right) => left.localeCompare(right))
+    };
+}
+function deriveScenarioStatus(components) {
+    const relevant = [...components].sort((left, right) => componentPriority(left.status) - componentPriority(right.status));
+    const firstUnsuppressed = relevant.find((component) => ["VIOLATING", "WIDENING_REQUEST", "NARROWING"].includes(component.status));
+    if (firstUnsuppressed) {
+        return {
+            status: firstUnsuppressed.status
+        };
+    }
+    const firstSuppressed = relevant.find((component) => component.status === "SUPPRESSED");
+    if (firstSuppressed) {
+        return {
+            status: "SUPPRESSED",
+            underlyingStatus: firstSuppressed.underlyingStatus
+        };
+    }
+    return {
+        status: "CONFORMING"
+    };
+}
+function summarizeReport(report) {
+    return {
+        contracts: report.summary.contracts,
+        scenarios: report.results.length,
+        conforming: report.results.filter((result) => result.status === "CONFORMING").length,
+        wideningRequests: report.results.filter((result) => result.status === "WIDENING_REQUEST").length,
+        narrowings: report.results.filter((result) => result.status === "NARROWING")
+            .length,
+        violations: report.results.filter((result) => result.status === "VIOLATING")
+            .length,
+        suppressed: report.results.filter((result) => result.status === "SUPPRESSED").length,
+        missingTraces: report.results.filter((result) => result.status === "MISSING_TRACE").length,
+        orphanTraces: report.results.filter((result) => result.status === "ORPHAN_TRACE").length
+    };
+}
+function firstNonConformingComponent(components) {
+    return [...components]
+        .filter((component) => component.status !== "CONFORMING" && component.status !== "WARN")
+        .sort((left, right) => componentPriority(left.status) - componentPriority(right.status))[0];
+}
+function determineExitCode(report, config, mode) {
+    if (mode === "observe") {
+        return errors_1.EXIT_CODES.SUCCESS;
+    }
+    const failures = report.results.some((result) => {
+        switch (result.status) {
+            case "VIOLATING":
+                return config.check.failOn.violating;
+            case "WIDENING_REQUEST":
+                return config.check.failOn.wideningRequest;
+            case "MISSING_TRACE":
+                return config.check.failOn.missingTrace;
+            case "NARROWING":
+                return config.check.failOn.narrowing;
+            case "ORPHAN_TRACE":
+                return config.check.failOn.orphanTrace;
+            default:
+                return false;
+        }
+    });
+    return failures ? errors_1.EXIT_CODES.POLICY_FAILURE : errors_1.EXIT_CODES.SUCCESS;
+}
+function createMissingTraceResult(contract, scenario) {
+    return {
+        contractId: contract.contractId,
+        scenarioId: scenario.id,
+        lifecycle: scenario.lifecycle.state,
+        precision: scenario.precision,
+        status: "MISSING_TRACE",
+        message: `Missing trace for approved scenario ${scenario.id}.`,
+        components: []
+    };
+}
+function createOrphanTraceResult(trace) {
+    return {
+        contractId: trace.contractId,
+        scenarioId: trace.scenarioId,
+        lifecycle: "inferred",
+        precision: "summary",
+        status: "ORPHAN_TRACE",
+        message: "Trace has no matching approved scenario.",
+        components: [],
+        tracePath: trace.filePath
+    };
+}
+function suppressScenarioResult(result, suppressions) {
+    if (!["MISSING_TRACE", "ORPHAN_TRACE"].includes(result.status)) {
+        return result;
+    }
+    const matches = (0, suppressions_2.findMatchingSuppressions)(suppressions, {
+        contractId: result.contractId,
+        scenarioId: result.scenarioId,
+        classification: result.status
+    });
+    if (matches.length === 0) {
+        return result;
+    }
+    return {
+        ...result,
+        status: "SUPPRESSED",
+        underlyingStatus: result.status,
+        message: `${result.message} Suppressed by ${matches.map((match) => match.id).join(", ")}.`,
+        suppressionIds: matches.map((match) => match.id)
+    };
+}
+function scenarioResultMessage(status, components) {
+    if (status === "CONFORMING") {
+        return "Trace conforms to the approved contract.";
+    }
+    if (status === "SUPPRESSED") {
+        return "All non-conforming components were suppressed.";
+    }
+    const component = firstNonConformingComponent(components) ??
+        components.find((entry) => entry.status === "SUPPRESSED");
+    return component?.message ?? `Scenario status is ${status}.`;
+}
+function findScenario(contracts, contractId, scenarioId) {
+    return contracts.some((contract) => contract.contractId === contractId &&
+        contract.scenarios.some((scenario) => scenario.id === scenarioId && scenario.lifecycle.state === "approved"));
+}
+async function runCheck(config, options = {}) {
+    const mode = options.mode ?? config.mode;
+    const contracts = (await (0, contracts_1.loadContracts)(config.paths.contracts, "approved")).map((contract) => ({
+        ...(0, trace_1.normalizeContract)(contract, config),
+        filePath: contract.filePath
+    }));
+    const suppressions = await (0, suppressions_1.loadSuppressions)(config.paths.suppressions);
+    const traces = (await (0, traces_1.loadTraces)(config.paths.traces)).map((trace) => (0, trace_1.normalizeTrace)(trace, config));
+    const traceMap = new Map(traces.map((trace) => [`${trace.contractId}::${trace.scenarioId}`, trace]));
+    const results = [];
+    for (const contract of contracts) {
+        for (const scenario of contract.scenarios.filter((entry) => entry.lifecycle.state === "approved")) {
+            const trace = traceMap.get(`${contract.contractId}::${scenario.id}`);
+            if (!trace) {
+                results.push(suppressScenarioResult(createMissingTraceResult(contract, scenario), suppressions));
+                continue;
+            }
+            const optionsForScenario = (0, trace_1.resolveMatchOptions)(contract.defaults, scenario.options);
+            const context = buildContext(trace);
+            const summaryComponents = (0, summary_1.compareSummary)(scenario.expect, trace);
+            const sequenceResult = scenario.precision === "sequence" && scenario.expect.sequence
+                ? (0, sequence_1.verifySequence)(scenario.expect.sequence, trace, context, optionsForScenario, scenario.expect.summary.allowExtraEffects ?? [], scenario.expect.summary.allowExtraEmits ?? [])
+                : undefined;
+            if (sequenceResult) {
+                context.vars = sequenceResult.vars;
+            }
+            const outputDiff = scenario.expect.output
+                ? (0, value_1.matchValue)(scenario.expect.output, trace.output, context, optionsForScenario, "output").failure
+                : undefined;
+            const errorDiff = scenario.expect.error
+                ? (0, value_1.matchErrorExpectation)(scenario.expect.error, trace.error, context, optionsForScenario).failure
+                : undefined;
+            const stateAfterDiff = scenario.expect.stateAfter
+                ? (0, value_1.matchValue)(scenario.expect.stateAfter, trace.stateAfter, context, optionsForScenario, "stateAfter").failure
+                : undefined;
+            const outputComponents = (0, summary_1.compareOutput)(scenario.expect, trace, context, optionsForScenario);
+            const invariantComponents = scenario.precision === "sequence"
+                ? (0, invariants_1.evaluateInvariants)(scenario.expect.invariants, context)
+                : [];
+            const allComponents = [
+                ...summaryComponents,
+                ...(sequenceResult ? [sequenceResult.component] : []),
+                ...outputComponents,
+                ...invariantComponents
+            ].sort((left, right) => (0, order_1.compareComponentName)(left.component, right.component));
+            const suppressed = suppressComponents(contract.contractId, scenario.id, allComponents, suppressions);
+            const status = deriveScenarioStatus(suppressed.components);
+            const failingComponent = firstNonConformingComponent(allComponents);
+            results.push({
+                contractId: contract.contractId,
+                scenarioId: scenario.id,
+                lifecycle: scenario.lifecycle.state,
+                precision: scenario.precision,
+                status: status.status,
+                ...(status.underlyingStatus
+                    ? { underlyingStatus: status.underlyingStatus }
+                    : {}),
+                message: scenarioResultMessage(status.status, suppressed.components),
+                components: suppressed.components,
+                ...(suppressed.suppressionIds.length > 0
+                    ? { suppressionIds: suppressed.suppressionIds }
+                    : {}),
+                ...(trace.filePath ? { tracePath: trace.filePath } : {}),
+                ...(sequenceResult?.firstDifference
+                    ? { firstDifference: sequenceResult.firstDifference }
+                    : failingComponent?.component === "output"
+                        ? {
+                            firstDifference: createFirstDifferenceFromFailure("output", "OUTPUT_MISMATCH", outputDiff)
+                        }
+                        : failingComponent?.component === "error"
+                            ? {
+                                firstDifference: createFirstDifferenceFromFailure("error", "ERROR_MISMATCH", errorDiff)
+                            }
+                            : failingComponent?.component === "stateAfter"
+                                ? {
+                                    firstDifference: createFirstDifferenceFromFailure("stateAfter", "STATE_AFTER_MISMATCH", stateAfterDiff)
+                                }
+                                : {})
+            });
+        }
+    }
+    for (const trace of traces) {
+        if (!findScenario(contracts, trace.contractId, trace.scenarioId)) {
+            results.push(suppressScenarioResult(createOrphanTraceResult(trace), suppressions));
+        }
+    }
+    results.sort((left, right) => {
+        const contractCompare = left.contractId.localeCompare(right.contractId);
+        return contractCompare !== 0
+            ? contractCompare
+            : left.scenarioId.localeCompare(right.scenarioId);
+    });
+    const report = {
+        schemaVersion: "driftfence-report/v2",
+        mode,
+        // Keep report bytes stable across identical inputs as required by the spec.
+        generatedAt: DETERMINISTIC_REPORT_GENERATED_AT,
+        summary: {
+            contracts: contracts.length,
+            scenarios: results.length,
+            conforming: 0,
+            wideningRequests: 0,
+            narrowings: 0,
+            violations: 0,
+            suppressed: 0,
+            missingTraces: 0,
+            orphanTraces: 0
+        },
+        results
+    };
+    report.summary = summarizeReport(report);
+    const exitCode = determineExitCode(report, config, mode);
+    const reportPath = options.reportJsonPath ??
+        node_path_1.default.join(config.paths.reports, "check-report.json");
+    const markdownPath = options.reportMarkdownPath ??
+        node_path_1.default.join(config.paths.reports, "check-report.md");
+    const markdown = (0, render_1.renderMarkdownReport)(report, {
+        maxInlineScenarios: config.check.maxInlineScenarios,
+        marker: config.github.commentMarker,
+        overallStatus: exitCode === errors_1.EXIT_CODES.SUCCESS ? "passing" : "failing"
+    });
+    await (0, files_1.writeFileAtomic)(reportPath, `${(0, json_1.stableStringify)(report)}\n`);
+    await (0, files_1.writeFileAtomic)(markdownPath, `${markdown}\n`);
+    return {
+        report,
+        markdown,
+        exitCode,
+        reportPath,
+        markdownPath
+    };
+}
+//# sourceMappingURL=check.js.map

package/dist/report/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/report/check.ts"],"names":[],"mappings":";;;;;AAoUA,4BA4NC;AAhiBD,0DAA6B;AAE7B,+CAAgD;AAChD,qDAAsD;AACtD,yCAA0C;AAC1C,0CAAmE;AACnE,8CAK4B;AAa5B,4CAA6C;AAC7C,wCAAgD;AAChD,0CAAsD;AACtD,uCAA8C;AAC9C,qDAA8D;AAC9D,qCAAgD;AAChD,qDAA0D;AAC1D,iDAAoD;AACpD,+CAAkE;AAElE,MAAM,iCAAiC,GAAG,0BAA0B,CAAC;AAErE,SAAS,iBAAiB,CAAC,MAAiC;IAC1D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX,KAAK,kBAAkB;YACrB,OAAO,CAAC,CAAC;QACX,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX,KAAK,YAAY;YACf,OAAO,CAAC,CAAC;QACX,KAAK,MAAM;YACT,OAAO,CAAC,CAAC;QACX,KAAK,YAAY,CAAC;QAClB;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAsB;IAC1C,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,IAAA,0BAAkB,EAAC,KAAK,CAAC,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CACvC,SAAuC,EACvC,IAA6B,EAC7B,OAAyE;IAEzE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,SAAS;QACT,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAkB,EAClB,UAAkB,EAClB,UAA6B,EAC7B,YAA0D;IAE1D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,iBAAiB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QACrD,IACE,CAAC,CAAC,WAAW,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EAC1E,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,OAAO,GAAG,IAAA,uCAAwB,EAAC,YAAY,EAAE;YACrD,UAAU;YACV,UAAU;YACV,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,cAAc,EAAE,SAAS,CAAC,MAAM;YAChC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC,CAAC;QAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/B,CAAC;QAED,OAAO;YACL,GAAG,SAAS;YACZ,MAAM,EAAE,YAAqB;YAC7B,gBAAgB,EAAE,SAAS,CAAC,MAA6C;YACzE,IAAI,EAAE,YAAqB;YAC3B,OAAO,EAAE,GAAG,SAAS,CAAC,OAAO,kBAAkB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC7F,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;SACjD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACjD,IAAA,4BAAoB,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CACtD;QACD,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACvD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC1B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,UAA6B;IAIzD,MAAM,QAAQ,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,CACnE,CAAC;IACF,MAAM,iBAAiB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACpD,CAAC,WAAW,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAC1E,CAAC;IACF,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,iBAAiB,CAAC,MAAwB;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,YAAY,CACjD,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,gBAAgB,EAAE,eAAe,CAAC,gBAAgB;SACnD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,YAAY;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAAmB;IAC1C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS;QACnC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;QAChC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,CAC3C,CAAC,MAAM;QACR,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CACrC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,kBAAkB,CACjD,CAAC,MAAM;QACR,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC;aACzE,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC;aACzE,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,CAC3C,CAAC,MAAM;QACR,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,eAAe,CAC9C,CAAC,MAAM;QACR,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CACjC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,cAAc,CAC7C,CAAC,MAAM;KACT,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,UAA6B;IAE7B,OAAO,CAAC,GAAG,UAAU,CAAC;SACnB,MAAM,CACL,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,MAAM,KAAK,YAAY,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CACnE;SACA,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,CACnE,CAAC,CAAC,CAAC,CAAC;AACT,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAmB,EACnB,MAAgC,EAChC,IAA2B;IAE3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,mBAAU,CAAC,OAAO,CAAC;IAC5B,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,WAAW;gBACd,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;YACvC,KAAK,kBAAkB;gBACrB,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC;YAC7C,KAAK,eAAe;gBAClB,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC;YAC1C,KAAK,WAAW;gBACd,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;YACvC,KAAK,cAAc;gBACjB,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC;YACzC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC,CAAC,CAAC,mBAAU,CAAC,cAAc,CAAC,CAAC,CAAC,mBAAU,CAAC,OAAO,CAAC;AACnE,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAA4B,EAC5B,QAAiD;IAEjD,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;QACnC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uCAAuC,QAAQ,CAAC,EAAE,GAAG;QAC9D,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB;IACrD,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,UAAU;QACrB,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,cAAc;QACtB,OAAO,EAAE,0CAA0C;QACnD,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,KAAK,CAAC,QAAQ;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAA2B,EAC3B,YAA0D;IAE1D,IAAI,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/D,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,uCAAwB,EAAC,YAAY,EAAE;QACrD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,MAAM;KAC9B,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,MAAM,EAAE,YAAY;QACpB,gBAAgB,EAAE,MAAM,CAAC,MAAiD;QAC1E,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,kBAAkB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC1F,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAsB,EACtB,UAA6B;IAE7B,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QAC5B,OAAO,0CAA0C,CAAC;IACpD,CAAC;IAED,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QAC5B,OAAO,gDAAgD,CAAC;IAC1D,CAAC;IAED,MAAM,SAAS,GACb,2BAA2B,CAAC,UAAU,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;IAC5D,OAAO,SAAS,EAAE,OAAO,IAAI,sBAAsB,MAAM,GAAG,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CACnB,SAA+B,EAC/B,UAAkB,EAClB,UAAkB;IAElB,OAAO,SAAS,CAAC,IAAI,CACnB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,UAAU,KAAK,UAAU;QAClC,QAAQ,CAAC,SAAS,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,EAAE,KAAK,UAAU,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,KAAK,UAAU,CACxE,CACJ,CAAC;AACJ,CAAC;AAEM,KAAK,UAAU,QAAQ,CAC5B,MAAgC,EAChC,UAAwB,EAAE;IAE1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC;IACzC,MAAM,SAAS,GAAG,CAChB,MAAM,IAAA,yBAAa,EAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CACxD,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnB,GAAG,IAAA,yBAAiB,EAAC,QAAQ,EAAE,MAAM,CAAC;QACtC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC,CAAyB,CAAC;IAC5B,MAAM,YAAY,GAAG,MAAM,IAAA,+BAAgB,EAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,CAAC,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CACxD,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,MAAM,CAAoB,CAC5D,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,GAAG,CACR,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,EAAE,KAAK,CAAU,CACxE,CACF,CAAC;IACF,MAAM,OAAO,GAA0B,EAAE,CAAC;IAE1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,CAC9C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,UAAU,CAChD,EAAE,CAAC;YACF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YACrE,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CACV,sBAAsB,CACpB,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC5C,YAAY,CACb,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,kBAAkB,GAAG,IAAA,2BAAmB,EAC5C,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,OAAO,CACjB,CAAC;YACF,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,iBAAiB,GAAG,IAAA,wBAAc,EAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAEjE,MAAM,cAAc,GAClB,QAAQ,CAAC,SAAS,KAAK,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,QAAQ;gBAC3D,CAAC,CAAC,IAAA,yBAAc,EACZ,QAAQ,CAAC,MAAM,CAAC,QAAQ,EACxB,KAAK,EACL,OAAO,EACP,kBAAkB,EAClB,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,EAC/C,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAC9C;gBACH,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,CAAC,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC;YACrC,CAAC;YAED,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM;gBACvC,CAAC,CAAC,IAAA,kBAAU,EACR,QAAQ,CAAC,MAAM,CAAC,MAAM,EACtB,KAAK,CAAC,MAAM,EACZ,OAAO,EACP,kBAAkB,EAClB,QAAQ,CACT,CAAC,OAAO;gBACX,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK;gBACrC,CAAC,CAAC,IAAA,6BAAqB,EACnB,QAAQ,CAAC,MAAM,CAAC,KAAK,EACrB,KAAK,CAAC,KAAK,EACX,OAAO,EACP,kBAAkB,CACnB,CAAC,OAAO;gBACX,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU;gBAC/C,CAAC,CAAC,IAAA,kBAAU,EACR,QAAQ,CAAC,MAAM,CAAC,UAAU,EAC1B,KAAK,CAAC,UAAU,EAChB,OAAO,EACP,kBAAkB,EAClB,YAAY,CACb,CAAC,OAAO;gBACX,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,gBAAgB,GAAG,IAAA,uBAAa,EACpC,QAAQ,CAAC,MAAM,EACf,KAAK,EACL,OAAO,EACP,kBAAkB,CACnB,CAAC;YAEF,MAAM,mBAAmB,GACvB,QAAQ,CAAC,SAAS,KAAK,UAAU;gBAC/B,CAAC,CAAC,IAAA,+BAAkB,EAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;gBACzD,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,aAAa,GAAG;gBACpB,GAAG,iBAAiB;gBACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,gBAAgB;gBACnB,GAAG,mBAAmB;aACvB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrB,IAAA,4BAAoB,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CACtD,CAAC;YAEF,MAAM,UAAU,GAAG,kBAAkB,CACnC,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,EAAE,EACX,aAAa,EACb,YAAY,CACb,CAAC;YACF,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC3D,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,aAAa,CAAC,CAAC;YAEpE,OAAO,CAAC,IAAI,CAAC;gBACX,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;gBACnC,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,GAAG,CAAC,MAAM,CAAC,gBAAgB;oBACzB,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE;oBAC/C,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,EAAE,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;gBACpE,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;oBACtC,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,CAAC,cAAc,EAAE;oBAC/C,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,GAAG,CAAC,cAAc,EAAE,eAAe;oBACjC,CAAC,CAAC,EAAE,eAAe,EAAE,cAAc,CAAC,eAAe,EAAE;oBACrD,CAAC,CAAC,gBAAgB,EAAE,SAAS,KAAK,QAAQ;wBACxC,CAAC,CAAC;4BACE,eAAe,EAAE,gCAAgC,CAC/C,QAAQ,EACR,iBAAiB,EACjB,UAAU,CACX;yBACF;wBACH,CAAC,CAAC,gBAAgB,EAAE,SAAS,KAAK,OAAO;4BACvC,CAAC,CAAC;gCACE,eAAe,EAAE,gCAAgC,CAC/C,OAAO,EACP,gBAAgB,EAChB,SAAS,CACV;6BACF;4BACH,CAAC,CAAC,gBAAgB,EAAE,SAAS,KAAK,YAAY;gCAC5C,CAAC,CAAC;oCACE,eAAe,EAAE,gCAAgC,CAC/C,YAAY,EACZ,sBAAsB,EACtB,cAAc,CACf;iCACF;gCACH,CAAC,CAAC,EAAE,CAAC;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACjE,OAAO,CAAC,IAAI,CACV,sBAAsB,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC3B,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxE,OAAO,eAAe,KAAK,CAAC;YAC1B,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAgB;QAC1B,aAAa,EAAE,sBAAsB;QACrC,IAAI;QACJ,4EAA4E;QAC5E,WAAW,EAAE,iCAAiC;QAC9C,OAAO,EAAE;YACP,SAAS,EAAE,SAAS,CAAC,MAAM;YAC3B,SAAS,EAAE,OAAO,CAAC,MAAM;YACzB,UAAU,EAAE,CAAC;YACb,gBAAgB,EAAE,CAAC;YACnB,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,CAAC;YACb,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,CAAC;SAChB;QACD,OAAO;KACR,CAAC;IACF,MAAM,CAAC,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAEzD,MAAM,UAAU,GACd,OAAO,CAAC,cAAc;QACtB,mBAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IACvD,MAAM,YAAY,GAChB,OAAO,CAAC,kBAAkB;QAC1B,mBAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,IAAA,6BAAoB,EAAC,MAAM,EAAE;QAC5C,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB;QACnD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,QAAQ,KAAK,mBAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;KACvE,CAAC,CAAC;IAEH,MAAM,IAAA,uBAAe,EAAC,UAAU,EAAE,GAAG,IAAA,sBAAe,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,IAAA,uBAAe,EAAC,YAAY,EAAE,GAAG,QAAQ,IAAI,CAAC,CAAC;IAErD,OAAO;QACL,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/report/render.d.ts

@@ -0,0 +1,11 @@
+import type { CheckReport } from "../types";
+export declare function renderMarkdownReport(report: CheckReport, options: {
+    maxInlineScenarios: number;
+    marker?: string;
+    artifactLabel?: string;
+    overallStatus?: "passing" | "failing";
+}): string;
+export declare function renderCheckText(report: CheckReport, options?: {
+    overallStatus?: "passing" | "failing";
+}): string;
+//# sourceMappingURL=render.d.ts.map

package/dist/report/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/report/render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAuB,MAAM,UAAU,CAAC;AAqEjE,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE;IACP,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;CACvC,GACA,MAAM,CAiCR;AAED,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,EACnB,OAAO,GAAE;IAAE,aAAa,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;CAAO,GACtD,MAAM,CA0BR"}

package/dist/report/render.js

@@ -0,0 +1,99 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderMarkdownReport = renderMarkdownReport;
+exports.renderCheckText = renderCheckText;
+function resolveOverallStatus(report, overallStatus) {
+    if (overallStatus) {
+        return overallStatus;
+    }
+    return report.summary.violations > 0 ||
+        report.summary.wideningRequests > 0 ||
+        report.summary.missingTraces > 0
+        ? "failing"
+        : "passing";
+}
+function renderScenarioBlock(result) {
+    const lines = [`### ${result.contractId} \u203a ${result.scenarioId}`];
+    lines.push(`Status: ${result.status}  `);
+    lines.push(`Precision: ${result.precision}  `);
+    lines.push(`Message: ${result.message}`);
+    if (result.firstDifference) {
+        if (result.firstDifference.expectedStepId) {
+            lines.push(`Expected step: \`${result.firstDifference.expectedStepId}\`  `);
+        }
+        if (result.firstDifference.actualCallIndex !== undefined) {
+            lines.push(`Actual call index: \`${String(result.firstDifference.actualCallIndex)}\`  `);
+        }
+        if (result.firstDifference.path) {
+            lines.push(`Expected path: \`${result.firstDifference.path}\`  `);
+        }
+        if ("expected" in result.firstDifference) {
+            lines.push(`Expected: \`${JSON.stringify(result.firstDifference.expected)}\`  `);
+        }
+        if ("actual" in result.firstDifference) {
+            lines.push(`Actual: \`${JSON.stringify(result.firstDifference.actual)}\``);
+        }
+    }
+    for (const component of result.components) {
+        if (component.added && component.added.length > 0) {
+            lines.push(`Added ${component.component}: \`${component.added.join("`, `")}\``);
+        }
+        if (component.removed && component.removed.length > 0) {
+            lines.push(`Removed ${component.component}: \`${component.removed.join("`, `")}\``);
+        }
+    }
+    if (result.suppressionIds && result.suppressionIds.length > 0) {
+        lines.push(`Suppressions: \`${result.suppressionIds.join("`, `")}\``);
+    }
+    return lines;
+}
+function renderMarkdownReport(report, options) {
+    const overallStatus = resolveOverallStatus(report, options.overallStatus);
+    const lines = [
+        "## DriftFence",
+        "",
+        `Status: ${overallStatus}`,
+        "",
+        `- Conforming: ${report.summary.conforming}`,
+        `- Widening requests: ${report.summary.wideningRequests}`,
+        `- Narrowings: ${report.summary.narrowings}`,
+        `- Violations: ${report.summary.violations}`,
+        `- Suppressed: ${report.summary.suppressed}`,
+        `- Missing traces: ${report.summary.missingTraces}`,
+        `- Orphan traces: ${report.summary.orphanTraces}`
+    ];
+    if (options.artifactLabel) {
+        lines.push(`- Artifacts: ${options.artifactLabel}`);
+    }
+    const nonConforming = report.results.filter((result) => result.status !== "CONFORMING");
+    for (const result of nonConforming.slice(0, options.maxInlineScenarios)) {
+        lines.push("");
+        lines.push(...renderScenarioBlock(result));
+    }
+    if (options.marker) {
+        lines.push("", options.marker);
+    }
+    return lines.join("\n");
+}
+function renderCheckText(report, options = {}) {
+    const overallStatus = resolveOverallStatus(report, options.overallStatus);
+    const lines = [
+        `DriftFence ${overallStatus}`,
+        `Conforming: ${report.summary.conforming}`,
+        `Widening requests: ${report.summary.wideningRequests}`,
+        `Narrowings: ${report.summary.narrowings}`,
+        `Violations: ${report.summary.violations}`,
+        `Suppressed: ${report.summary.suppressed}`,
+        `Missing traces: ${report.summary.missingTraces}`,
+        `Orphan traces: ${report.summary.orphanTraces}`
+    ];
+    const issues = report.results.filter((result) => result.status !== "CONFORMING");
+    if (issues.length > 0) {
+        lines.push("", "Scenarios:");
+        for (const issue of issues) {
+            lines.push(`- ${issue.contractId} / ${issue.scenarioId}: ${issue.status} - ${issue.message}`);
+        }
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=render.js.map

package/dist/report/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/report/render.ts"],"names":[],"mappings":";;AAqEA,oDAyCC;AAED,0CA6BC;AA3ID,SAAS,oBAAoB,CAC3B,MAAmB,EACnB,aAAqC;IAErC,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,gBAAgB,GAAG,CAAC;QACnC,MAAM,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC;QAChC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA2B;IACtD,MAAM,KAAK,GAAG,CAAC,OAAO,MAAM,CAAC,UAAU,WAAW,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAEzC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,eAAe,CAAC,cAAc,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CACR,oBAAoB,MAAM,CAAC,eAAe,CAAC,cAAc,MAAM,CAChE,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,eAAe,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CACR,wBAAwB,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,eAAe,CAAC,MAAM,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,oBAAoB,MAAM,CAAC,eAAe,CAAC,IAAI,MAAM,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,UAAU,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CACR,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CACrE,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CACR,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAC/D,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,KAAK,CAAC,IAAI,CACR,SAAS,SAAS,CAAC,SAAS,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CACpE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CACR,WAAW,SAAS,CAAC,SAAS,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,oBAAoB,CAClC,MAAmB,EACnB,OAKC;IAED,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG;QACZ,eAAe;QACf,EAAE;QACF,WAAW,aAAa,EAAE;QAC1B,EAAE;QACF,iBAAiB,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC5C,wBAAwB,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE;QACzD,iBAAiB,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC5C,iBAAiB,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC5C,iBAAiB,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC5C,qBAAqB,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE;QACnD,oBAAoB,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;KAClD,CAAC;IAEF,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACzC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,CAC3C,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,eAAe,CAC7B,MAAmB,EACnB,UAAqD,EAAE;IAEvD,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG;QACZ,cAAc,aAAa,EAAE;QAC7B,eAAe,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC1C,sBAAsB,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE;QACvD,eAAe,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC1C,eAAe,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC1C,eAAe,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAC1C,mBAAmB,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE;QACjD,kBAAkB,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;KAChD,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,CAC3C,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACR,KAAK,KAAK,CAAC,UAAU,MAAM,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,OAAO,EAAE,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}