@libraz/coverwise 1.0.0

package/dist/js/constraint.js

@@ -0,0 +1,213 @@
+/**
+ * Fluent constraint builder for coverwise.
+ *
+ * Generates constraint strings compatible with the C++ constraint parser.
+ *
+ * @example
+ * import { when, not, allOf, anyOf } from '@libraz/coverwise/constraint';
+ *
+ * // IF os = Windows THEN browser != Safari
+ * when('os').eq('Windows').then(when('browser').ne('Safari'))
+ *
+ * // NOT (os = win AND browser = safari)
+ * not(allOf(when('os').eq('win'), when('browser').eq('safari')))
+ */
+// --- Value formatting ---
+const NEEDS_QUOTE_RE = /[\s=!<>(),{}]/;
+const KEYWORDS = new Set(['IF', 'THEN', 'ELSE', 'IMPLIES', 'AND', 'OR', 'NOT', 'IN', 'LIKE']);
+function formatValue(value) {
+    if (typeof value === 'boolean') {
+        return String(value);
+    }
+    if (typeof value === 'number') {
+        return String(value);
+    }
+    if (NEEDS_QUOTE_RE.test(value) || KEYWORDS.has(value.toUpperCase())) {
+        return `"${value}"`;
+    }
+    return value;
+}
+function formatNumericOrParam(value) {
+    if (typeof value === 'number') {
+        return String(value);
+    }
+    // String = param name, output bare
+    return value;
+}
+function formatSetValue(value) {
+    if (typeof value === 'boolean') {
+        return String(value);
+    }
+    if (typeof value === 'number') {
+        return String(value);
+    }
+    if (NEEDS_QUOTE_RE.test(value) || KEYWORDS.has(value.toUpperCase())) {
+        return `"${value}"`;
+    }
+    return value;
+}
+// --- Internal classes ---
+class ConditionImpl {
+    constructor(expr) {
+        this.expr = expr;
+    }
+    and(other) {
+        return new ConditionImpl(`${this.wrap()} AND ${wrapCondition(other)}`);
+    }
+    or(other) {
+        return new ConditionImpl(`${this.wrap()} OR ${wrapCondition(other)}`);
+    }
+    // biome-ignore lint/suspicious/noThenProperty: fluent API requires .then() for IF...THEN syntax
+    then(consequence) {
+        return new ConstraintImpl(`IF ${this.expr} THEN ${consequence.toString()}`);
+    }
+    implies(consequence) {
+        return new ConstraintImpl(`${this.expr} IMPLIES ${consequence.toString()}`);
+    }
+    toString() {
+        return this.expr;
+    }
+    wrap() {
+        // Wrap in parens if the expression contains OR (for correct AND precedence)
+        if (needsParensForAnd(this.expr)) {
+            return `(${this.expr})`;
+        }
+        return this.expr;
+    }
+}
+class ConstraintImpl {
+    constructor(expr) {
+        this.expr = expr;
+    }
+    else(alternative) {
+        return new ConstraintImpl(`${this.expr} ELSE ${alternative.toString()}`);
+    }
+    toString() {
+        return this.expr;
+    }
+}
+class ConditionStartImpl {
+    constructor(param) {
+        this.param = param;
+    }
+    eq(value) {
+        return new ConditionImpl(`${this.param} = ${formatValue(value)}`);
+    }
+    ne(value) {
+        return new ConditionImpl(`${this.param} != ${formatValue(value)}`);
+    }
+    gt(value) {
+        return new ConditionImpl(`${this.param} > ${formatNumericOrParam(value)}`);
+    }
+    gte(value) {
+        return new ConditionImpl(`${this.param} >= ${formatNumericOrParam(value)}`);
+    }
+    lt(value) {
+        return new ConditionImpl(`${this.param} < ${formatNumericOrParam(value)}`);
+    }
+    lte(value) {
+        return new ConditionImpl(`${this.param} <= ${formatNumericOrParam(value)}`);
+    }
+    in(...values) {
+        const formatted = values.map(formatSetValue).join(', ');
+        return new ConditionImpl(`${this.param} IN {${formatted}}`);
+    }
+    like(pattern) {
+        return new ConditionImpl(`${this.param} LIKE ${pattern}`);
+    }
+}
+// --- Helpers ---
+/** Check if an expression string contains a bare OR (not inside parens). */
+function needsParensForAnd(expr) {
+    let depth = 0;
+    const upper = expr.toUpperCase();
+    for (let i = 0; i < upper.length; i++) {
+        if (upper[i] === '(') {
+            depth++;
+        }
+        else if (upper[i] === ')') {
+            depth--;
+        }
+        else if (depth === 0 && upper[i] === ' ' && upper.substring(i, i + 4) === ' OR ') {
+            return true;
+        }
+    }
+    return false;
+}
+/** Wrap a condition for use as an operand, adding parens if it contains AND or OR at top level. */
+function wrapCondition(cond) {
+    const s = cond.toString();
+    if (needsParensForAnd(s)) {
+        return `(${s})`;
+    }
+    return s;
+}
+// --- Public API ---
+/**
+ * Start building a condition on a parameter.
+ *
+ * @param param - The parameter name.
+ * @returns A builder for specifying the comparison operator and value.
+ *
+ * @example
+ * when('os').eq('Windows')         // os = Windows
+ * when('version').gt(3)            // version > 3
+ * when('start_date').lt('end_date') // start_date < end_date
+ */
+export function when(param) {
+    return new ConditionStartImpl(param);
+}
+/**
+ * Negate a condition.
+ *
+ * @example
+ * not(when('os').eq('win'))
+ * // NOT (os = win)
+ *
+ * not(allOf(when('os').eq('win'), when('browser').eq('safari')))
+ * // NOT (os = win AND browser = safari)
+ */
+export function not(condition) {
+    return new ConditionImpl(`NOT (${condition.toString()})`);
+}
+/**
+ * Combine conditions with AND.
+ *
+ * @example
+ * allOf(when('os').eq('win'), when('browser').eq('chrome'))
+ * // os = win AND browser = chrome
+ */
+export function allOf(...conditions) {
+    if (conditions.length === 0) {
+        throw new Error('allOf requires at least one condition');
+    }
+    if (conditions.length === 1) {
+        return conditions[0];
+    }
+    const parts = conditions.map((c) => {
+        const s = c.toString();
+        if (needsParensForAnd(s)) {
+            return `(${s})`;
+        }
+        return s;
+    });
+    return new ConditionImpl(parts.join(' AND '));
+}
+/**
+ * Combine conditions with OR.
+ *
+ * @example
+ * anyOf(when('os').eq('win'), when('os').eq('linux'))
+ * // os = win OR os = linux
+ */
+export function anyOf(...conditions) {
+    if (conditions.length === 0) {
+        throw new Error('anyOf requires at least one condition');
+    }
+    if (conditions.length === 1) {
+        return conditions[0];
+    }
+    const parts = conditions.map((c) => c.toString());
+    return new ConditionImpl(parts.join(' OR '));
+}
+//# sourceMappingURL=constraint.js.map

