@libraz/coverwise 1.0.0

package/dist/src/ts/core/generator.js

@@ -0,0 +1,394 @@
+/// @file generator.ts
+/// @brief Main test generation orchestrator.
+import { greedyConstruct } from '../algo/greedy.js';
+import { expandBoundaryValues } from '../model/boundary.js';
+import { parseConstraint } from '../model/constraint-parser.js';
+import { ErrorCode } from '../model/error.js';
+import { createModelStats, ExtendMode, getWeight, isWeightConfigEmpty, } from '../model/generate-options.js';
+import { hasInvalidValues, Parameter } from '../model/parameter.js';
+import { createGenerateResult, uncoveredTupleToString, } from '../model/test-case.js';
+import { Rng } from '../util/rng.js';
+import { CoverageEngine } from './coverage-engine.js';
+/// Resolve parameter names to sorted indices.
+/// Returns indices array and error message (empty string on success).
+function resolveParamNames(names, params) {
+    const indices = [];
+    for (const name of names) {
+        let found = false;
+        for (let i = 0; i < params.length; ++i) {
+            if (params[i].name === name) {
+                indices.push(i);
+                found = true;
+                break;
+            }
+        }
+        if (!found) {
+            return { indices: [], error: `Unknown parameter in sub-model: ${name}` };
+        }
+    }
+    // Sort for consistent combination generation.
+    indices.sort((a, b) => a - b);
+    return { indices, error: '' };
+}
+/// Check if all engines are complete.
+function allComplete(global, subEngines) {
+    if (!global.isComplete) {
+        return false;
+    }
+    for (const eng of subEngines) {
+        if (!eng.isComplete) {
+            return false;
+        }
+    }
+    return true;
+}
+/// Sum scoreCandidate across all engines.
+function totalScore(global, subEngines, tc) {
+    let score = global.scoreCandidate(tc);
+    for (const eng of subEngines) {
+        score += eng.scoreCandidate(tc);
+    }
+    return score;
+}
+/// Build an allowedValues mask that only permits valid values.
+function buildValidOnlyMask(params) {
+    const mask = new Array(params.length);
+    for (let pi = 0; pi < params.length; ++pi) {
+        mask[pi] = new Array(params[pi].size);
+        for (let vi = 0; vi < params[pi].size; ++vi) {
+            mask[pi][vi] = !params[pi].isInvalid(vi);
+        }
+    }
+    return mask;
+}
+/// Build an allowedValues mask for negative test generation.
+///
+/// The fixed parameter is allowed only at the given invalid value index.
+/// All other parameters are allowed only at their valid values.
+function buildNegativeMask(params, fixedParam, fixedValue) {
+    const mask = new Array(params.length);
+    for (let pi = 0; pi < params.length; ++pi) {
+        mask[pi] = new Array(params[pi].size).fill(false);
+        if (pi === fixedParam) {
+            mask[pi][fixedValue] = true;
+        }
+        else {
+            for (let vi = 0; vi < params[pi].size; ++vi) {
+                if (!params[pi].isInvalid(vi)) {
+                    mask[pi][vi] = true;
+                }
+            }
+        }
+    }
+    return mask;
+}
+/// Generate negative tests for parameters with invalid values.
+///
+/// For each invalid value of each parameter, generates test cases that pair
+/// the invalid value with valid values of all other parameters using pairwise
+/// coverage. Each negative test case contains exactly one invalid value.
+function generateNegativeTests(params, strength, constraints, rng, negativeTests) {
+    const kMaxRetries = 50;
+    for (let pi = 0; pi < params.length; ++pi) {
+        for (let vi = 0; vi < params[pi].size; ++vi) {
+            if (!params[pi].isInvalid(vi)) {
+                continue;
+            }
+            // Create a coverage engine for generating tests that pair this invalid
+            // value with valid values of all other parameters.
+            const freshResult = CoverageEngine.create(params, strength);
+            if (freshResult.error.code !== ErrorCode.Ok) {
+                continue;
+            }
+            const freshCov = freshResult.engine;
+            // Exclude constraint-invalid tuples.
+            freshCov.excludeInvalidTuples(constraints);
+            // Build mask: pi can only be vi, others can only be valid.
+            const negMask = buildNegativeMask(params, pi, vi);
+            // Generate test cases with this mask until coverage of relevant tuples
+            // is complete or we hit retry limit.
+            let retries = 0;
+            // Bound: at most max valid_count of other params (generous upper bound).
+            let maxNegTests = 0;
+            for (let pj = 0; pj < params.length; ++pj) {
+                if (pj !== pi) {
+                    maxNegTests = Math.max(maxNegTests, params[pj].validCount);
+                }
+            }
+            if (maxNegTests === 0) {
+                maxNegTests = 1;
+            }
+            let generated = 0;
+            while (generated < maxNegTests) {
+                const negScoreFn = (partial, paramIdx, valIdx) => {
+                    return freshCov.scoreValue(partial, paramIdx, valIdx);
+                };
+                const tc = greedyConstruct(params, negScoreFn, constraints, rng, negMask);
+                const score = freshCov.scoreCandidate(tc);
+                if (score === 0) {
+                    if (++retries >= kMaxRetries) {
+                        break;
+                    }
+                    continue;
+                }
+                retries = 0;
+                freshCov.addTestCase(tc);
+                negativeTests.push(tc);
+                ++generated;
+            }
+        }
+    }
+}
+/// Resolve string-based WeightConfig to index-based weight vectors.
+/// Returns weights[paramIdx][valueIdx] = weight (default 1.0).
+/// Empty array if no weights are configured.
+function resolveWeights(params, config) {
+    if (isWeightConfigEmpty(config)) {
+        return [];
+    }
+    const resolved = new Array(params.length);
+    for (let pi = 0; pi < params.length; ++pi) {
+        resolved[pi] = new Array(params[pi].size);
+        for (let vi = 0; vi < params[pi].size; ++vi) {
+            resolved[pi][vi] = getWeight(config, params[pi].name, params[pi].values[vi]);
+        }
+    }
+    return resolved;
+}
+/// Apply boundary value expansion to parameters with boundary configs.
+function applyBoundaryExpansion(opts) {
+    const params = [];
+    for (const p of opts.parameters) {
+        const param = p.invalid
+            ? new Parameter(p.name, p.values, p.invalid)
+            : new Parameter(p.name, p.values);
+        const bc = opts.boundaryConfigs[p.name];
+        if (bc) {
+            params.push(expandBoundaryValues(param, bc));
+        }
+        else {
+            params.push(param);
+        }
+    }
+    return params;
+}
+/// Generate a covering array for the given options.
+/// @returns The generated test suite with coverage metadata, stats, and suggestions.
+export function generate(options) {
+    const result = createGenerateResult();
+    // Apply boundary value expansion to parameters that have boundary configs.
+    const params = applyBoundaryExpansion(options);
+    const hasInvalid = hasInvalidValues(params);
+    const coverageResult = CoverageEngine.create(params, options.strength);
+    if (coverageResult.error.code !== ErrorCode.Ok) {
+        result.warnings.push(`${coverageResult.error.message}: ${coverageResult.error.detail}`);
+        return result;
+    }
+    const coverage = coverageResult.engine;
+    // Create sub-model engines.
+    const subEngines = [];
+    for (const sm of options.subModels) {
+        const resolved = resolveParamNames(sm.parameterNames, params);
+        if (resolved.error.length > 0) {
+            result.warnings.push(resolved.error);
+            return result;
+        }
+        if (resolved.indices.length < sm.strength) {
+            result.warnings.push('Sub-model strength (' +
+                sm.strength +
+                ') exceeds parameter count (' +
+                resolved.indices.length +
+                ')');
+            return result;
+        }
+        const smResult = CoverageEngine.createFromSubset(params, resolved.indices, sm.strength);
+        if (smResult.error.code !== ErrorCode.Ok) {
+            result.warnings.push(`${smResult.error.message}: ${smResult.error.detail}`);
+            return result;
+        }
+        subEngines.push(smResult.engine);
+    }
+    // Parse constraint expressions into AST.
+    const constraints = [];
+    for (const expr of options.constraintExpressions) {
+        const parseResult = parseConstraint(expr, params);
+        if (parseResult.error.code !== ErrorCode.Ok) {
+            result.warnings.push(`${parseResult.error.message}: ${parseResult.error.detail}`);
+            return result;
+        }
+        constraints.push(parseResult.constraint);
+    }
+    // Exclude tuples that are inherently invalid due to constraints.
+    coverage.excludeInvalidTuples(constraints);
+    for (const eng of subEngines) {
+        eng.excludeInvalidTuples(constraints);
+    }
+    // Exclude tuples involving invalid values for positive generation.
+    if (hasInvalid) {
+        coverage.excludeInvalidValues();
+        for (const eng of subEngines) {
+            eng.excludeInvalidValues();
+        }
+    }
+    // Build allowedValues mask for positive generation (valid values only).
+    let validMask = [];
+    if (hasInvalid) {
+        validMask = buildValidOnlyMask(params);
+    }
+    // Resolve value weights to index-based vectors.
+    const resolvedWeights = resolveWeights(params, options.weights);
+    const rng = new Rng(options.seed);
+    // Pre-load seed tests into all engines.
+    for (const seedTest of options.seeds) {
+        coverage.addTestCase(seedTest);
+        for (const eng of subEngines) {
+            eng.addTestCase(seedTest);
+        }
+        result.tests.push(seedTest);
+    }
+    // Build scoring function that sums across all engines.
+    let scoreFn;
+    if (subEngines.length === 0) {
+        scoreFn = (partial, pi, vi) => {
+            return coverage.scoreValue(partial, pi, vi);
+        };
+    }
+    else {
+        scoreFn = (partial, pi, vi) => {
+            let score = coverage.scoreValue(partial, pi, vi);
+            for (const eng of subEngines) {
+                score += eng.scoreValue(partial, pi, vi);
+            }
+            return score;
+        };
+    }
+    // Constructive greedy generation loop (positive tests only).
+    const kMaxRetries = 50;
+    let retries = 0;
+    while (!allComplete(coverage, subEngines) &&
+        (options.maxTests === 0 || result.tests.length < options.maxTests)) {
+        const tc = greedyConstruct(params, scoreFn, constraints, rng, validMask, resolvedWeights);
+        const score = totalScore(coverage, subEngines, tc);
+        if (score === 0) {
+            if (++retries >= kMaxRetries) {
+                break;
+            }
+            continue;
+        }
+        retries = 0;
+        coverage.addTestCase(tc);
+        for (const eng of subEngines) {
+            eng.addTestCase(tc);
+        }
+        result.tests.push(tc);
+    }
+    // Generate negative tests if any parameter has invalid values.
+    if (hasInvalid) {
+        generateNegativeTests(params, options.strength, constraints, rng, result.negativeTests);
+    }
+    // Collect uncovered tuples from all engines.
+    if (!allComplete(coverage, subEngines)) {
+        const globalUncovered = coverage.getUncoveredTuples(params);
+        for (const ut of globalUncovered) {
+            result.uncovered.push(ut);
+        }
+        for (const eng of subEngines) {
+            const subUncovered = eng.getUncoveredTuples(params);
+            for (const ut of subUncovered) {
+                result.uncovered.push(ut);
+            }
+        }
+        for (const ut of result.uncovered) {
+            const suggestion = {
+                description: `Add test: ${uncoveredTupleToString(ut)}`,
+                testCase: { values: [] },
+            };
+            result.suggestions.push(suggestion);
+        }
+    }
+    // Report coverage as the minimum across all engines (for pass/fail).
+    result.coverage = coverage.coverageRatio;
+    for (const eng of subEngines) {
+        result.coverage = Math.min(result.coverage, eng.coverageRatio);
+    }
+    result.stats.totalTuples = coverage.totalTuples;
+    for (const eng of subEngines) {
+        result.stats.totalTuples += eng.totalTuples;
+    }
+    result.stats.coveredTuples = coverage.coveredCount;
+    for (const eng of subEngines) {
+        result.stats.coveredTuples += eng.coveredCount;
+    }
+    result.stats.testCount = result.tests.length;
+    return result;
+}
+/// Extend an existing test suite to improve coverage.
+export function extend(existing, options, _mode = ExtendMode.Strict) {
+    const opts = {
+        ...options,
+        seeds: existing,
+    };
+    return generate(opts);
+}
+/// Estimate model statistics without running generation.
+/// @param options The generation options to analyze.
+/// @returns Model statistics including estimated test count.
+export function estimateModel(options) {
+    // Apply boundary expansion for estimation.
+    const params = applyBoundaryExpansion(options);
+    const stats = createModelStats();
+    stats.parameterCount = params.length;
+    stats.strength = options.strength;
+    stats.subModelCount = options.subModels.length;
+    stats.constraintCount = options.constraintExpressions.length;
+    let maxValues = 0;
+    for (const p of params) {
+        stats.totalValues += p.size;
+        if (p.size > maxValues) {
+            maxValues = p.size;
+        }
+        stats.parameters.push({
+            name: p.name,
+            valueCount: p.size,
+            invalidCount: p.invalidCount,
+        });
+    }
+    // Compute exact total tuples using CoverageEngine.
+    const createResult = CoverageEngine.create(params, options.strength);
+    if (createResult.error.code === ErrorCode.Ok) {
+        stats.totalTuples = createResult.engine.totalTuples;
+    }
+    // Estimate test count.
+    if (stats.parameterCount === 0) {
+        stats.estimatedTests = 0;
+    }
+    else if (stats.parameterCount <= stats.strength) {
+        let product = 1;
+        for (const p of params) {
+            product *= p.size;
+        }
+        stats.estimatedTests = product;
+    }
+    else {
+        let estimate = 1;
+        for (let i = 0; i < stats.strength; ++i) {
+            estimate *= maxValues;
+            if (estimate > 0xffffffff) {
+                break;
+            }
+        }
+        // Refine with log factor: roughly max_v^t * ceil(log2(n)).
+        let logFactor = Math.ceil(Math.log2(stats.parameterCount));
+        if (logFactor < 1) {
+            logFactor = 1;
+        }
+        estimate *= logFactor;
+        // Cap at totalTuples (can't need more tests than tuples).
+        if (stats.totalTuples > 0 && estimate > stats.totalTuples) {
+            estimate = stats.totalTuples;
+        }
+        stats.estimatedTests = Math.min(estimate, 0xffffffff) | 0;
+    }
+    return stats;
+}
+//# sourceMappingURL=generator.js.map

