@libraz/coverwise 1.0.0

package/dist/js/pure/adapter.js

@@ -0,0 +1,207 @@
+/// Adapter between public API types and internal TS engine types.
+import { createGenerateOptions, createWeightConfig, } from '../../src/ts/model/generate-options.js';
+import { Parameter as InternalParameter, UNASSIGNED } from '../../src/ts/model/parameter.js';
+import { uncoveredTupleToString as internalUncoveredToString } from '../../src/ts/model/test-case.js';
+/**
+ * Convert a JS value (string, number, or boolean) to a string representation.
+ *
+ * Mirrors the C++ JsValueToString logic:
+ * - string -> as-is
+ * - number -> integer-like numbers drop the ".0"
+ * - boolean -> "true" / "false"
+ */
+function valueToString(v) {
+    if (typeof v === 'string') {
+        return v;
+    }
+    if (typeof v === 'boolean') {
+        return v ? 'true' : 'false';
+    }
+    // number
+    if (Number.isInteger(v) && Math.abs(v) <= 1e15) {
+        return v.toString();
+    }
+    return v.toString();
+}
+/**
+ * Convert public Parameter[] to internal Parameter[].
+ *
+ * Normalizes all values to strings, extracts invalid flags and aliases
+ * from ParameterValue objects.
+ */
+export function toInternalParams(params) {
+    const result = [];
+    for (const pub of params) {
+        const values = [];
+        const invalidFlags = [];
+        const aliases = [];
+        let hasInvalid = false;
+        let hasAliases = false;
+        for (const item of pub.values) {
+            if (typeof item === 'object' && item !== null && 'value' in item) {
+                // ParameterValue object form
+                const pv = item;
+                values.push(valueToString(pv.value));
+                const isInvalid = pv.invalid ?? false;
+                invalidFlags.push(isInvalid);
+                if (isInvalid) {
+                    hasInvalid = true;
+                }
+                const valueAliases = pv.aliases ?? [];
+                aliases.push(valueAliases);
+                if (valueAliases.length > 0) {
+                    hasAliases = true;
+                }
+            }
+            else {
+                // Scalar value
+                values.push(valueToString(item));
+                invalidFlags.push(false);
+                aliases.push([]);
+            }
+        }
+        const param = new InternalParameter(pub.name, values);
+        if (hasInvalid) {
+            param.setInvalid(invalidFlags);
+        }
+        if (hasAliases) {
+            param.setAliases(aliases);
+        }
+        result.push(param);
+    }
+    return result;
+}
+/**
+ * Convert a public TestCase (key-value map) to an internal TestCase (index array).
+ */
+export function toInternalTestCase(tc, params) {
+    const values = new Array(params.length).fill(UNASSIGNED);
+    for (let i = 0; i < params.length; ++i) {
+        const paramName = params[i].name;
+        if (paramName in tc) {
+            const valStr = valueToString(tc[paramName]);
+            values[i] = params[i].findValueIndex(valStr);
+        }
+    }
+    return { values };
+}
+/**
+ * Convert a full GenerateInput to internal GenerateOptions.
+ */
+export function toInternalOptions(input, params) {
+    const weights = createWeightConfig();
+    if (input.weights) {
+        for (const paramName of Object.keys(input.weights)) {
+            const paramWeights = input.weights[paramName];
+            weights.entries[paramName] = {};
+            for (const valueName of Object.keys(paramWeights)) {
+                weights.entries[paramName][valueName] = paramWeights[valueName];
+            }
+        }
+    }
+    const subModels = (input.subModels ?? []).map((sm) => ({
+        parameterNames: sm.parameters,
+        strength: sm.strength,
+    }));
+    const seeds = (input.seeds ?? []).map((tc) => toInternalTestCase(tc, params));
+    return createGenerateOptions({
+        parameters: params.map((p) => ({ name: p.name, values: p.values })),
+        constraintExpressions: input.constraints ?? [],
+        strength: input.strength ?? 2,
+        seed: input.seed ?? 0,
+        maxTests: input.maxTests ?? 0,
+        seeds,
+        subModels,
+        weights,
+    });
+}
+/**
+ * Convert an internal TestCase (index array) to a public TestCase (key-value map).
+ *
+ * Uses displayName for alias rotation, matching the WASM TestCaseToJS behavior.
+ */
+export function toPublicTestCase(tc, params, rotation) {
+    const result = {};
+    for (let i = 0; i < params.length && i < tc.values.length; ++i) {
+        if (tc.values[i] !== UNASSIGNED) {
+            result[params[i].name] = params[i].displayName(tc.values[i], rotation);
+        }
+    }
+    return result;
+}
+/**
+ * Convert an internal UncoveredTuple to a public UncoveredTuple (with display string).
+ */
+function toPublicUncoveredTuple(ut) {
+    return {
+        tuple: ut.tuple,
+        params: ut.params,
+        reason: ut.reason,
+        display: internalUncoveredToString(ut),
+    };
+}
+/**
+ * Convert an internal GenerateResult to a public GenerateResult.
+ */
+export function toPublicResult(result, params, strength) {
+    const tests = result.tests.map((tc, i) => toPublicTestCase(tc, params, i));
+    const negativeTests = result.negativeTests.map((tc, i) => toPublicTestCase(tc, params, i));
+    const uncovered = result.uncovered.map(toPublicUncoveredTuple);
+    const suggestions = result.suggestions.map((s, i) => ({
+        description: s.description,
+        testCase: toPublicTestCase(s.testCase, params, i),
+    }));
+    const pubResult = {
+        tests,
+        negativeTests,
+        coverage: result.coverage,
+        uncovered,
+        stats: {
+            totalTuples: result.stats.totalTuples,
+            coveredTuples: result.stats.coveredTuples,
+            testCount: result.stats.testCount,
+        },
+        suggestions,
+        warnings: result.warnings,
+        strength,
+    };
+    if (result.classCoverage) {
+        pubResult.classCoverage = {
+            totalClassTuples: result.classCoverage.totalClassTuples,
+            coveredClassTuples: result.classCoverage.coveredClassTuples,
+            classCoverageRatio: result.classCoverage.classCoverageRatio,
+        };
+    }
+    return pubResult;
+}
+/**
+ * Convert an internal CoverageReport to a public CoverageReport.
+ */
+export function toPublicCoverageReport(report) {
+    return {
+        totalTuples: report.totalTuples,
+        coveredTuples: report.coveredTuples,
+        coverageRatio: report.coverageRatio,
+        uncovered: report.uncovered.map(toPublicUncoveredTuple),
+    };
+}
+/**
+ * Convert an internal ModelStats to a public ModelStats.
+ */
+export function toPublicModelStats(stats) {
+    return {
+        parameterCount: stats.parameterCount,
+        totalValues: stats.totalValues,
+        strength: stats.strength,
+        totalTuples: stats.totalTuples,
+        estimatedTests: stats.estimatedTests,
+        subModelCount: stats.subModelCount,
+        constraintCount: stats.constraintCount,
+        parameters: stats.parameters.map((p) => ({
+            name: p.name,
+            valueCount: p.valueCount,
+            invalidCount: p.invalidCount,
+        })),
+    };
+}
+//# sourceMappingURL=adapter.js.map

