@driftfence/core 0.1.0

package/LICENSE

@@ -0,0 +1,81 @@
+Business Source License 1.1
+
+Licensor: Austin Young
+
+Licensed Work: DriftFence
+
+Additional Use Grant: None
+
+Change Date: 2030-03-16
+
+Change License: GPL Version 2.0 or later
+
+For each version of the Licensed Work released under this License, the Change
+Date is the earlier of the date above or the fourth anniversary of the first
+publicly available distribution of that version.
+
+License text copyright (c) 2017 MariaDB Corporation Ab, All Rights Reserved.
+"Business Source License" is a trademark of MariaDB Corporation Ab.
+
+Terms
+
+The Licensor hereby grants you the right to copy, modify, create derivative
+works, redistribute, and make non-production use of the Licensed Work. The
+Licensor may make an Additional Use Grant, above, permitting limited production
+use.
+
+Effective on the Change Date, or the fourth anniversary of the first publicly
+available distribution of a specific version of the Licensed Work under this
+License, whichever comes first, the Licensor hereby grants you rights under the
+terms of the Change License, and the rights granted in the paragraph above
+terminate.
+
+If your use of the Licensed Work does not comply with the requirements
+currently in effect as described in this License, you must purchase a
+commercial license from the Licensor, its affiliated entities, or authorized
+resellers, or you must refrain from using the Licensed Work.
+
+All copies of the original and modified Licensed Work, and derivative works of
+the Licensed Work, are subject to this License. This License applies separately
+for each version of the Licensed Work and the Change Date may vary for each
+version of the Licensed Work released by Licensor.
+
+You must conspicuously display this License on each original or modified copy
+of the Licensed Work. If you receive the Licensed Work in original or modified
+form from a third party, the terms and conditions set forth in this License
+apply to your use of that work.
+
+Any use of the Licensed Work in violation of this License will automatically
+terminate your rights under this License for the current and all other versions
+of the Licensed Work.
+
+This License does not grant you any right in any trademark or logo of Licensor
+or its affiliates (provided that you may use a trademark or logo of Licensor as
+expressly required by this License).
+
+TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE LICENSED WORK IS PROVIDED ON AN
+"AS IS" BASIS. LICENSOR HEREBY DISCLAIMS ALL WARRANTIES AND CONDITIONS, EXPRESS
+OR IMPLIED, INCLUDING (WITHOUT LIMITATION) WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, AND TITLE.
+
+MariaDB hereby grants you permission to use this License's text to license your
+works, and to refer to it using the trademark "Business Source License", as
+long as you comply with the Covenants of Licensor below.
+
+Covenants of Licensor
+
+In consideration of the right to use this License's text and the "Business
+Source License" name and trademark, Licensor covenants to MariaDB, and to all
+other recipients of the licensed work to be provided by Licensor:
+
+1. To specify as the Change License the GPL Version 2.0 or any later version,
+   or a license that is compatible with GPL Version 2.0 or a later version,
+   where "compatible" means that software provided under the Change License can
+   be included in a program with software provided under GPL Version 2.0 or a
+   later version. Licensor may specify additional Change Licenses without
+   limitation.
+2. To either: (a) specify an additional grant of rights to use that does not
+   impose any additional restriction on the right granted in this License, as
+   the Additional Use Grant; or (b) insert the text "None".
+3. To specify a Change Date.
+4. Not to modify this License in any other way.

package/README.md