package/dist/src/ts/core/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../../src/ts/core/generator.ts"],"names":[],"mappings":"AAAA,sBAAsB;AACtB,6CAA6C;AAE7C,OAAO,EAAE,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,UAAU,EAEV,SAAS,EACT,mBAAmB,GAGpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EACL,oBAAoB,EAIpB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,8CAA8C;AAC9C,sEAAsE;AACtE,SAAS,iBAAiB,CACxB,KAAe,EACf,MAAmB;IAEnB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,mCAAmC,IAAI,EAAE,EAAE,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,8CAA8C;IAC9C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAChC,CAAC;AAED,sCAAsC;AACtC,SAAS,WAAW,CAAC,MAAsB,EAAE,UAA4B;IACvE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0CAA0C;AAC1C,SAAS,UAAU,CAAC,MAAsB,EAAE,UAA4B,EAAE,EAAY;IACpF,IAAI,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,KAAK,IAAI,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAS,kBAAkB,CAAC,MAAmB;IAC7C,MAAM,IAAI,GAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,KAAK,CAAU,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6DAA6D;AAC7D,GAAG;AACH,yEAAyE;AACzE,gEAAgE;AAChE,SAAS,iBAAiB,CACxB,MAAmB,EACnB,UAAkB,EAClB,UAAkB;IAElB,MAAM,IAAI,GAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,KAAK,CAAU,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;YACtB,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC5C,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC9B,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,GAAG;AACH,4EAA4E;AAC5E,8EAA8E;AAC9E,yEAAyE;AACzE,SAAS,qBAAqB,CAC5B,MAAmB,EACnB,QAAgB,EAChB,WAA6B,EAC7B,GAAQ,EACR,aAAyB;IAEzB,MAAM,WAAW,GAAG,EAAE,CAAC;IAEvB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC1C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,uEAAuE;YACvE,mDAAmD;YACnD,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC5D,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC;YAEpC,qCAAqC;YACrC,QAAQ,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;YAE3C,2DAA2D;YAC3D,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAElD,uEAAuE;YACvE,qCAAqC;YACrC,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,yEAAyE;YACzE,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC1C,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACd,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;YACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;gBACtB,WAAW,GAAG,CAAC,CAAC;YAClB,CAAC;YAED,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,OAAO,SAAS,GAAG,WAAW,EAAE,CAAC;gBAC/B,MAAM,UAAU,GAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE;oBACxD,OAAO,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxD,CAAC,CAAC;gBACF,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;gBAC1C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,IAAI,EAAE,OAAO,IAAI,WAAW,EAAE,CAAC;wBAC7B,MAAM;oBACR,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,OAAO,GAAG,CAAC,CAAC;gBACZ,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;gBACzB,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvB,EAAE,SAAS,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,oEAAoE;AACpE,+DAA+D;AAC/D,6CAA6C;AAC7C,SAAS,cAAc,CAAC,MAAmB,EAAE,MAAoB;IAC/D,IAAI,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAAe,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC1C,QAAQ,CAAC,EAAE,CAAC,GAAG,IAAI,KAAK,CAAS,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5C,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,SAAS,sBAAsB,CAAC,IAAqB;IACnD,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO;YACrB,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;YAC5C,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oDAAoD;AACpD,qFAAqF;AACrF,MAAM,UAAU,QAAQ,CAAC,OAAwB;IAC/C,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;IAEtC,2EAA2E;IAC3E,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAE5C,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvE,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,KAAK,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC;IAEvC,4BAA4B;IAC5B,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAClB,sBAAsB;gBACpB,EAAE,CAAC,QAAQ;gBACX,6BAA6B;gBAC7B,QAAQ,CAAC,OAAO,CAAC,MAAM;gBACvB,GAAG,CACN,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;QACxF,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5E,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,qBAAqB,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,KAAK,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAClF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,UAAW,CAAC,CAAC;IAC5C,CAAC;IAED,iEAAiE;IACjE,QAAQ,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,GAAG,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IAED,mEAAmE;IACnE,IAAI,UAAU,EAAE,CAAC;QACf,QAAQ,CAAC,oBAAoB,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,IAAI,SAAS,GAAgB,EAAE,CAAC;IAChC,IAAI,UAAU,EAAE,CAAC;QACf,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,gDAAgD;IAChD,MAAM,eAAe,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAEhE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAElC,wCAAwC;IACxC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACrC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,uDAAuD;IACvD,IAAI,OAAgB,CAAC;IACrB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;YAC5B,OAAO,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9C,CAAC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;YAC5B,IAAI,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACjD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,KAAK,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,OACE,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC;QAClC,CAAC,OAAO,CAAC,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,EAClE,CAAC;QACD,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,IAAI,EAAE,OAAO,IAAI,WAAW,EAAE,CAAC;gBAC7B,MAAM;YACR,CAAC;YACD,SAAS;QACX,CAAC;QACD,OAAO,GAAG,CAAC,CAAC;QACZ,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IAED,+DAA+D;IAC/D,IAAI,UAAU,EAAE,CAAC;QACf,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAC1F,CAAC;IAED,6CAA6C;IAC7C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,QAAQ,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;YACjC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,GAAG,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YACpD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;gBAC9B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YAClC,MAAM,UAAU,GAAe;gBAC7B,WAAW,EAAE,aAAa,sBAAsB,CAAC,EAAE,CAAC,EAAE;gBACtD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;aACzB,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC;IAC9C,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC,YAAY,CAAC;IACjD,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IAE7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,MAAM,CACpB,QAAoB,EACpB,OAAwB,EACxB,QAAoB,UAAU,CAAC,MAAM;IAErC,MAAM,IAAI,GAAoB;QAC5B,GAAG,OAAO;QACV,KAAK,EAAE,QAAQ;KAChB,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,yDAAyD;AACzD,qDAAqD;AACrD,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,OAAwB;IACpD,2CAA2C;IAC3C,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;IACjC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,KAAK,CAAC,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IAC/C,KAAK,CAAC,eAAe,GAAG,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC;IAE7D,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,GAAG,SAAS,EAAE,CAAC;YACvB,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,IAAI;YAClB,YAAY,EAAE,CAAC,CAAC,YAAY;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,mDAAmD;IACnD,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrE,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;QAC7C,KAAK,CAAC,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;IACtD,CAAC;IAED,uBAAuB;IACvB,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC;QACpB,CAAC;QACD,KAAK,CAAC,cAAc,GAAG,OAAO,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC;YACxC,QAAQ,IAAI,SAAS,CAAC;YACtB,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;gBAC1B,MAAM;YACR,CAAC;QACH,CAAC;QACD,2DAA2D;QAC3D,IAAI,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;QAC3D,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YAClB,SAAS,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,QAAQ,IAAI,SAAS,CAAC;QACtB,0DAA0D;QAC1D,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,IAAI,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YAC1D,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;QAC/B,CAAC;QACD,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/ts/core/index.d.ts