package/dist/js/pure/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../../js/pure/adapter.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAGlE,OAAO,EACL,qBAAqB,EACrB,kBAAkB,GAEnB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAM7F,OAAO,EAAE,sBAAsB,IAAI,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAatG;;;;;;;GAOG;AACH,SAAS,aAAa,CAAC,CAA4B;IACjD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9B,CAAC;IACD,SAAS;IACT,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/C,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAyB;IACxD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAc,EAAE,CAAC;QACnC,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACjE,6BAA6B;gBAC7B,MAAM,EAAE,GAAG,IAAsB,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrC,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,IAAI,KAAK,CAAC;gBACtC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,IAAI,SAAS,EAAE,CAAC;oBACd,UAAU,GAAG,IAAI,CAAC;gBACpB,CAAC;gBACD,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;gBACtC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,UAAU,GAAG,IAAI,CAAC;gBACpB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,eAAe;gBACf,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAiC,CAAC,CAAC,CAAC;gBAC9D,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,EAAkB,EAClB,MAA2B;IAE3B,MAAM,MAAM,GAAa,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,SAAS,IAAI,EAAE,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAoB,EACpB,MAA2B;IAE3B,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC9C,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;YAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,cAAc,EAAE,EAAE,CAAC,UAAU;QAC7B,QAAQ,EAAE,EAAE,CAAC,QAAQ;KACtB,CAAC,CAAC,CAAC;IAEJ,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IAE9E,OAAO,qBAAqB,CAAC;QAC3B,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,qBAAqB,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC;QACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC;QAC7B,KAAK;QACL,SAAS;QACT,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAoB,EACpB,MAA2B,EAC3B,QAAgB;IAEhB,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QAC/D,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,EAA0B;IACxD,OAAO;QACL,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,OAAO,EAAE,yBAAyB,CAAC,EAAE,CAAC;KACvC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,MAA8B,EAC9B,MAA2B,EAC3B,QAAgB;IAEhB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAE/D,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAA2B;KAC5E,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAyB;QACtC,KAAK;QACL,aAAa;QACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,SAAS;QACT,KAAK,EAAE;YACL,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW;YACrC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa;YACzC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS;SAClC;QACD,WAAW;QACX,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ;KACT,CAAC;IAEF,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,SAAS,CAAC,aAAa,GAAG;YACxB,gBAAgB,EAAE,MAAM,CAAC,aAAa,CAAC,gBAAgB;YACvD,kBAAkB,EAAE,MAAM,CAAC,aAAa,CAAC,kBAAkB;YAC3D,kBAAkB,EAAE,MAAM,CAAC,aAAa,CAAC,kBAAkB;SAC5D,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAA8B;IACnE,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAC1D,OAAO;QACL,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,YAAY,EAAE,CAAC,CAAC,YAAY;SAC7B,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