package/dist/js/constraint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../js/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,2BAA2B;AAE3B,MAAM,cAAc,GAAG,eAAe,CAAC;AACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAE9F,SAAS,WAAW,CAAC,KAAgC;IACnD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,KAAK,GAAG,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAsB;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,mCAAmC;IACnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAgC;IACtD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,KAAK,GAAG,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA+BD,2BAA2B;AAE3B,MAAM,aAAa;IAGjB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,GAAG,CAAC,KAAgB;QAClB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,EAAE,CAAC,KAAgB;QACjB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,gGAAgG;IAChG,IAAI,CAAC,WAAsB;QACzB,OAAO,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,CAAC,WAAsB;QAC5B,OAAO,IAAI,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,YAAY,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAEO,IAAI;QACV,4EAA4E;QAC5E,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,cAAc;IAGlB,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,WAAsB;QACzB,OAAO,IAAI,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,kBAAkB;IAGtB,YAAY,KAAa;QACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,EAAE,CAAC,KAAgC;QACjC,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,MAAM,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,EAAE,CAAC,KAAgC;QACjC,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,EAAE,CAAC,KAAsB;QACvB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,MAAM,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,GAAG,CAAC,KAAsB;QACxB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,OAAO,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,EAAE,CAAC,KAAsB;QACvB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,MAAM,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,GAAG,CAAC,KAAsB;QACxB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,OAAO,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,EAAE,CAAC,GAAG,MAAqC;QACzC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,QAAQ,SAAS,GAAG,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,CAAC,OAAe;QAClB,OAAO,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,KAAK,SAAS,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;CACF;AAED,kBAAkB;AAElB,4EAA4E;AAC5E,SAAS,iBAAiB,CAAC,IAAY;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5B,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACnF,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CAAC,IAAe;IACpC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC1B,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qBAAqB;AAErB;;;;;;;;;;GAUG;AACH,MAAM,UAAU,IAAI,CAAC,KAAa;IAChC,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,GAAG,CAAC,SAAoB;IACtC,OAAO,IAAI,aAAa,CAAC,QAAQ,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,KAAK,CAAC,GAAG,UAAuB;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvB,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,KAAK,CAAC,GAAG,UAAuB;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClD,OAAO,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/C,CAAC"}