@@ -0,0 +1,3 @@
+export { CoverageEngine, type CreateResult } from './coverage-engine.js';
+export { estimateModel, extend, generate } from './generator.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/ts/core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/ts/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/ts/core/index.js

@@ -0,0 +1,3 @@
+export { CoverageEngine } from './coverage-engine.js';
+export { estimateModel, extend, generate } from './generator.js';
+//# sourceMappingURL=index.js.map

package/dist/src/ts/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ts/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/ts/model/boundary.d.ts

@@ -0,0 +1,29 @@
+import { Parameter } from './parameter.js';
+/** Boundary value type: integer or float. */
+export declare enum BoundaryType {
+    Integer = "integer",
+    Float = "float"
+}
+/** Configuration for boundary value expansion of a numeric parameter. */
+export interface BoundaryConfig {
+    type: BoundaryType;
+    minValue: number;
+    maxValue: number;
+    /** Step size for float type (default 1.0 for integer). */
+    step: number;
+}
+/** Create a default BoundaryConfig. */
+export declare function createBoundaryConfig(params?: Partial<BoundaryConfig>): BoundaryConfig;
+/**
+ * Expand a parameter's values to include boundary values.
+ *
+ * For integer type, adds: min-1, min, min+1, max-1, max, max+1.
+ * For float type, adds: min-step, min, min+step, max-step, max, max+step.
+ * Merges with existing values (dedup) and sorts numerically.
+ *
+ * @param param The original parameter.
+ * @param config The boundary configuration specifying the range.
+ * @returns A new Parameter with expanded values.
+ */
+export declare function expandBoundaryValues(param: Parameter, config: BoundaryConfig): Parameter;
+//# sourceMappingURL=boundary.d.ts.map