package/dist/js/pure/index.d.ts

@@ -0,0 +1,83 @@
+export type { Condition, ConditionStart, Constraint } from '../constraint.js';
+export { allOf, anyOf, not, when } from '../constraint.js';
+export type { ClassCoverage, CoverageReport, CoverwiseError, ExtendInput, GenerateInput, GenerateResult, GenerateStats, ModelStats, Parameter, ParameterValue, ParamStats, SubModel, Suggestion, TestCase, UncoveredTuple, WeightConfig, } from '../types.js';
+import type { CoverageReport, ExtendInput, GenerateInput, GenerateResult, ModelStats, Parameter, TestCase } from '../types.js';
+/**
+ * Generate a covering array. One function, sensible defaults.
+ *
+ * Unlike the WASM version, this is fully synchronous and requires no init() call.
+ *
+ * @example
+ * const result = generate({
+ *   parameters: [
+ *     { name: "os", values: ["win", "mac", "linux"] },
+ *     { name: "browser", values: ["chrome", "firefox", "safari"] },
+ *   ],
+ * });
+ * // result.tests: [{ os: "win", browser: "chrome" }, ...]
+ * // result.coverage: 1.0
+ */
+export declare function generate(input: GenerateInput): GenerateResult;
+/**
+ * Analyze t-wise coverage of an existing test suite.
+ * Use this to check coverage of manually written tests.
+ *
+ * @example
+ * const report = analyzeCoverage(
+ *   [{ name: "os", values: ["win", "mac"] }, ...],
+ *   [{ os: "win", browser: "chrome" }, ...],
+ * );
+ * // report.uncovered: [{ tuple: ["os=mac", "browser=chrome"], ... }]
+ */
+export declare function analyzeCoverage(parameters: Parameter[], tests: TestCase[], strength?: number): CoverageReport;
+/**
+ * Extend an existing test suite with additional tests to improve coverage.
+ *
+ * mode: "strict" (default) keeps existing tests as-is.
+ * Only "strict" mode is supported (existing tests are kept as-is).
+ */
+export declare function extendTests(existing: TestCase[], input: ExtendInput): GenerateResult;
+/**
+ * Get model statistics without running generation.
+ */
+export declare function estimateModel(input: GenerateInput): ModelStats;
+/**
+ * Class-based wrapper around the coverwise API.
+ * Provides the same functionality as the free functions in an object-oriented style.
+ *
+ * Unlike the WASM version, create() is synchronous (returned as a resolved Promise
+ * for API compatibility).
+ *
+ * @example
+ * const cw = await Coverwise.create();
+ * const result = cw.generate({ parameters: [...] });
+ */
+export declare class Coverwise {
+    /**
+     * Create a Coverwise instance.
+     * Returns immediately (no WASM loading needed).
+     */
+    static create(): Promise<Coverwise>;
+    /**
+     * Generate a covering array. One function, sensible defaults.
+     */
+    generate(input: GenerateInput): GenerateResult;
+    /**
+     * Analyze t-wise coverage of an existing test suite.
+     */
+    analyzeCoverage(parameters: Parameter[], tests: TestCase[], strength?: number): CoverageReport;
+    /**
+     * Extend an existing test suite with additional tests to improve coverage.
+     */
+    extendTests(existing: TestCase[], input: ExtendInput): GenerateResult;
+    /**
+     * Get model statistics without running generation.
+     */
+    estimateModel(input: GenerateInput): ModelStats;
+}
+/**
+ * No-op init for backward compatibility.
+ * The pure TS version requires no initialization.
+ */
+export declare function init(): Promise<void>;
+//# sourceMappingURL=index.d.ts.map