@@ -0,0 +1,36 @@
+# @driftfence/core
+
+Core schemas, loaders, normalization, matching, checking, querying, and report rendering for DriftFence.
+
+Install:
+
+```bash
+npm install @driftfence/core
+```
+
+Minimum Node version:
+
+- `>=20.19.0`
+
+Usage:
+
+```js
+const { getSchemaJson } = require("@driftfence/core");
+
+console.log(getSchemaJson("config").properties.schemaVersion.const);
+```
+
+See the root docs and adoption guide:
+
+- [DriftFence README](https://github.com/austindyoung/DriftFenceV2#readme)
+
+Licensing:
+
+- published for public installation and evaluation under `BUSL-1.1`
+- production use before the change date requires a commercial license
+- see [LICENSE](https://github.com/austindyoung/DriftFenceV2/blob/main/LICENSE), [Terms](https://www.driftfence.dev/terms.html), and [Pricing](https://www.driftfence.dev/pricing.html)
+
+Repository and issues:
+
+- [Repository](https://github.com/austindyoung/DriftFenceV2)
+- [Issues](https://github.com/austindyoung/DriftFenceV2/issues)

package/dist/draft/scenario.d.ts

@@ -0,0 +1,3 @@
+import type { ContractScenario, TraceFile } from "../types";
+export declare function draftScenarioFromTrace(trace: TraceFile, precision: "summary" | "sequence"): ContractScenario;
+//# sourceMappingURL=scenario.d.ts.map

package/dist/draft/scenario.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenario.d.ts","sourceRoot":"","sources":["../../src/draft/scenario.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAEhB,SAAS,EAEV,MAAM,UAAU,CAAC;AAkLlB,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,SAAS,GAAG,UAAU,GAChC,gBAAgB,CAqJlB"}

package/dist/draft/scenario.js

@@ -0,0 +1,207 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.draftScenarioFromTrace = draftScenarioFromTrace;
+const json_1 = require("../utils/json");
+function collectNodePaths(value, basePath = "") {
+    const paths = basePath ? [{ path: basePath, value }] : [{ path: "", value }];
+    if (value === null || typeof value !== "object") {
+        return paths;
+    }
+    if (Array.isArray(value)) {
+        return [
+            ...paths,
+            ...value.flatMap((item, index) => collectNodePaths(item, `${basePath}[${index}]`))
+        ];
+    }
+    return [
+        ...paths,
+        ...Object.entries(value).flatMap(([key, child]) => collectNodePaths(child, basePath ? `${basePath}.${key}` : key))
+    ];
+}
+function bindingName(stepId, sourceRoot, sourcePath) {
+    const normalizedPath = sourcePath
+        .replace(/[.[\]]+/g, "_")
+        .replace(/^_+|_+$/g, "");
+    return normalizedPath.length > 0
+        ? `${stepId}_${sourceRoot}_${normalizedPath}`
+        : `${stepId}_${sourceRoot}`;
+}
+function buildReference(value, input, stateBefore, previousStepCandidates) {
+    const inputMatches = collectNodePaths(input)
+        .filter((candidate) => (0, json_1.deepEqual)(candidate.value, value))
+        .map((candidate) => candidate.path)
+        .filter((candidate) => candidate.length > 0 || (0, json_1.deepEqual)(input, value));
+    if (inputMatches.length === 1) {
+        return {
+            matcher: {
+                $from: inputMatches[0] === "" ? "input" : `input.${inputMatches[0]}`
+            }
+        };
+    }
+    const stateBeforeMatches = collectNodePaths(stateBefore)
+        .filter((candidate) => (0, json_1.deepEqual)(candidate.value, value))
+        .map((candidate) => candidate.path)
+        .filter((candidate) => candidate.length > 0 || (0, json_1.deepEqual)(stateBefore, value));
+    if (stateBeforeMatches.length === 1) {
+        return {
+            matcher: {
+                $from: stateBeforeMatches[0] === ""
+                    ? "stateBefore"
+                    : `stateBefore.${stateBeforeMatches[0]}`
+            }
+        };
+    }
+    const variableMatches = previousStepCandidates.filter((candidate) => (0, json_1.deepEqual)(candidate.value, value));
+    if (variableMatches.length === 1) {
+        return { bindTarget: variableMatches[0] };
+    }
+    return {};
+}
+function generalizeValue(value, input, stateBefore, previousStepCandidates) {
+    const reference = buildReference(value, input, stateBefore, previousStepCandidates);
+    if (reference.matcher !== undefined) {
+        return reference.matcher;
+    }
+    if (reference.bindTarget) {
+        const bindTarget = reference.bindTarget;
+        bindTarget.step.bind ??= {};
+        const name = bindingName(bindTarget.step.stepId, bindTarget.sourceRoot, bindTarget.sourcePath);
+        bindTarget.step.bind[name] =
+            bindTarget.sourcePath.length > 0
+                ? `${bindTarget.sourceRoot}.${bindTarget.sourcePath}`
+                : bindTarget.sourceRoot;
+        return { $from: `vars.${name}` };
+    }
+    if (value === null || typeof value !== "object") {
+        return value;
+    }
+    if (Array.isArray(value)) {
+        return value.map((item) => generalizeValue(item, input, stateBefore, previousStepCandidates));
+    }
+    return Object.fromEntries(Object.entries(value).map(([key, child]) => [
+        key,
+        generalizeValue(child, input, stateBefore, previousStepCandidates)
+    ]));
+}
+function collectStepCandidates(step, call) {
+    if (step.kind === "effect" && call.kind === "effect") {
+        return [
+            ...collectNodePaths(call.args).map((candidate) => ({
+                step,
+                sourceRoot: "args",
+                sourcePath: candidate.path,
+                value: candidate.value
+            })),
+            ...collectNodePaths(call.result).map((candidate) => ({
+                step,
+                sourceRoot: "result",
+                sourcePath: candidate.path,
+                value: candidate.value
+            }))
+        ];
+    }
+    if (step.kind === "emit" && call.kind === "emit") {
+        return collectNodePaths(call.payload).map((candidate) => ({
+            step,
+            sourceRoot: "payload",
+            sourcePath: candidate.path,
+            value: candidate.value
+        }));
+    }
+    return [];
+}
+function draftScenarioFromTrace(trace, precision) {
+    const summaryEffects = Array.from(new Set(trace.calls
+        .filter((call) => call.kind === "effect")
+        .map((call) => call.name))).sort((left, right) => left.localeCompare(right));
+    const summaryEmits = Array.from(new Set(trace.calls
+        .filter((call) => call.kind === "emit")
+        .map((call) => call.event))).sort((left, right) => left.localeCompare(right));
+    const previousStepCandidates = [];
+    const steps = [];
+    if (precision === "sequence") {
+        trace.calls.forEach((call, index) => {
+            const stepId = `s${index + 1}`;
+            const step = call.kind === "effect"
+                ? {
+                    stepId,
+                    kind: "effect",
+                    name: call.name,
+                    ...(call.args !== undefined
+                        ? {
+                            args: generalizeValue(call.args, trace.input, trace.stateBefore, previousStepCandidates)
+                        }
+                        : {}),
+                    ...(call.result !== undefined
+                        ? {
+                            result: generalizeValue(call.result, trace.input, trace.stateBefore, previousStepCandidates)
+                        }
+                        : {})
+                }
+                : {
+                    stepId,
+                    kind: "emit",
+                    event: call.event,
+                    ...(call.payload !== undefined
+                        ? {
+                            payload: generalizeValue(call.payload, trace.input, trace.stateBefore, previousStepCandidates)
+                        }
+                        : {})
+                };
+            steps.push(step);
+            previousStepCandidates.push(...collectStepCandidates(step, call));
+        });
+    }
+    const sequenceLevel = steps.some((step) => step.bind && Object.keys(step.bind).length > 0)
+        ? 1
+        : 0;
+    return {
+        id: trace.scenarioId,
+        lifecycle: {
+            state: "inferred"
+        },
+        precision,
+        expect: {
+            summary: {
+                ...(summaryEffects.length > 0 ? { effects: summaryEffects } : {}),
+                ...(summaryEmits.length > 0 ? { emits: summaryEmits } : {})
+            },
+            ...(precision === "sequence"
+                ? {
+                    sequence: {
+                        level: sequenceLevel,
+                        steps
+                    }
+                }
+                : {}),
+            ...(trace.output !== undefined
+                ? {
+                    output: generalizeValue(trace.output, trace.input, trace.stateBefore, previousStepCandidates)
+                }
+                : {}),
+            ...(trace.error === null || trace.error === undefined
+                ? { error: { none: true } }
+                : {
+                    error: {
+                        code: generalizeValue(trace.error.code, trace.input, trace.stateBefore, previousStepCandidates),
+                        ...(trace.error.message !== undefined
+                            ? {
+                                message: generalizeValue(trace.error.message, trace.input, trace.stateBefore, previousStepCandidates)
+                            }
+                            : {}),
+                        ...(trace.error.data !== undefined
+                            ? {
+                                data: generalizeValue(trace.error.data, trace.input, trace.stateBefore, previousStepCandidates)
+                            }
+                            : {})
+                    }
+                }),
+            ...(trace.stateAfter !== undefined
+                ? {
+                    stateAfter: generalizeValue(trace.stateAfter, trace.input, trace.stateBefore, previousStepCandidates)
+                }
+                : {})
+        }
+    };
+}
+//# sourceMappingURL=scenario.js.map

package/dist/draft/scenario.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenario.js","sourceRoot":"","sources":["../../src/draft/scenario.ts"],"names":[],"mappings":";;AAuLA,wDAwJC;AAzUD,wCAA0C;AAW1C,SAAS,gBAAgB,CACvB,KAAc,EACd,QAAQ,GAAG,EAAE;IAEb,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,GAAG,KAAK;YACR,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC/B,gBAAgB,CAAC,IAAI,EAAE,GAAG,QAAQ,IAAI,KAAK,GAAG,CAAC,CAChD;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,KAAK;QACR,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAChD,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAC/D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,MAAc,EACd,UAAkB,EAClB,UAAkB;IAElB,MAAM,cAAc,GAAG,UAAU;SAC9B,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,cAAc,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,CAAC,GAAG,MAAM,IAAI,UAAU,IAAI,cAAc,EAAE;QAC7C,CAAC,CAAC,GAAG,MAAM,IAAI,UAAU,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,KAAc,EACd,WAAoB,EACpB,sBAAgD;IAEhD,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC;SACzC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAA,gBAAS,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;SAClC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAA,gBAAS,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE;gBACP,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE;aACrE;SACF,CAAC;IACJ,CAAC;IAED,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,WAAW,CAAC;SACrD,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAA,gBAAS,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;SAClC,MAAM,CACL,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAA,gBAAS,EAAC,WAAW,EAAE,KAAK,CAAC,CACrE,CAAC;IACJ,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,OAAO,EAAE;gBACP,KAAK,EACH,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE;oBAC1B,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,eAAe,kBAAkB,CAAC,CAAC,CAAC,EAAE;aAC7C;SACF,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAClE,IAAA,gBAAS,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAClC,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAc,EACd,WAAoB,EACpB,sBAAgD;IAEhD,MAAM,SAAS,GAAG,cAAc,CAC9B,KAAK,EACL,KAAK,EACL,WAAW,EACX,sBAAsB,CACvB,CAAC;IACF,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,WAAW,CACtB,UAAU,CAAC,IAAI,CAAC,MAAM,EACtB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,UAAU,CACtB,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACxB,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBAC9B,CAAC,CAAC,GAAG,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,EAAE;gBACrD,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,KAAqB,CAAC;IAC/B,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,sBAAsB,CAAC,CAClE,CAAC;IACJ,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,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,sBAAsB,CAAC;KACnE,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAuB,EACvB,IAAgC;IAEhC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrD,OAAO;YACL,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBACjD,IAAI;gBACJ,UAAU,EAAE,MAAe;gBAC3B,UAAU,EAAE,SAAS,CAAC,IAAI;gBAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;aACvB,CAAC,CAAC;YACH,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBACnD,IAAI;gBACJ,UAAU,EAAE,QAAiB;gBAC7B,UAAU,EAAE,SAAS,CAAC,IAAI;gBAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;aACvB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjD,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACxD,IAAI;YACJ,UAAU,EAAE,SAAkB;YAC9B,UAAU,EAAE,SAAS,CAAC,IAAI;YAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAgB,sBAAsB,CACpC,KAAgB,EAChB,SAAiC;IAEjC,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAC/B,IAAI,GAAG,CACL,KAAK,CAAC,KAAK;SACR,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;SACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAC5B,CACF,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAC7B,IAAI,GAAG,CACL,KAAK,CAAC,KAAK;SACR,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;SACtC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAC7B,CACF,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAEnD,MAAM,sBAAsB,GAA6B,EAAE,CAAC;IAC5D,MAAM,KAAK,GAAwB,EAAE,CAAC;IAEtC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC7B,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACpB,CAAC,CAAE;oBACC,MAAM;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;wBACzB,CAAC,CAAC;4BACE,IAAI,EAAE,eAAe,CACnB,IAAI,CAAC,IAAI,EACT,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;wBAC3B,CAAC,CAAC;4BACE,MAAM,EAAE,eAAe,CACrB,IAAI,CAAC,MAAM,EACX,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;iBACqB;gBAChC,CAAC,CAAE;oBACC,MAAM;oBACN,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;wBAC5B,CAAC,CAAC;4BACE,OAAO,EAAE,eAAe,CACtB,IAAI,CAAC,OAAO,EACZ,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;iBACqB,CAAC;YAErC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,sBAAsB,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CACzD;QACC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,UAAU;QACpB,SAAS,EAAE;YACT,KAAK,EAAE,UAAU;SAClB;QACD,SAAS;QACT,MAAM,EAAE;YACN,OAAO,EAAE;gBACP,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5D;YACD,GAAG,CAAC,SAAS,KAAK,UAAU;gBAC1B,CAAC,CAAC;oBACE,QAAQ,EAAE;wBACR,KAAK,EAAE,aAAsB;wBAC7B,KAAK;qBACN;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;gBAC5B,CAAC,CAAC;oBACE,MAAM,EAAE,eAAe,CACrB,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBACnD,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;gBAC3B,CAAC,CAAC;oBACE,KAAK,EAAE;wBACL,IAAI,EAAE,eAAe,CACnB,KAAK,CAAC,KAAK,CAAC,IAAI,EAChB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;wBACD,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;4BACnC,CAAC,CAAC;gCACE,OAAO,EAAE,eAAe,CACtB,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;6BACF;4BACH,CAAC,CAAC,EAAE,CAAC;wBACP,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;4BAChC,CAAC,CAAC;gCACE,IAAI,EAAE,eAAe,CACnB,KAAK,CAAC,KAAK,CAAC,IAAI,EAChB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;6BACF;4BACH,CAAC,CAAC,EAAE,CAAC;qBACR;iBACF,CAAC;YACN,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;gBAChC,CAAC,CAAC;oBACE,UAAU,EAAE,eAAe,CACzB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,sBAAsB,CACvB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR;KACkB,CAAC;AACxB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,22 @@
+export * from "./draft/scenario";
+export * from "./io/config";
+export * from "./io/contracts";
+export * from "./io/files";
+export * from "./io/suppressions";
+export * from "./io/traces";
+export * from "./match/expr";
+export * from "./match/value";
+export * from "./normalize/trace";
+export * from "./query";
+export * from "./report/check";
+export * from "./report/render";
+export * from "./schemas";
+export * from "./types";
+export * from "./utils/errors";
+export * from "./utils/json";
+export * from "./utils/order";
+export * from "./utils/path";
+export * from "./verify/invariants";
+export * from "./verify/sequence";
+export * from "./verify/summary";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,SAAS,CAAC;AACxB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,38 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./draft/scenario"), exports);
+__exportStar(require("./io/config"), exports);
+__exportStar(require("./io/contracts"), exports);
+__exportStar(require("./io/files"), exports);
+__exportStar(require("./io/suppressions"), exports);
+__exportStar(require("./io/traces"), exports);
+__exportStar(require("./match/expr"), exports);
+__exportStar(require("./match/value"), exports);
+__exportStar(require("./normalize/trace"), exports);
+__exportStar(require("./query"), exports);
+__exportStar(require("./report/check"), exports);
+__exportStar(require("./report/render"), exports);
+__exportStar(require("./schemas"), exports);
+__exportStar(require("./types"), exports);
+__exportStar(require("./utils/errors"), exports);
+__exportStar(require("./utils/json"), exports);
+__exportStar(require("./utils/order"), exports);
+__exportStar(require("./utils/path"), exports);
+__exportStar(require("./verify/invariants"), exports);
+__exportStar(require("./verify/sequence"), exports);
+__exportStar(require("./verify/summary"), exports);
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,mDAAiC;AACjC,8CAA4B;AAC5B,iDAA+B;AAC/B,6CAA2B;AAC3B,oDAAkC;AAClC,8CAA4B;AAC5B,+CAA6B;AAC7B,gDAA8B;AAC9B,oDAAkC;AAClC,0CAAwB;AACxB,iDAA+B;AAC/B,kDAAgC;AAChC,4CAA0B;AAC1B,0CAAwB;AACxB,iDAA+B;AAC/B,+CAA6B;AAC7B,gDAA8B;AAC9B,+CAA6B;AAC7B,sDAAoC;AACpC,oDAAkC;AAClC,mDAAiC"}

package/dist/io/config.d.ts

@@ -0,0 +1,10 @@
+import type { DriftFenceConfig, ResolvedDriftFenceConfig } from "../types";
+export declare const DEFAULT_CONFIG: ResolvedDriftFenceConfig;
+export declare function resolveConfig(raw: DriftFenceConfig, options?: {
+    rootDir?: string;
+    configPath?: string;
+}): ResolvedDriftFenceConfig;
+export declare function loadConfig(configPath?: string): Promise<ResolvedDriftFenceConfig>;
+export declare function createDefaultConfig(owners?: string[]): DriftFenceConfig;
+export declare function renderConfigYaml(config: DriftFenceConfig): string;
+//# sourceMappingURL=config.d.ts.map

package/dist/io/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/io/config.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,UAAU,CAAC;AAK3E,eAAO,MAAM,cAAc,EAAE,wBAuC5B,CAAC;AAiCF,wBAAgB,aAAa,CAC3B,GAAG,EAAE,gBAAgB,EACrB,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GAClD,wBAAwB,CAmG1B;AAED,wBAAsB,UAAU,CAC9B,UAAU,SAAsD,GAC/D,OAAO,CAAC,wBAAwB,CAAC,CAanC;AAED,wBAAgB,mBAAmB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,gBAAgB,CAiBvE;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAKjE"}

package/dist/io/config.js

@@ -0,0 +1,165 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_CONFIG = void 0;
+exports.resolveConfig = resolveConfig;
+exports.loadConfig = loadConfig;
+exports.createDefaultConfig = createDefaultConfig;
+exports.renderConfigYaml = renderConfigYaml;
+const node_path_1 = __importDefault(require("node:path"));
+const yaml_1 = require("yaml");
+const schemas_1 = require("../schemas");
+const errors_1 = require("../utils/errors");
+const json_1 = require("../utils/json");
+const files_1 = require("./files");
+exports.DEFAULT_CONFIG = {
+    schemaVersion: "driftfence-config/v2",
+    rootDir: "",
+    configPath: "",
+    mode: "observe",
+    defaults: {
+        owners: ["@team-owning-the-workflow"]
+    },
+    paths: {
+        contracts: ".driftfence/contracts",
+        proposals: ".driftfence/proposals",
+        traces: ".driftfence/traces",
+        reports: ".driftfence/reports",
+        suppressions: ".driftfence/suppressions.yaml"
+    },
+    normalization: {
+        redactPaths: [],
+        ignorePaths: [],
+        zeroPaths: [],
+        sortArrayPaths: []
+    },
+    aliases: {
+        effects: {},
+        emits: {}
+    },
+    check: {
+        failOn: {
+            violating: true,
+            wideningRequest: true,
+            missingTrace: true,
+            narrowing: false,
+            orphanTrace: false
+        },
+        maxInlineScenarios: 10
+    },
+    github: {
+        postComment: true,
+        commentMarker: "<!-- driftfence -->"
+    }
+};
+function validateAliasMap(map, kind) {
+    const resolved = {};
+    const resolveAlias = (name, seen) => {
+        const next = map[name];
+        if (next === undefined) {
+            return name;
+        }
+        if (seen.includes(name)) {
+            throw new errors_1.DriftFenceError(`Alias cycle detected in ${kind}: ${[...seen, name].join(" -> ")}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+        }
+        return resolveAlias(next, [...seen, name]);
+    };
+    for (const key of Object.keys(map).sort((left, right) => left.localeCompare(right))) {
+        resolved[key] = resolveAlias(key, []);
+    }
+    return resolved;
+}
+function resolveConfig(raw, options) {
+    const rootDir = options?.rootDir ?? process.cwd();
+    const configPath = options?.configPath ?? node_path_1.default.join(rootDir, ".driftfence/config.yaml");
+    const parsed = schemas_1.configSchema.safeParse(raw);
+    if (!parsed.success) {
+        throw new errors_1.DriftFenceError(`Invalid DriftFence config: ${parsed.error.message}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    return {
+        schemaVersion: "driftfence-config/v2",
+        rootDir,
+        configPath,
+        mode: parsed.data.mode ?? exports.DEFAULT_CONFIG.mode,
+        defaults: {
+            owners: (0, json_1.sortUniqueStrings)(parsed.data.defaults?.owners ?? exports.DEFAULT_CONFIG.defaults.owners) ?? []
+        },
+        paths: {
+            contracts: node_path_1.default.resolve(rootDir, parsed.data.paths?.contracts ?? exports.DEFAULT_CONFIG.paths.contracts),
+            proposals: node_path_1.default.resolve(rootDir, parsed.data.paths?.proposals ?? exports.DEFAULT_CONFIG.paths.proposals),
+            traces: node_path_1.default.resolve(rootDir, parsed.data.paths?.traces ?? exports.DEFAULT_CONFIG.paths.traces),
+            reports: node_path_1.default.resolve(rootDir, parsed.data.paths?.reports ?? exports.DEFAULT_CONFIG.paths.reports),
+            suppressions: node_path_1.default.resolve(rootDir, parsed.data.paths?.suppressions ?? exports.DEFAULT_CONFIG.paths.suppressions)
+        },
+        normalization: {
+            redactPaths: parsed.data.normalization?.redactPaths ??
+                exports.DEFAULT_CONFIG.normalization.redactPaths,
+            ignorePaths: parsed.data.normalization?.ignorePaths ??
+                exports.DEFAULT_CONFIG.normalization.ignorePaths,
+            zeroPaths: parsed.data.normalization?.zeroPaths ??
+                exports.DEFAULT_CONFIG.normalization.zeroPaths,
+            sortArrayPaths: parsed.data.normalization?.sortArrayPaths ??
+                exports.DEFAULT_CONFIG.normalization.sortArrayPaths
+        },
+        aliases: {
+            effects: validateAliasMap(parsed.data.aliases?.effects ?? exports.DEFAULT_CONFIG.aliases.effects, "effects"),
+            emits: validateAliasMap(parsed.data.aliases?.emits ?? exports.DEFAULT_CONFIG.aliases.emits, "emits")
+        },
+        check: {
+            failOn: {
+                violating: parsed.data.check?.failOn?.violating ??
+                    exports.DEFAULT_CONFIG.check.failOn.violating,
+                wideningRequest: parsed.data.check?.failOn?.wideningRequest ??
+                    exports.DEFAULT_CONFIG.check.failOn.wideningRequest,
+                missingTrace: parsed.data.check?.failOn?.missingTrace ??
+                    exports.DEFAULT_CONFIG.check.failOn.missingTrace,
+                narrowing: parsed.data.check?.failOn?.narrowing ??
+                    exports.DEFAULT_CONFIG.check.failOn.narrowing,
+                orphanTrace: parsed.data.check?.failOn?.orphanTrace ??
+                    exports.DEFAULT_CONFIG.check.failOn.orphanTrace
+            },
+            maxInlineScenarios: parsed.data.check?.maxInlineScenarios ??
+                exports.DEFAULT_CONFIG.check.maxInlineScenarios
+        },
+        github: {
+            postComment: parsed.data.github?.postComment ?? exports.DEFAULT_CONFIG.github.postComment,
+            commentMarker: parsed.data.github?.commentMarker ?? exports.DEFAULT_CONFIG.github.commentMarker
+        }
+    };
+}
+async function loadConfig(configPath = node_path_1.default.join(process.cwd(), ".driftfence/config.yaml")) {
+    if (!(await (0, files_1.pathExists)(configPath))) {
+        throw new errors_1.DriftFenceError(`DriftFence config not found: ${configPath}`, errors_1.EXIT_CODES.CONFIG_ERROR);
+    }
+    const raw = (0, yaml_1.parse)(await (0, files_1.readUtf8File)(configPath));
+    return resolveConfig(raw, {
+        rootDir: process.cwd(),
+        configPath: node_path_1.default.resolve(configPath)
+    });
+}
+function createDefaultConfig(owners) {
+    return {
+        schemaVersion: "driftfence-config/v2",
+        mode: "observe",
+        defaults: {
+            owners: owners && owners.length > 0 ? owners : exports.DEFAULT_CONFIG.defaults.owners
+        },
+        paths: { ...exports.DEFAULT_CONFIG.paths },
+        normalization: { ...exports.DEFAULT_CONFIG.normalization },
+        aliases: { effects: {}, emits: {} },
+        check: {
+            failOn: { ...exports.DEFAULT_CONFIG.check.failOn },
+            maxInlineScenarios: exports.DEFAULT_CONFIG.check.maxInlineScenarios
+        },
+        github: { ...exports.DEFAULT_CONFIG.github }
+    };
+}
+function renderConfigYaml(config) {
+    return (0, yaml_1.stringify)(config, {
+        aliasDuplicateObjects: false,
+        lineWidth: 0
+    });
+}
+//# sourceMappingURL=config.js.map

package/dist/io/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/io/config.ts"],"names":[],"mappings":";;;;;;AAiFA,sCAsGC;AAED,gCAeC;AAED,kDAiBC;AAED,4CAKC;AAlOD,0DAA6B;AAC7B,+BAAsE;AAEtE,wCAA0C;AAE1C,4CAA8D;AAC9D,wCAAkD;AAClD,mCAAmD;AAEtC,QAAA,cAAc,GAA6B;IACtD,aAAa,EAAE,sBAAsB;IACrC,OAAO,EAAE,EAAE;IACX,UAAU,EAAE,EAAE;IACd,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE;QACR,MAAM,EAAE,CAAC,2BAA2B,CAAC;KACtC;IACD,KAAK,EAAE;QACL,SAAS,EAAE,uBAAuB;QAClC,SAAS,EAAE,uBAAuB;QAClC,MAAM,EAAE,oBAAoB;QAC5B,OAAO,EAAE,qBAAqB;QAC9B,YAAY,EAAE,+BAA+B;KAC9C;IACD,aAAa,EAAE;QACb,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,EAAE;QACb,cAAc,EAAE,EAAE;KACnB;IACD,OAAO,EAAE;QACP,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,EAAE;KACV;IACD,KAAK,EAAE;QACL,MAAM,EAAE;YACN,SAAS,EAAE,IAAI;YACf,eAAe,EAAE,IAAI;YACrB,YAAY,EAAE,IAAI;YAClB,SAAS,EAAE,KAAK;YAChB,WAAW,EAAE,KAAK;SACnB;QACD,kBAAkB,EAAE,EAAE;KACvB;IACD,MAAM,EAAE;QACN,WAAW,EAAE,IAAI;QACjB,aAAa,EAAE,qBAAqB;KACrC;CACF,CAAC;AAEF,SAAS,gBAAgB,CACvB,GAA2B,EAC3B,IAAyB;IAEzB,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,IAAc,EAAU,EAAE;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,wBAAe,CACvB,2BAA2B,IAAI,KAAK,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAClE,mBAAU,CAAC,YAAY,CACxB,CAAC;QACJ,CAAC;QAED,OAAO,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC1B,EAAE,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAgB,aAAa,CAC3B,GAAqB,EACrB,OAAmD;IAEnD,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAClD,MAAM,UAAU,GACd,OAAO,EAAE,UAAU,IAAI,mBAAI,CAAC,IAAI,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;IAEvE,MAAM,MAAM,GAAG,sBAAY,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,wBAAe,CACvB,8BAA8B,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EACpD,mBAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa,EAAE,sBAAsB;QACrC,OAAO;QACP,UAAU;QACV,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,sBAAc,CAAC,IAAI;QAC7C,QAAQ,EAAE;YACR,MAAM,EACJ,IAAA,wBAAiB,EACf,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,sBAAc,CAAC,QAAQ,CAAC,MAAM,CAC/D,IAAI,EAAE;SACV;QACD,KAAK,EAAE;YACL,SAAS,EAAE,mBAAI,CAAC,OAAO,CACrB,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,sBAAc,CAAC,KAAK,CAAC,SAAS,CAC/D;YACD,SAAS,EAAE,mBAAI,CAAC,OAAO,CACrB,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,sBAAc,CAAC,KAAK,CAAC,SAAS,CAC/D;YACD,MAAM,EAAE,mBAAI,CAAC,OAAO,CAClB,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,sBAAc,CAAC,KAAK,CAAC,MAAM,CACzD;YACD,OAAO,EAAE,mBAAI,CAAC,OAAO,CACnB,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,sBAAc,CAAC,KAAK,CAAC,OAAO,CAC3D;YACD,YAAY,EAAE,mBAAI,CAAC,OAAO,CACxB,OAAO,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,IAAI,sBAAc,CAAC,KAAK,CAAC,YAAY,CACrE;SACF;QACD,aAAa,EAAE;YACb,WAAW,EACT,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,WAAW;gBACtC,sBAAc,CAAC,aAAa,CAAC,WAAW;YAC1C,WAAW,EACT,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,WAAW;gBACtC,sBAAc,CAAC,aAAa,CAAC,WAAW;YAC1C,SAAS,EACP,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS;gBACpC,sBAAc,CAAC,aAAa,CAAC,SAAS;YACxC,cAAc,EACZ,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,cAAc;gBACzC,sBAAc,CAAC,aAAa,CAAC,cAAc;SAC9C;QACD,OAAO,EAAE;YACP,OAAO,EAAE,gBAAgB,CACvB,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,sBAAc,CAAC,OAAO,CAAC,OAAO,EAC9D,SAAS,CACV;YACD,KAAK,EAAE,gBAAgB,CACrB,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,sBAAc,CAAC,OAAO,CAAC,KAAK,EAC1D,OAAO,CACR;SACF;QACD,KAAK,EAAE;YACL,MAAM,EAAE;gBACN,SAAS,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS;oBACpC,sBAAc,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS;gBACvC,eAAe,EACb,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe;oBAC1C,sBAAc,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe;gBAC7C,YAAY,EACV,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY;oBACvC,sBAAc,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY;gBAC1C,SAAS,EACP,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS;oBACpC,sBAAc,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS;gBACvC,WAAW,EACT,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW;oBACtC,sBAAc,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW;aAC1C;YACD,kBAAkB,EAChB,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB;gBACrC,sBAAc,CAAC,KAAK,CAAC,kBAAkB;SAC1C;QACD,MAAM,EAAE;YACN,WAAW,EACT,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,IAAI,sBAAc,CAAC,MAAM,CAAC,WAAW;YACtE,aAAa,EACX,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,sBAAc,CAAC,MAAM,CAAC,aAAa;SAC3E;KACF,CAAC;AACJ,CAAC;AAEM,KAAK,UAAU,UAAU,CAC9B,UAAU,GAAG,mBAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,yBAAyB,CAAC;IAEhE,IAAI,CAAC,CAAC,MAAM,IAAA,kBAAU,EAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,wBAAe,CACvB,gCAAgC,UAAU,EAAE,EAC5C,mBAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAA,YAAS,EAAC,MAAM,IAAA,oBAAY,EAAC,UAAU,CAAC,CAAqB,CAAC;IAC1E,OAAO,aAAa,CAAC,GAAG,EAAE;QACxB,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE;QACtB,UAAU,EAAE,mBAAI,CAAC,OAAO,CAAC,UAAU,CAAC;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,mBAAmB,CAAC,MAAiB;IACnD,OAAO;QACL,aAAa,EAAE,sBAAsB;QACrC,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE;YACR,MAAM,EACJ,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,sBAAc,CAAC,QAAQ,CAAC,MAAM;SACxE;QACD,KAAK,EAAE,EAAE,GAAG,sBAAc,CAAC,KAAK,EAAE;QAClC,aAAa,EAAE,EAAE,GAAG,sBAAc,CAAC,aAAa,EAAE;QAClD,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,KAAK,EAAE;YACL,MAAM,EAAE,EAAE,GAAG,sBAAc,CAAC,KAAK,CAAC,MAAM,EAAE;YAC1C,kBAAkB,EAAE,sBAAc,CAAC,KAAK,CAAC,kBAAkB;SAC5D;QACD,MAAM,EAAE,EAAE,GAAG,sBAAc,CAAC,MAAM,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,SAAgB,gBAAgB,CAAC,MAAwB;IACvD,OAAO,IAAA,gBAAa,EAAC,MAAM,EAAE;QAC3B,qBAAqB,EAAE,KAAK;QAC5B,SAAS,EAAE,CAAC;KACb,CAAC,CAAC;AACL,CAAC"}

package/dist/io/contracts.d.ts

@@ -0,0 +1,7 @@
+import type { LoadedContractFile, WorkflowContractFile } from "../types";
+export declare function canonicalizeContractFile(contract: WorkflowContractFile): WorkflowContractFile;
+export declare function loadContracts(baseDir: string, containerKind: "approved" | "proposal"): Promise<LoadedContractFile[]>;
+export declare function renderContractYaml(contract: WorkflowContractFile): string;
+export declare function writeContractFile(baseDir: string, contract: WorkflowContractFile): Promise<string>;
+export declare function contractFilePath(baseDir: string, contractId: string): string;
+//# sourceMappingURL=contracts.d.ts.map

package/dist/io/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/io/contracts.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAIV,kBAAkB,EAKlB,oBAAoB,EACrB,MAAM,UAAU,CAAC;AA0rBlB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,oBAAoB,GAC7B,oBAAoB,CA+CtB;AAiED,wBAAsB,aAAa,CACjC,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,UAAU,GAAG,UAAU,GACrC,OAAO,CAAC,kBAAkB,EAAE,CAAC,CA2B/B;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,CAKzE;AAED,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,oBAAoB,GAC7B,OAAO,CAAC,MAAM,CAAC,CAOjB;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE5E"}