package/dist/src/ts/model/boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../../../src/ts/model/boundary.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,6CAA6C;AAC7C,oBAAY,YAAY;IACtB,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uCAAuC;AACvC,wBAAgB,oBAAoB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,cAAc,CAOrF;AAoBD;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,GAAG,SAAS,CA4DxF"}

package/dist/src/ts/model/boundary.js

@@ -0,0 +1,102 @@
+/// Boundary value expansion for numeric parameters.
+import { Parameter } from './parameter.js';
+/** Boundary value type: integer or float. */
+export var BoundaryType;
+(function (BoundaryType) {
+    BoundaryType["Integer"] = "integer";
+    BoundaryType["Float"] = "float";
+})(BoundaryType || (BoundaryType = {}));
+/** Create a default BoundaryConfig. */
+export function createBoundaryConfig(params) {
+    return {
+        type: params?.type ?? BoundaryType.Integer,
+        minValue: params?.minValue ?? 0,
+        maxValue: params?.maxValue ?? 0,
+        step: params?.step ?? 1.0,
+    };
+}
+/** Check if a string can be parsed as a finite number. */
+function isNumeric(s) {
+    if (s.trim().length === 0) {
+        return false;
+    }
+    return Number.isFinite(Number(s));
+}
+/** Format an integer value as a string. */
+function formatInteger(value) {
+    return String(Math.round(value));
+}
+/** Format a float value as a string, trimming trailing zeros. */
+function formatFloat(value) {
+    return String(value);
+}
+/**
+ * Expand a parameter's values to include boundary values.
+ *
+ * For integer type, adds: min-1, min, min+1, max-1, max, max+1.
+ * For float type, adds: min-step, min, min+step, max-step, max, max+step.
+ * Merges with existing values (dedup) and sorts numerically.
+ *
+ * @param param The original parameter.
+ * @param config The boundary configuration specifying the range.
+ * @returns A new Parameter with expanded values.
+ */
+export function expandBoundaryValues(param, config) {
+    // Generate boundary values.
+    let boundaryNums;
+    if (config.type === BoundaryType.Integer) {
+        const step = 1.0;
+        boundaryNums = [
+            config.minValue - step,
+            config.minValue,
+            config.minValue + step,
+            config.maxValue - step,
+            config.maxValue,
+            config.maxValue + step,
+        ];
+    }
+    else {
+        boundaryNums = [
+            config.minValue - config.step,
+            config.minValue,
+            config.minValue + config.step,
+            config.maxValue - config.step,
+            config.maxValue,
+            config.maxValue + config.step,
+        ];
+    }
+    // Collect existing values as numbers (for dedup), and track non-numeric values.
+    const seenNums = new Set();
+    const nonNumericValues = [];
+    for (const v of param.values) {
+        if (isNumeric(v)) {
+            seenNums.add(Number(v));
+        }
+        else {
+            nonNumericValues.push(v);
+        }
+    }
+    // Add boundary values (dedup).
+    for (const bv of boundaryNums) {
+        seenNums.add(bv);
+    }
+    // Sort numerically and format.
+    const sortedNums = Array.from(seenNums).sort((a, b) => a - b);
+    const expandedValues = [];
+    for (const d of sortedNums) {
+        if (config.type === BoundaryType.Integer) {
+            expandedValues.push(formatInteger(d));
+        }
+        else {
+            expandedValues.push(formatFloat(d));
+        }
+    }
+    // Append non-numeric values at the end.
+    for (const v of nonNumericValues) {
+        expandedValues.push(v);
+    }
+    // Build the result parameter. Preserve name, drop invalid/aliases since
+    // boundary expansion changes the value set.
+    return new Parameter(param.name, expandedValues);
+}
+//# sourceMappingURL=boundary.js.map