package/dist/js/pure/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../js/pure/index.ts"],"names":[],"mappings":"AAOA,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC3D,YAAY,EACV,aAAa,EACb,cAAc,EACd,cAAc,EACd,WAAW,EACX,aAAa,EACb,cAAc,EACd,aAAa,EACb,UAAU,EACV,SAAS,EACT,cAAc,EACd,UAAU,EACV,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,cAAc,EACd,YAAY,GACb,MAAM,aAAa,CAAC;AAarB,OAAO,KAAK,EACV,cAAc,EACd,WAAW,EACX,aAAa,EACb,cAAc,EACd,UAAU,EACV,SAAS,EACT,QAAQ,EACT,MAAM,aAAa,CAAC;AAarB;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc,CAU7D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,SAAS,EAAE,EACvB,KAAK,EAAE,QAAQ,EAAE,EACjB,QAAQ,CAAC,EAAE,MAAM,GAChB,cAAc,CAWhB;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,cAAc,CAUpF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,CAK9D;AAID;;;;;;;;;;GAUG;AACH,qBAAa,SAAS;IACpB;;;OAGG;WACU,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC;IAIzC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc;IAI9C;;OAEG;IACH,eAAe,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,cAAc;IAI9F;;OAEG;IACH,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,cAAc;IAIrE;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU;CAGhD;AAED;;;GAGG;AACH,wBAAsB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAG"}

package/dist/js/pure/index.js