package/dist/js/index.d.ts

@@ -0,0 +1,94 @@
+/**
+ * coverwise — Combinatorial test design API.
+ *
+ * Not just a generation tool — a test design engine.
+ * JSON-complete, stateless, decomposable.
+ */
+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';
+/**
+ * Initialize the WASM module. Must be called before using any API function.
+ * Safe to call multiple times — only loads once.
+ *
+ * @example
+ * await init();
+ * const result = generate({ parameters: [...] });
+ */
+export declare function init(): Promise<void>;
+/**
+ * Generate a covering array. One function, sensible defaults.
+ *
+ * @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.
+ *
+ * @example
+ * const cw = await Coverwise.create();
+ * const result = cw.generate({ parameters: [...] });
+ */
+export declare class Coverwise {
+    private module;
+    private constructor();
+    /**
+     * Create a Coverwise instance.
+     * Reuses the shared WASM singleton — safe to call multiple times.
+     *
+     * @example
+     * const cw = await Coverwise.create();
+     * const result = cw.generate({ parameters: [...] });
+     */
+    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;
+}
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../js/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAI1D,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,YAAY,CAAC;AAEpB,OAAO,KAAK,EACV,cAAc,EAEd,WAAW,EACX,aAAa,EACb,cAAc,EACd,UAAU,EACV,SAAS,EACT,QAAQ,EACT,MAAM,YAAY,CAAC;AAcpB;;;;;;;GAOG;AACH,wBAAsB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAe1C;AAyBD;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc,CAI7D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,SAAS,EAAE,EACvB,KAAK,EAAE,QAAQ,EAAE,EACjB,QAAQ,CAAC,EAAE,MAAM,GAChB,cAAc,CAQhB;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,cAAc,CAIpF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,CAI9D;AAID;;;;;;;GAOG;AACH,qBAAa,SAAS;IACpB,OAAO,CAAC,MAAM,CAAa;IAE3B,OAAO;IAIP;;;;;;;OAOG;WACU,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC;IAKzC;;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;IAU9F;;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"}

package/dist/js/index.js