package/dist/src/ts/model/boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boundary.js","sourceRoot":"","sources":["../../../../src/ts/model/boundary.ts"],"names":[],"mappings":"AAAA,oDAAoD;AAEpD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,6CAA6C;AAC7C,MAAM,CAAN,IAAY,YAGX;AAHD,WAAY,YAAY;IACtB,mCAAmB,CAAA;IACnB,+BAAe,CAAA;AACjB,CAAC,EAHW,YAAY,KAAZ,YAAY,QAGvB;AAWD,uCAAuC;AACvC,MAAM,UAAU,oBAAoB,CAAC,MAAgC;IACnE,OAAO;QACL,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,YAAY,CAAC,OAAO;QAC1C,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,CAAC;QAC/B,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,CAAC;QAC/B,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,GAAG;KAC1B,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,2CAA2C;AAC3C,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,iEAAiE;AACjE,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgB,EAAE,MAAsB;IAC3E,4BAA4B;IAC5B,IAAI,YAAsB,CAAC;IAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,GAAG,CAAC;QACjB,YAAY,GAAG;YACb,MAAM,CAAC,QAAQ,GAAG,IAAI;YACtB,MAAM,CAAC,QAAQ;YACf,MAAM,CAAC,QAAQ,GAAG,IAAI;YACtB,MAAM,CAAC,QAAQ,GAAG,IAAI;YACtB,MAAM,CAAC,QAAQ;YACf,MAAM,CAAC,QAAQ,GAAG,IAAI;SACvB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,YAAY,GAAG;YACb,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,IAAI;YAC7B,MAAM,CAAC,QAAQ;YACf,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,IAAI;YAC7B,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,IAAI;YAC7B,MAAM,CAAC,QAAQ;YACf,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,IAAI;SAC9B,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,+BAA+B;IAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE9D,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;YACzC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,wEAAwE;IACxE,4CAA4C;IAC5C,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AACnD,CAAC"}