@@ -0,0 +1,132 @@
+/// Pure TypeScript entry point for coverwise.
+///
+/// Provides the same API as the WASM-backed default export but runs
+/// entirely in TypeScript — no WASM compilation or init() call required.
+export { allOf, anyOf, not, when } from '../constraint.js';
+// --- Internal imports ---
+import { estimateModel as internalEstimateModel, extend as internalExtend, generate as internalGenerate, } from '../../src/ts/core/generator.js';
+import { annotateClassCoverage, validateCoverage as internalValidateCoverage, } from '../../src/ts/validator/coverage-validator.js';
+import { toInternalOptions, toInternalParams, toInternalTestCase, toPublicCoverageReport, toPublicModelStats, toPublicResult, } from './adapter.js';
+// --- Core API ---
+/**
+ * Generate a covering array. One function, sensible defaults.
+ *
+ * Unlike the WASM version, this is fully synchronous and requires no init() call.
+ *
+ * @example
+ * const result = generate({
+ *   parameters: [
+ *     { name: "os", values: ["win", "mac", "linux"] },
+ *     { name: "browser", values: ["chrome", "firefox", "safari"] },
+ *   ],
+ * });
+ * // result.tests: [{ os: "win", browser: "chrome" }, ...]
+ * // result.coverage: 1.0
+ */
+export function generate(input) {
+    const params = toInternalParams(input.parameters);
+    const opts = toInternalOptions(input, params);
+    const result = internalGenerate(opts);
+    const strength = input.strength ?? 2;
+    // Annotate equivalence class coverage if applicable.
+    annotateClassCoverage(result, params, strength);
+    return toPublicResult(result, params, strength);
+}
+/**
+ * Analyze t-wise coverage of an existing test suite.
+ * Use this to check coverage of manually written tests.
+ *
+ * @example
+ * const report = analyzeCoverage(
+ *   [{ name: "os", values: ["win", "mac"] }, ...],
+ *   [{ os: "win", browser: "chrome" }, ...],
+ * );
+ * // report.uncovered: [{ tuple: ["os=mac", "browser=chrome"], ... }]
+ */
+export function analyzeCoverage(parameters, tests, strength) {
+    const s = strength ?? 2;
+    const params = toInternalParams(parameters);
+    const internalTests = tests.map((tc) => toInternalTestCase(tc, params));
+    const report = internalValidateCoverage(params, internalTests, s);
+    const result = toPublicCoverageReport(report);
+    // When there are no tuples, coverage is vacuously 1.0.
+    if (result.totalTuples === 0) {
+        result.coverageRatio = 1.0;
+    }
+    return result;
+}
+/**
+ * Extend an existing test suite with additional tests to improve coverage.
+ *
+ * mode: "strict" (default) keeps existing tests as-is.
+ * Only "strict" mode is supported (existing tests are kept as-is).
+ */
+export function extendTests(existing, input) {
+    const params = toInternalParams(input.parameters);
+    const opts = toInternalOptions(input, params);
+    const internalExisting = existing.map((tc) => toInternalTestCase(tc, params));
+    const strength = input.strength ?? 2;
+    const result = internalExtend(internalExisting, opts);
+    annotateClassCoverage(result, params, strength);
+    return toPublicResult(result, params, strength);
+}
+/**
+ * Get model statistics without running generation.
+ */
+export function estimateModel(input) {
+    const params = toInternalParams(input.parameters);
+    const opts = toInternalOptions(input, params);
+    const stats = internalEstimateModel(opts);
+    return toPublicModelStats(stats);
+}
+// --- Class-based API ---
+/**
+ * Class-based wrapper around the coverwise API.
+ * Provides the same functionality as the free functions in an object-oriented style.
+ *
+ * Unlike the WASM version, create() is synchronous (returned as a resolved Promise
+ * for API compatibility).
+ *
+ * @example
+ * const cw = await Coverwise.create();
+ * const result = cw.generate({ parameters: [...] });
+ */
+export class Coverwise {
+    /**
+     * Create a Coverwise instance.
+     * Returns immediately (no WASM loading needed).
+     */
+    static async create() {
+        return new Coverwise();
+    }
+    /**
+     * Generate a covering array. One function, sensible defaults.
+     */
+    generate(input) {
+        return generate(input);
+    }
+    /**
+     * Analyze t-wise coverage of an existing test suite.
+     */
+    analyzeCoverage(parameters, tests, strength) {
+        return analyzeCoverage(parameters, tests, strength);
+    }
+    /**
+     * Extend an existing test suite with additional tests to improve coverage.
+     */
+    extendTests(existing, input) {
+        return extendTests(existing, input);
+    }
+    /**
+     * Get model statistics without running generation.
+     */
+    estimateModel(input) {
+        return estimateModel(input);
+    }
+}
+/**
+ * No-op init for backward compatibility.
+ * The pure TS version requires no initialization.
+ */
+export async function init() { }
+//# sourceMappingURL=index.js.map