@@ -0,0 +1,164 @@
+/**
+ * coverwise — Combinatorial test design API.
+ *
+ * Not just a generation tool — a test design engine.
+ * JSON-complete, stateless, decomposable.
+ */
+export { allOf, anyOf, not, when } from './constraint.js';
+let wasmModule = null;
+let initPromise = null;
+/**
+ * Initialize the WASM module. Must be called before using any API function.
+ * Safe to call multiple times — only loads once.
+ *
+ * @example
+ * await init();
+ * const result = generate({ parameters: [...] });
+ */
+export async function init() {
+    if (wasmModule) {
+        return;
+    }
+    if (!initPromise) {
+        initPromise = (async () => {
+            // @ts-expect-error — WASM module is generated by `make wasm`, not present at type-check time.
+            // Resolves to dist/coverwise.js at runtime (dist/js/../coverwise.js).
+            // In vitest, aliased via vitest.config.ts resolve.alias.
+            const createModule = await import('../coverwise.js');
+            const mod = await createModule.default();
+            return mod;
+        })();
+    }
+    wasmModule = await initPromise;
+}
+function getModule() {
+    if (!wasmModule) {
+        throw new Error('coverwise WASM module not initialized. Call await init() first.');
+    }
+    return wasmModule;
+}
+// --- Result Checking ---
+function checkResult(result) {
+    const r = result;
+    if (r && r.error === true) {
+        const err = {
+            code: r.code ?? 'INVALID_INPUT',
+            message: r.message ?? 'Unknown error',
+        };
+        throw err;
+    }
+    return result;
+}
+// --- Core API ---
+/**
+ * Generate a covering array. One function, sensible defaults.
+ *
+ * @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 mod = getModule();
+    const result = checkResult(mod.generate(input));
+    return result;
+}
+/**
+ * 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 mod = getModule();
+    const result = checkResult(mod.analyzeCoverage(parameters, tests, strength ?? 2));
+    // When there are no tuples (e.g. fewer parameters than strength), 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 mod = getModule();
+    const result = checkResult(mod.extendTests(existing, input));
+    return result;
+}
+/**
+ * Get model statistics without running generation.
+ */
+export function estimateModel(input) {
+    const mod = getModule();
+    const result = checkResult(mod.estimateModel(input));
+    return result;
+}
+// --- Class-based API ---
+/**
+ * Class-based wrapper around the coverwise API.
+ * Provides the same functionality as the free functions in an object-oriented style.
+ *
+ * @example
+ * const cw = await Coverwise.create();
+ * const result = cw.generate({ parameters: [...] });
+ */
+export class Coverwise {
+    constructor(module) {
+        this.module = module;
+    }
+    /**
+     * Create a Coverwise instance.
+     * Reuses the shared WASM singleton — safe to call multiple times.
+     *
+     * @example
+     * const cw = await Coverwise.create();
+     * const result = cw.generate({ parameters: [...] });
+     */
+    static async create() {
+        await init();
+        return new Coverwise(wasmModule);
+    }
+    /**
+     * Generate a covering array. One function, sensible defaults.
+     */
+    generate(input) {
+        return checkResult(this.module.generate(input));
+    }
+    /**
+     * Analyze t-wise coverage of an existing test suite.
+     */
+    analyzeCoverage(parameters, tests, strength) {
+        const result = checkResult(this.module.analyzeCoverage(parameters, tests, strength ?? 2));
+        if (result.totalTuples === 0) {
+            result.coverageRatio = 1.0;
+        }
+        return result;
+    }
+    /**
+     * Extend an existing test suite with additional tests to improve coverage.
+     */
+    extendTests(existing, input) {
+        return checkResult(this.module.extendTests(existing, input));
+    }
+    /**
+     * Get model statistics without running generation.
+     */
+    estimateModel(input) {
+        return checkResult(this.module.estimateModel(input));
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/js/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../js/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AA2C1D,IAAI,UAAU,GAAsB,IAAI,CAAC;AACzC,IAAI,WAAW,GAA+B,IAAI,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI;IACxB,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IACD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;YACxB,8FAA8F;YAC9F,sEAAsE;YACtE,yDAAyD;YACzD,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;YACrD,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,CAAC;YACzC,OAAO,GAAiB,CAAC;QAC3B,CAAC,CAAC,EAAE,CAAC;IACP,CAAC;IACD,UAAU,GAAG,MAAM,WAAW,CAAC;AACjC,CAAC;AAED,SAAS,SAAS;IAChB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,0BAA0B;AAE1B,SAAS,WAAW,CAAI,MAAe;IACrC,MAAM,CAAC,GAAG,MAAiC,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAmB;YAC1B,IAAI,EAAG,CAAC,CAAC,IAA+B,IAAI,eAAe;YAC3D,OAAO,EAAG,CAAC,CAAC,OAAkB,IAAI,eAAe;SAClD,CAAC;QACF,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,OAAO,MAAW,CAAC;AACrB,CAAC;AAED,mBAAmB;AAEnB;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAoB;IAC3C,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,WAAW,CAAiB,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAuB,EACvB,KAAiB,EACjB,QAAiB;IAEjB,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,WAAW,CAAiB,GAAG,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC;IAClG,6FAA6F;IAC7F,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,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,WAAW,CAAiB,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAoB;IAChD,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,WAAW,CAAa,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0BAA0B;AAE1B;;;;;;;GAOG;AACH,MAAM,OAAO,SAAS;IAGpB,YAAoB,MAAkB;QACpC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM;QACjB,MAAM,IAAI,EAAE,CAAC;QACb,OAAO,IAAI,SAAS,CAAC,UAAW,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,KAAoB;QAC3B,OAAO,WAAW,CAAiB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,UAAuB,EAAE,KAAiB,EAAE,QAAiB;QAC3E,MAAM,MAAM,GAAG,WAAW,CACxB,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC,CAC9D,CAAC;QACF,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC;QAC7B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,QAAoB,EAAE,KAAkB;QAClD,OAAO,WAAW,CAAiB,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAoB;QAChC,OAAO,WAAW,CAAa,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;CACF"}

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

@@ -0,0 +1,40 @@
+import type { ModelStats as InternalModelStats } from '../../src/ts/model/generate-options.js';
+import { type GenerateOptions as InternalGenerateOptions } from '../../src/ts/model/generate-options.js';
+import { Parameter as InternalParameter } from '../../src/ts/model/parameter.js';
+import type { GenerateResult as InternalGenerateResult, TestCase as InternalTestCase } from '../../src/ts/model/test-case.js';
+import type { CoverageReport as InternalCoverageReport } from '../../src/ts/validator/coverage-validator.js';
+import type { GenerateInput, CoverageReport as PublicCoverageReport, GenerateResult as PublicGenerateResult, ModelStats as PublicModelStats, Parameter as PublicParameter, TestCase as PublicTestCase } from '../types.js';
+/**
+ * Convert public Parameter[] to internal Parameter[].
+ *
+ * Normalizes all values to strings, extracts invalid flags and aliases
+ * from ParameterValue objects.
+ */
+export declare function toInternalParams(params: PublicParameter[]): InternalParameter[];
+/**
+ * Convert a public TestCase (key-value map) to an internal TestCase (index array).
+ */
+export declare function toInternalTestCase(tc: PublicTestCase, params: InternalParameter[]): InternalTestCase;
+/**
+ * Convert a full GenerateInput to internal GenerateOptions.
+ */
+export declare function toInternalOptions(input: GenerateInput, params: InternalParameter[]): InternalGenerateOptions;
+/**
+ * Convert an internal TestCase (index array) to a public TestCase (key-value map).
+ *
+ * Uses displayName for alias rotation, matching the WASM TestCaseToJS behavior.
+ */
+export declare function toPublicTestCase(tc: InternalTestCase, params: InternalParameter[], rotation: number): PublicTestCase;
+/**
+ * Convert an internal GenerateResult to a public GenerateResult.
+ */
+export declare function toPublicResult(result: InternalGenerateResult, params: InternalParameter[], strength: number): PublicGenerateResult;
+/**
+ * Convert an internal CoverageReport to a public CoverageReport.
+ */
+export declare function toPublicCoverageReport(report: InternalCoverageReport): PublicCoverageReport;
+/**
+ * Convert an internal ModelStats to a public ModelStats.
+ */
+export declare function toPublicModelStats(stats: InternalModelStats): PublicModelStats;
+//# sourceMappingURL=adapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../../../js/pure/adapter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC/F,OAAO,EAGL,KAAK,eAAe,IAAI,uBAAuB,EAChD,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAc,MAAM,iCAAiC,CAAC;AAC7F,OAAO,KAAK,EACV,cAAc,IAAI,sBAAsB,EACxC,QAAQ,IAAI,gBAAgB,EAE7B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAC7G,OAAO,KAAK,EACV,aAAa,EAEb,cAAc,IAAI,oBAAoB,EACtC,cAAc,IAAI,oBAAoB,EACtC,UAAU,IAAI,gBAAgB,EAC9B,SAAS,IAAI,eAAe,EAC5B,QAAQ,IAAI,cAAc,EAE3B,MAAM,aAAa,CAAC;AAwBrB;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,iBAAiB,EAAE,CA4C/E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,cAAc,EAClB,MAAM,EAAE,iBAAiB,EAAE,GAC1B,gBAAgB,CAUlB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,iBAAiB,EAAE,GAC1B,uBAAuB,CA6BzB;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,gBAAgB,EACpB,MAAM,EAAE,iBAAiB,EAAE,EAC3B,QAAQ,EAAE,MAAM,GACf,cAAc,CAQhB;AAcD;;GAEG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,MAAM,EAAE,iBAAiB,EAAE,EAC3B,QAAQ,EAAE,MAAM,GACf,oBAAoB,CAkCtB;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,sBAAsB,GAAG,oBAAoB,CAO3F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,kBAAkB,GAAG,gBAAgB,CAe9E"}