package/dist/js/pure/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../js/pure/index.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,GAAG;AACH,oEAAoE;AACpE,yEAAyE;AAKzE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAoB3D,2BAA2B;AAE3B,OAAO,EACL,aAAa,IAAI,qBAAqB,EACtC,MAAM,IAAI,cAAc,EACxB,QAAQ,IAAI,gBAAgB,GAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,qBAAqB,EACrB,gBAAgB,IAAI,wBAAwB,GAC7C,MAAM,8CAA8C,CAAC;AAWtD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,EAClB,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,mBAAmB;AAEnB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAoB;IAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IAErC,qDAAqD;IACrD,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAEhD,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAuB,EACvB,KAAiB,EACjB,QAAiB;IAEjB,MAAM,CAAC,GAAG,QAAQ,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC9C,uDAAuD;IACvD,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,QAAoB,EAAE,KAAkB;IAClE,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,cAAc,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAEtD,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAEhD,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAoB;IAChD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;;;;;;;;GAUG;AACH,MAAM,OAAO,SAAS;IACpB;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM;QACjB,OAAO,IAAI,SAAS,EAAE,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,KAAoB;QAC3B,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,UAAuB,EAAE,KAAiB,EAAE,QAAiB;QAC3E,OAAO,eAAe,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,QAAoB,EAAE,KAAkB;QAClD,OAAO,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAoB;QAChC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,KAAmB,CAAC"}

package/dist/js/types.d.ts

@@ -0,0 +1,132 @@
+export interface ParameterValue {
+    value: string | number | boolean;
+    invalid?: boolean;
+    aliases?: string[];
+}
+export interface Parameter {
+    name: string;
+    values: (string | number | boolean | ParameterValue)[];
+}
+export interface SubModel {
+    parameters: string[];
+    strength: number;
+}
+export interface WeightConfig {
+    [parameterName: string]: {
+        [value: string]: number;
+    };
+}
+export interface GenerateInput {
+    parameters: Parameter[];
+    constraints?: string[];
+    strength?: number;
+    seed?: number;
+    weights?: WeightConfig;
+    seeds?: TestCase[];
+    maxTests?: number;
+    subModels?: SubModel[];
+}
+/**
+ * A test case as a readable key-value map.
+ * e.g. { os: "win", browser: "chrome", arch: "x64" }
+ */
+export interface TestCase {
+    [parameterName: string]: string | number | boolean;
+}
+/**
+ * A human-readable uncovered tuple with context.
+ */
+export interface UncoveredTuple {
+    /** e.g. ["os=win", "browser=safari"] */
+    tuple: string[];
+    /** Parameter names involved. */
+    params: string[];
+    /** Why this tuple is uncovered. */
+    reason: string;
+    /** Human-readable display string. */
+    display: string;
+}
+/**
+ * Statistics for evaluation and comparison.
+ */
+export interface GenerateStats {
+    totalTuples: number;
+    coveredTuples: number;
+    testCount: number;
+}
+export interface GenerateResult {
+    tests: TestCase[];
+    negativeTests?: TestCase[];
+    coverage: number;
+    /** Uncovered tuples with context. Empty when coverage is 1.0. */
+    uncovered: UncoveredTuple[];
+    /** Statistics for evaluation and comparison. */
+    stats: GenerateStats;
+    /** Actionable suggestions with proposed test cases. */
+    suggestions: Array<{
+        description: string;
+        testCase: Record<string, string>;
+    }>;
+    /** Warnings (e.g. performance degradation). */
+    warnings: string[];
+    /** Strength used for generation. */
+    strength: number;
+    /** Equivalence class coverage (present when parameters have equivalence classes). */
+    classCoverage?: {
+        totalClassTuples: number;
+        coveredClassTuples: number;
+        classCoverageRatio: number;
+    };
+}
+export interface CoverageReport {
+    totalTuples: number;
+    coveredTuples: number;
+    coverageRatio: number;
+    /** Every uncovered tuple with context. */
+    uncovered: UncoveredTuple[];
+}
+export interface ExtendInput extends GenerateInput {
+    /** How to handle existing tests. */
+    mode?: 'strict';
+}
+export interface ModelStats {
+    parameterCount: number;
+    totalValues: number;
+    strength: number;
+    totalTuples: number;
+    estimatedTests: number;
+    subModelCount: number;
+    constraintCount: number;
+    parameters: Array<{
+        name: string;
+        valueCount: number;
+        invalidCount: number;
+    }>;
+}
+/**
+ * Structured error with context.
+ * Errors are always explanatory — never just a code.
+ */
+export interface CoverwiseError {
+    code: 'CONSTRAINT_ERROR' | 'INSUFFICIENT_COVERAGE' | 'INVALID_INPUT' | 'TUPLE_EXPLOSION';
+    message: string;
+    detail?: string;
+}
+/** Per-parameter statistics. */
+export interface ParamStats {
+    name: string;
+    valueCount: number;
+    invalidCount: number;
+}
+/** Equivalence class coverage metrics. */
+export interface ClassCoverage {
+    totalClassTuples: number;
+    coveredClassTuples: number;
+    classCoverageRatio: number;
+}
+/** Actionable suggestion with a proposed test case. */
+export interface Suggestion {
+    description: string;
+    testCase: Record<string, string>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/js/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../js/types.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC;CACxD;AAED,MAAM,WAAW,QAAQ;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,CAAC,aAAa,EAAE,MAAM,GAAG;QACvB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;KACzB,CAAC;CACH;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CACpD;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,wCAAwC;IACxC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gCAAgC;IAChC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,gDAAgD;IAChD,KAAK,EAAE,aAAa,CAAC;IACrB,uDAAuD;IACvD,WAAW,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;IAC9E,+CAA+C;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,qFAAqF;IACrF,aAAa,CAAC,EAAE;QACd,gBAAgB,EAAE,MAAM,CAAC;QACzB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,kBAAkB,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,SAAS,EAAE,cAAc,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,oCAAoC;IACpC,IAAI,CAAC,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,KAAK,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC,CAAC;CACJ;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,GAAG,eAAe,GAAG,iBAAiB,CAAC;IACzF,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,gCAAgC;AAChC,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,uDAAuD;AACvD,MAAM,WAAW,UAAU;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC"}

package/dist/js/types.js

@@ -0,0 +1,3 @@
+/// Public type definitions for the coverwise API.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/js/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../js/types.ts"],"names":[],"mappings":"AAAA,kDAAkD"}

package/dist/src/ts/algo/greedy.d.ts

@@ -0,0 +1,9 @@
+import { type ConstraintNode } from '../model/constraint-ast.js';
+import type { TestCase } from '../model/test-case.js';
+import type { Rng } from '../util/rng.js';
+export type ScoreFn = (partial: TestCase, paramIndex: number, valueIndex: number) => number;
+export interface GreedyParam {
+    readonly size: number;
+}
+export declare function greedyConstruct(params: readonly GreedyParam[], scoreFn: ScoreFn, constraints: readonly ConstraintNode[], rng: Rng, allowedValues?: boolean[][], weights?: number[][]): TestCase;
+//# sourceMappingURL=greedy.d.ts.map

package/dist/src/ts/algo/greedy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"greedy.d.ts","sourceRoot":"","sources":["../../../../src/ts/algo/greedy.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,KAAK,cAAc,EAAoB,MAAM,4BAA4B,CAAC;AAEnF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAG1C,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC;AAG5F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AA6DD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,SAAS,WAAW,EAAE,EAC9B,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,cAAc,EAAE,EACtC,GAAG,EAAE,GAAG,EACR,aAAa,GAAE,OAAO,EAAE,EAAO,EAC/B,OAAO,GAAE,MAAM,EAAE,EAAO,GACvB,QAAQ,CAkFV"}